Releases: lambdageek/centrinel
Releases · lambdageek/centrinel
MVP
This is a "minimum viable product" version of Centrinel.
Features:
- Notices annotations in C files that specify that a certain struct must live in a particular memory region
- Can issue warnings if pointers to such structs are present in code
- Can suppress the warnings (for known safe operations)
- Can scan either individual compiler invocations or a JSON
compile_commands.json
LLVM compilation database - Can produce results either in plain text or in JSON format (for HTML report via centrinel-report) on stdout or in a file.
- Is running as part of the Mono static analysis CI job