rea
Reverse engineer anything with agents, from app behavior down to native binaries.
Open Source219.4K
7views3clicks
Goblint
A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer
Development
43views5clicks
About
A static analyzer for the analysis of multi-threaded C programs. Its primary focus is the detection of data races, but it also reports other runtime errors, such as buffer overflows and null-pointer dereferences.
Listing source: Original source. How we curate tools.
