Hi,
I am trying to generate graphs (e.g., VFG/ICFG) using SVF 3.1.
My environment:
Ubuntu 20.04 (VirtualBox)
LLVM/Clang 10.0.0 (also have clang-14 installed)
SVF checked out at tag SVF-3.1
Built successfully with CMake + make
Steps I followed: clang++-10 -emit-llvm -c CWE122_Heap_Based_Buffer_Overflow__cpp_CWE805_wchar_t_memmove_13.cpp -o CWE122.bc
/home/esraa/SVF/build/bin/wpa -ander -dump-vfg -extapi=/home/esraa/SVF/build/lib/extapi.bc CWE122.bc > vfg.dot
dot -Tpng vfg.dot -o vfg.png
But the generated vfg.dot file is not a valid DOT graph.
It only contains statistics like: General Stats******
################ (program : CWE122.bc)###############
AddrsNum 31
BBWith2Succ 6
...
When I run dot -Tpng vfg.dot -o vfg.png, Graphviz gives: Error: vfg.dot: syntax error in line 2 near '*'
Question:
Is this a bug in SVF 3.1?
Or am I missing an option to get actual DOT graphs?
Thanks!