Program for determining types of files for Windows, Linux and MacOS.
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
Binary Analysis Platform
A modern supercompiler for call-by-value functional languages