Repository Index

A static analyzer for Java, C, C++, and Objective-C

• static-analysis
• static-code-analysis
• code-quality
• java

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

The MemCAD static analyzer

• abstract-interpretation
• static-analysis
• c
• shape-analysis