Code generation for benchmarking analysis tools
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
README.md
dotfile
out20 Add files via upload Dec 7, 2018
rg20.vld Add files via upload Dec 7, 2018
tb.java Update tb.java Dec 7, 2018
validator.java

README.md

Benchmark-Utils

Code generation for benchmarking analysis tools
To generate a C code use tb.java, it generates a .c file and a .vld file for validation. For validation use the validator class as (asuming your validation file is rg300.vld, and the resulting dotfile of the callgraph is in dotfile):

   validator vl = new validator("rg300.vld");
   vl.validate("dotfile");

Typically, you might want to compile the resulting .c files and feed it to binary analysis tools or feed the source to source analysis tools. The two parameters in tb.java are N, p. N is the number of functions, and p is a measure of density in the graph (the number of edges would be around pN2), so for small p the graph would be sparse (p=0 means no function calls another: no edge in callgraph) and for p=1 the graph would be a complete graph.