soot-fact-generator不支持springboot

[Y4er]

不会遍历BOOT-INF导致soot加载不到class

[waderwu]

我以前是自己写了个脚本把spring boot解包，然后再处理的。我今晚尝试直接在generator中加入这个功能。

[waderwu]

不会遍历BOOT-INF导致soot加载不到class

https://github.com/BytecodeDL/soot-fact-generator/releases/tag/v1.1 这个版本支持了，你试试

[Y4er]

org/clyze/doop/common/BasicJavaSupport.java:75 应该传入原始文件名filename，而非小写之后的filenameL

否则会报错

ubuntu@ubuntu:~$ java -jar soot-fact-generator.jar -i Benchmark-1.0-SNAPSHOT.jar -l /usr/lib/jvm/java-1.8.0-openjdk-amd64/jre/lib/rt.jar --generate-jimple --allow-phantom --full -d out
No logs directory set, using: out/logs
Logging initialized, using directory: out/logs
WARNING: 'file.encoding' property missing or not UTF8, please pass: -Dfile.encoding=UTF-8
SLF4J: Failed to load class "org.slf4j.impl.StaticLoggerBinder".
SLF4J: Defaulting to no-operation (NOP) logger implementation
SLF4J: See http://www.slf4j.org/codes.html#StaticLoggerBinder for further details.
WARNING: SSA not enabled, generating Jimple instead of Shimple
Preprocessing application: Benchmark-1.0-SNAPSHOT.jar
java.io.FileNotFoundException: benchmark-1.0-snapshot.jar (No such file or directory)
at java.io.FileInputStream.open0(Native Method)
at java.io.FileInputStream.open(FileInputStream.java:195)
at java.io.FileInputStream.<init>(FileInputStream.java:138)
at java.io.FileInputStream.<init>(FileInputStream.java:93)
at org.clyze.doop.common.Parameters.isSpringBootJar(Parameters.java:342)
at org.clyze.doop.common.BasicJavaSupport.preprocessInput(BasicJavaSupport.java:75)
at org.clyze.doop.common.BasicJavaSupport.preprocessInputs(BasicJavaSupport.java:46)
at org.clyze.doop.soot.Main.produceFacts(Main.java:112)
at org.clyze.doop.soot.Main.main(Main.java:39)
Preprocessing platform library: /usr/lib/jvm/java-1.8.0-openjdk-amd64/jre/lib/rt.jar
Adding archive: Benchmark-1.0-SNAPSHOT.jar
Adding archive for resolving: /usr/lib/jvm/java-1.8.0-openjdk-amd64/jre/lib/rt.jar

[waderwu]

好的，我改一下

[waderwu]

已发布 https://github.com/BytecodeDL/soot-fact-generator/releases/tag/v1.2