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.
13 lines
289 B
C++
13 lines
289 B
C++
// Same shape and identifiers, different literal values. Should miss Exact and
|
|
// RenameInsensitive (identifiers match but literals differ), hit
|
|
// LiteralInsensitive.
|
|
|
|
int shift_two(int a) {
|
|
int r = a << 2;
|
|
return r;
|
|
}
|
|
|
|
int shift_five(int a) {
|
|
int r = a << 5;
|
|
return r;
|
|
}
|