Steps for Reproduction

To reproduce the results from above, download the source code for our domain2 and follow the installation instructions provided in the “Readme” file. Within Jakstab’s installation directory, execute
“./jakstab –cpa sfz -m input/bin/vmcai12/demo2.exe –cpa2 z”,
which will write a dot file to “input/bin/vmcai12/demo2_cfa.dot” that contains the flow data from our domain. This dot file can either be compiled using the dot program as provided by graphviz3, or visualized using xdot4. Note that registers and memory locations that are set to ⊤ or ⊥ will not be listed in the flow data.