Skip to content

Releases: lambdageek/centrinel

MVP

09 Nov 23:30
Compare
Choose a tag to compare

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