├── Analysis Result.txt.zip ├── ContractDefects.csv ├── DefectChecker ├── DefectChecker.iml ├── out │ └── production │ │ └── DefectChecker │ │ ├── BasicBlock.class │ │ ├── BinaryAnalyzer.class │ │ ├── DefectChecker.class │ │ ├── EVMSimulator.class │ │ ├── Main.class │ │ ├── Pair.class │ │ ├── Utils$1.class │ │ └── Utils.class ├── src │ ├── BasicBlock.java │ ├── BinaryAnalyzer.java │ ├── DefectChecker.java │ ├── EVMSimulator.java │ ├── Main.java │ ├── Pair.java │ └── Utils.java └── test.sol └── ReadMe /Analysis Result.txt.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/Analysis Result.txt.zip -------------------------------------------------------------------------------- /ContractDefects.csv: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/ContractDefects.csv -------------------------------------------------------------------------------- /DefectChecker/DefectChecker.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/DefectChecker.iml -------------------------------------------------------------------------------- /DefectChecker/out/production/DefectChecker/BasicBlock.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/out/production/DefectChecker/BasicBlock.class -------------------------------------------------------------------------------- /DefectChecker/out/production/DefectChecker/BinaryAnalyzer.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/out/production/DefectChecker/BinaryAnalyzer.class -------------------------------------------------------------------------------- /DefectChecker/out/production/DefectChecker/DefectChecker.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/out/production/DefectChecker/DefectChecker.class -------------------------------------------------------------------------------- /DefectChecker/out/production/DefectChecker/EVMSimulator.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/out/production/DefectChecker/EVMSimulator.class -------------------------------------------------------------------------------- /DefectChecker/out/production/DefectChecker/Main.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/out/production/DefectChecker/Main.class -------------------------------------------------------------------------------- /DefectChecker/out/production/DefectChecker/Pair.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/out/production/DefectChecker/Pair.class -------------------------------------------------------------------------------- /DefectChecker/out/production/DefectChecker/Utils$1.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/out/production/DefectChecker/Utils$1.class -------------------------------------------------------------------------------- /DefectChecker/out/production/DefectChecker/Utils.class: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/out/production/DefectChecker/Utils.class -------------------------------------------------------------------------------- /DefectChecker/src/BasicBlock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/src/BasicBlock.java -------------------------------------------------------------------------------- /DefectChecker/src/BinaryAnalyzer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/src/BinaryAnalyzer.java -------------------------------------------------------------------------------- /DefectChecker/src/DefectChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/src/DefectChecker.java -------------------------------------------------------------------------------- /DefectChecker/src/EVMSimulator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/src/EVMSimulator.java -------------------------------------------------------------------------------- /DefectChecker/src/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/src/Main.java -------------------------------------------------------------------------------- /DefectChecker/src/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/src/Pair.java -------------------------------------------------------------------------------- /DefectChecker/src/Utils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/src/Utils.java -------------------------------------------------------------------------------- /DefectChecker/test.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/DefectChecker/test.sol -------------------------------------------------------------------------------- /ReadMe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Jiachi-Chen/DefectChecker/HEAD/ReadMe --------------------------------------------------------------------------------