├── .gitignore ├── README.md ├── project ├── build.sbt └── plugins.sbt └── src ├── main └── ca │ └── uwaterloo │ └── ide │ ├── conversion │ ├── IdeFromIfdsBuilder.scala │ ├── IdeResultToIfdsResult.scala │ └── PartiallyBalancedIdeFromIfdsBuilder.scala │ ├── problem │ ├── IdeFlowFunctions.scala │ ├── IdeProblem.scala │ ├── solver │ │ ├── ComputeValues.scala │ │ ├── IdeSolver.scala │ │ ├── JumpFuncs.scala │ │ ├── PropagatorI.scala │ │ └── TraverseGraph.scala │ └── types │ │ ├── ExplodedGraphTypes.scala │ │ └── LabeledExplodedGraphTypes.scala │ └── util │ └── Time.scala └── test ├── ca └── uwaterloo │ └── ide │ └── example │ └── reachingDefs │ ├── ReachingDefsIdeSpec.scala │ └── ReachingDefsProblem.java ├── com.ibm.wala.core.testdata_1.0.0.jar └── dataflow ├── Simple.java ├── Simple2.java └── VerySimple.java /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/README.md -------------------------------------------------------------------------------- /project/build.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/project/build.sbt -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/conversion/IdeFromIfdsBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/conversion/IdeFromIfdsBuilder.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/conversion/IdeResultToIfdsResult.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/conversion/IdeResultToIfdsResult.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/conversion/PartiallyBalancedIdeFromIfdsBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/conversion/PartiallyBalancedIdeFromIfdsBuilder.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/problem/IdeFlowFunctions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/problem/IdeFlowFunctions.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/problem/IdeProblem.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/problem/IdeProblem.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/problem/solver/ComputeValues.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/problem/solver/ComputeValues.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/problem/solver/IdeSolver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/problem/solver/IdeSolver.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/problem/solver/JumpFuncs.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/problem/solver/JumpFuncs.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/problem/solver/PropagatorI.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/problem/solver/PropagatorI.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/problem/solver/TraverseGraph.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/problem/solver/TraverseGraph.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/problem/types/ExplodedGraphTypes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/problem/types/ExplodedGraphTypes.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/problem/types/LabeledExplodedGraphTypes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/problem/types/LabeledExplodedGraphTypes.scala -------------------------------------------------------------------------------- /src/main/ca/uwaterloo/ide/util/Time.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/main/ca/uwaterloo/ide/util/Time.scala -------------------------------------------------------------------------------- /src/test/ca/uwaterloo/ide/example/reachingDefs/ReachingDefsIdeSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/test/ca/uwaterloo/ide/example/reachingDefs/ReachingDefsIdeSpec.scala -------------------------------------------------------------------------------- /src/test/ca/uwaterloo/ide/example/reachingDefs/ReachingDefsProblem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/test/ca/uwaterloo/ide/example/reachingDefs/ReachingDefsProblem.java -------------------------------------------------------------------------------- /src/test/com.ibm.wala.core.testdata_1.0.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/test/com.ibm.wala.core.testdata_1.0.0.jar -------------------------------------------------------------------------------- /src/test/dataflow/Simple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/test/dataflow/Simple.java -------------------------------------------------------------------------------- /src/test/dataflow/Simple2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/test/dataflow/Simple2.java -------------------------------------------------------------------------------- /src/test/dataflow/VerySimple.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/amaurremi/IDE/HEAD/src/test/dataflow/VerySimple.java --------------------------------------------------------------------------------