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

fccf: A command-line tool that quickly searches through C/C++ source code in a directory based on a search string and prints relevant code snippets that match the query.

• abstract-syntax-tree
• c-language
• c-programming
• clang

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

Error Prone extensions: extra bug checkers and a large battery of Refaster rules.

• java
• static-analysis
• abstract-syntax-tree
• ast

The MemCAD static analyzer

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