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.
24 lines
811 B
JSON
24 lines
811 B
JSON
{
|
|
"name": "fold-fixtures",
|
|
"description": "Self-contained gold standard built from the existing tests/fixtures/clones tree. Three pairs of duplicate functions across three files; one negative-control file (not_a_clone.cpp) that must NOT pair with the others.",
|
|
"expected": [
|
|
{
|
|
"kind": "clone",
|
|
"files": ["exact.cpp"],
|
|
"id": "gold-clone-exact",
|
|
"description": "sum_a and sum_b have identical bodies"
|
|
},
|
|
{
|
|
"kind": "clone",
|
|
"files": ["renamed.cpp"],
|
|
"id": "gold-clone-renamed",
|
|
"description": "product_a and product_b differ only by identifier names"
|
|
},
|
|
{
|
|
"kind": "clone",
|
|
"files": ["near_miss.cpp"],
|
|
"id": "gold-clone-near-miss",
|
|
"description": "shift_two and shift_five differ only by integer literal"
|
|
}
|
|
]
|
|
}
|