3f1234f7bb
Clang LibTooling + Z3 BV-64 encoding. 11 detectors: clone, equiv, class-dup, dead, null-deref, div-by-zero, int-overflow, oob, int-truncation, sign-conversion, taint-track. Interfaces: CLI, MCP (JSON-RPC 2.0), LSP. Output: SARIF 2.1.0, JSON, Markdown.
5 lines
188 B
YAML
5 lines
188 B
YAML
---
|
|
# Fixtures are synthetic test inputs styled to mimic LLM-generated code.
|
|
# Skip all checks here so the project's naming rules don't drown out signal.
|
|
Checks: '-*'
|
|
WarningsAsErrors: ''
|