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.
21 lines
827 B
XML
21 lines
827 B
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<benchmark tool="fold" timelimit="900 s" hardtimelimit="960 s" cpuCores="4">
|
|
<requiredfiles>../run_svcomp.py</requiredfiles>
|
|
<requiredfiles>../../build/release/src/cli/fold</requiredfiles>
|
|
|
|
<option name="--svcomp-dir">../../bench/corpora/svcomp</option>
|
|
<option name="--fold">../../build/release/src/cli/fold</option>
|
|
<option name="--timeout">900</option>
|
|
|
|
<tasks name="MemSafety-Heap">
|
|
<include>../../bench/corpora/svcomp/sv-benchmarks/c/MemSafety-Heap.set</include>
|
|
</tasks>
|
|
|
|
<tasks name="NoOverflows-BitVectors">
|
|
<include>../../bench/corpora/svcomp/sv-benchmarks/c/NoOverflows-BitVectors.set</include>
|
|
</tasks>
|
|
|
|
<tasks name="ReachSafety-Loops">
|
|
<include>../../bench/corpora/svcomp/sv-benchmarks/c/ReachSafety-Loops.set</include>
|
|
</tasks>
|
|
</benchmark>
|