Repository Index

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

• static-analysis
• software-verification
• abstract-interpretation
• program-analysis

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