$ mvn exec:java@tree -Dexec.args="-p <path to the file>"
eg:mvn exec:java@tree -Dexec.args="-p E:/solidityfile/overflow/overflow.sol"
$ mvn exec:java@xml -Dexec.args="-t <path to save xml-tree> -s <path to the file>"
eg:mvn exec:java@xml -Dexec.args="-t E:/solidityfile/overflow/overflow.xml -s E:/solidityfile/overflow/overflow.sol"
本工具是一个 Maven 项目,可通过执行以下命令构建项目工具:
$ mvn clean package
$ java -jar target/ContractDetection-1.0-SNAPSHOT-jar-with-dependencies.jar -p <path to the file>
eg: java -jar target/ContractDetection-1.0-SNAPSHOT-jar-with-dependencies.jar -p E:/solidityfile/overflow/overMint.sol