- See wpahelp.txt to see available command. Pointer analysis must be selected upon icfg flags.
- readDot.py is to read *.dot files and translate them to easy-to-input nodes and edges input file. See icfg_final.dot and the dotEasyFormat.txt for example. The first line in dotEasyFormat.txt indicates number of nodes and edges.
python readDot.py icfg_final.dot > dotEasyFormat.txt