#Datalog

ByteCodeDL 学习

ByteCodeDL也是一款java字节码静态分析工具，它借助了soot-fact-generator + Souffle 两个工具实现了一款声明式的静态分析工具。