Abstract Interpretation
Showing 6 of 6 projects
A performant, incremental type checker for Python with integrated security analysis via Pysa.
A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.
A static analyzer for C/C++ that detects runtime errors using abstract interpretation theory.
An abstract interpretation-based static analysis platform for disassembling and analyzing binary executables to recover control flow graphs.
A sophisticated static dataflow analysis framework for the R programming language, enabling code linting, program slicing, and dependency analysis.
Coq formalizations for a course on mechanized semantics, covering imperative/functional languages, compilers, static analysis, and program logics.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.