├── CFGNN ├── annotation.py ├── config.py ├── data.py ├── data │ └── temp.txt ├── main.py ├── model.py └── preprocess.py ├── README.md ├── data └── dataset_all.zip ├── prepare.py └── spoon ├── .project ├── pom.xml ├── spoon-control-flow.iml └── src ├── main └── java │ └── fr │ └── inria │ └── controlflow │ ├── AllBranchesReturn.java │ ├── BranchKind.java │ ├── ControlFlowBuilder.java │ ├── ControlFlowEdge.java │ ├── ControlFlowGraph.java │ ├── ControlFlowNode.java │ ├── ExceptionControlFlowStrategy.java │ ├── GraphVisPrettyPrinter.java │ ├── Main.java │ ├── NaiveExceptionControlFlowStrategy.java │ ├── NotFoundException.java │ ├── TransferFunctionVisitor.java │ └── Value.java └── test ├── java └── fr │ └── inria │ ├── controlflow │ ├── AllBranchesReturnTest.java │ ├── ControlFlowGraphTests.java │ ├── ExceptionFlowTests.java │ ├── ForwardFlowBuilderVisitorTest.java │ ├── Parser.java │ └── SpoonMetaFactory.java │ └── dataflow │ ├── InitializedVariablesTest.java │ └── UselessAssignmentTest.java └── resources ├── control-flow └── ControlFlowArithmetic.java └── initialized └── ComplexFlow.java /CFGNN/annotation.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/CFGNN/annotation.py -------------------------------------------------------------------------------- /CFGNN/config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/CFGNN/config.py -------------------------------------------------------------------------------- /CFGNN/data.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/CFGNN/data.py -------------------------------------------------------------------------------- /CFGNN/data/temp.txt: -------------------------------------------------------------------------------- 1 | This folder is to save the preprocessed data. -------------------------------------------------------------------------------- /CFGNN/main.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/CFGNN/main.py -------------------------------------------------------------------------------- /CFGNN/model.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/CFGNN/model.py -------------------------------------------------------------------------------- /CFGNN/preprocess.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/CFGNN/preprocess.py -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/README.md -------------------------------------------------------------------------------- /data/dataset_all.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/data/dataset_all.zip -------------------------------------------------------------------------------- /prepare.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/prepare.py -------------------------------------------------------------------------------- /spoon/.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/.project -------------------------------------------------------------------------------- /spoon/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/pom.xml -------------------------------------------------------------------------------- /spoon/spoon-control-flow.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/spoon-control-flow.iml -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/AllBranchesReturn.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/AllBranchesReturn.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/BranchKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/BranchKind.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/ControlFlowBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/ControlFlowBuilder.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/ControlFlowEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/ControlFlowEdge.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/ControlFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/ControlFlowGraph.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/ControlFlowNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/ControlFlowNode.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/ExceptionControlFlowStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/ExceptionControlFlowStrategy.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/GraphVisPrettyPrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/GraphVisPrettyPrinter.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/Main.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/NaiveExceptionControlFlowStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/NaiveExceptionControlFlowStrategy.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/NotFoundException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/NotFoundException.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/TransferFunctionVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/TransferFunctionVisitor.java -------------------------------------------------------------------------------- /spoon/src/main/java/fr/inria/controlflow/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/main/java/fr/inria/controlflow/Value.java -------------------------------------------------------------------------------- /spoon/src/test/java/fr/inria/controlflow/AllBranchesReturnTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/java/fr/inria/controlflow/AllBranchesReturnTest.java -------------------------------------------------------------------------------- /spoon/src/test/java/fr/inria/controlflow/ControlFlowGraphTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/java/fr/inria/controlflow/ControlFlowGraphTests.java -------------------------------------------------------------------------------- /spoon/src/test/java/fr/inria/controlflow/ExceptionFlowTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/java/fr/inria/controlflow/ExceptionFlowTests.java -------------------------------------------------------------------------------- /spoon/src/test/java/fr/inria/controlflow/ForwardFlowBuilderVisitorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/java/fr/inria/controlflow/ForwardFlowBuilderVisitorTest.java -------------------------------------------------------------------------------- /spoon/src/test/java/fr/inria/controlflow/Parser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/java/fr/inria/controlflow/Parser.java -------------------------------------------------------------------------------- /spoon/src/test/java/fr/inria/controlflow/SpoonMetaFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/java/fr/inria/controlflow/SpoonMetaFactory.java -------------------------------------------------------------------------------- /spoon/src/test/java/fr/inria/dataflow/InitializedVariablesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/java/fr/inria/dataflow/InitializedVariablesTest.java -------------------------------------------------------------------------------- /spoon/src/test/java/fr/inria/dataflow/UselessAssignmentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/java/fr/inria/dataflow/UselessAssignmentTest.java -------------------------------------------------------------------------------- /spoon/src/test/resources/control-flow/ControlFlowArithmetic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/resources/control-flow/ControlFlowArithmetic.java -------------------------------------------------------------------------------- /spoon/src/test/resources/initialized/ComplexFlow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zhangj111/ConditionBugs/HEAD/spoon/src/test/resources/initialized/ComplexFlow.java --------------------------------------------------------------------------------