Abstract Interpretation
Showing 9 of 9 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.
A high-level linter and static analyzer for Python data science code that detects potential issues like data leakage and non-reproducibility.
A Java static analysis tool that translates Java code into LiSA's IR and runs configurable abstract interpretation analyses for bug detection and verification.
A static analyzer performing shape analysis on memory structures in programs.
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.