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–11 of 11 · Most stars
🤠 Object property paths with wildcards and regexps 🌵
- nodejs
- javascript
- map
- json
Generate rich RSS feeds from Reddit, Hacker News, Lemmy, Mbin, and more
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
Raspberry Pi distribution of Alpha
- embedded
- raspberry-pi
- gdb
- gdb-server
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
Substrate package manager
A toml parser and checker to avoid common errors in Substrate projects