A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
-
Updated
Sep 26, 2024 - Haskell
A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking.
Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model
A symbolic debugger for C/C (via LLVM), machine code, and JVM programs
Formal verification tool for Solidity
Add a description, image, and links to the program-analysis topic page so that developers can more easily learn about it.
To associate your repository with the program-analysis topic, visit your repo's landing page and select "manage topics."