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.
14 lines
663 B
JSON
14 lines
663 B
JSON
[
|
|
{ "directory": "@FIXTURES_DIR@",
|
|
"command": "clang++ -std=c++20 -c @FIXTURES_DIR@/clones/exact.cpp",
|
|
"file": "@FIXTURES_DIR@/clones/exact.cpp" },
|
|
{ "directory": "@FIXTURES_DIR@",
|
|
"command": "clang++ -std=c++20 -c @FIXTURES_DIR@/clones/renamed.cpp",
|
|
"file": "@FIXTURES_DIR@/clones/renamed.cpp" },
|
|
{ "directory": "@FIXTURES_DIR@",
|
|
"command": "clang++ -std=c++20 -c @FIXTURES_DIR@/clones/near_miss.cpp",
|
|
"file": "@FIXTURES_DIR@/clones/near_miss.cpp" },
|
|
{ "directory": "@FIXTURES_DIR@",
|
|
"command": "clang++ -std=c++20 -c @FIXTURES_DIR@/clones/not_a_clone.cpp",
|
|
"file": "@FIXTURES_DIR@/clones/not_a_clone.cpp" }
|
|
]
|