soot-fact-generator
soot-fact-generator copied to clipboard
generate facts from bytecode (source is https://github.com/plast-lab/doop-mirror/tree/master/generators)
运行参数 ``` java -jar soot-fact-generator.jar -i /mnt/hgfs/bytecodedl/jeecg-system-cloud-start-3.4.3.jar -l /home/ubuntu/work/jdk1.8.0_371/jre/lib/rt.jar --generate-jimple --allow-phantom --full --ignore-wrong-staticness --ignore-factgen-errors -d /mnt/hgfs/bytecodedl/jeecg_out1 --log-dir /mnt/hgfs/bytecodedl/jeecg_out1/ ``` ``` Exception in thread "Thread-1" Error: not all bodies retrieved. java.lang.RuntimeException:...
设置个-all参数,解析所有class