Skip to content

Latest commit

 

History

History
8 lines (8 loc) · 877 Bytes

README.md

File metadata and controls

8 lines (8 loc) · 877 Bytes
Raw

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.