Static analyzer for C/C++ based on the theory of Abstract Interpretation.
- static-analysis
- software-verification
- abstract-interpretation
- program-analysis
Repository Index
61,275 visible repositories in the index
1–4 of 4 · Most stars
eBPF verifier based on abstract interpretation
- abstract-interpretation
- static-analyzer
- ebpf
- ebpf-verifier
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
- ocaml
- wasm
- webassembly
- interpreter
The MemCAD static analyzer
- abstract-interpretation
- static-analysis
- c
- shape-analysis