├── .gitignore ├── A1 └── tai-e │ ├── COPYING │ ├── COPYING.LESSER │ ├── build.gradle.kts │ ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── lib │ └── tai-e-assignment.jar │ ├── plan.yml │ └── src │ ├── main │ └── java │ │ └── pascal │ │ └── taie │ │ ├── Assignment.java │ │ ├── analysis │ │ ├── ResultProcessor.java │ │ ├── StmtResult.java │ │ ├── dataflow │ │ │ ├── analysis │ │ │ │ ├── AbstractDataflowAnalysis.java │ │ │ │ ├── DataflowAnalysis.java │ │ │ │ └── LiveVariableAnalysis.java │ │ │ ├── fact │ │ │ │ ├── DataflowResult.java │ │ │ │ ├── NodeResult.java │ │ │ │ └── SetFact.java │ │ │ └── solver │ │ │ │ ├── IterativeSolver.java │ │ │ │ └── Solver.java │ │ └── graph │ │ │ ├── callgraph │ │ │ └── CallGraphBuilder.java │ │ │ └── cfg │ │ │ └── CFG.java │ │ ├── ir │ │ ├── exp │ │ │ ├── Exp.java │ │ │ └── Var.java │ │ └── stmt │ │ │ └── Stmt.java │ │ └── util │ │ └── graph │ │ └── Graph.java │ └── test │ ├── java │ └── pascal │ │ └── taie │ │ └── analysis │ │ ├── Tests.java │ │ └── dataflow │ │ └── analysis │ │ └── LiveVarTest.java │ └── resources │ └── dataflow │ └── livevar │ ├── Array-livevar-expected.txt │ ├── Array.java │ ├── Assign-livevar-expected.txt │ ├── Assign.java │ ├── Branch-livevar-expected.txt │ ├── Branch.java │ ├── BranchLoop-livevar-expected.txt │ ├── BranchLoop.java │ ├── Fibonacci-livevar-expected.txt │ ├── Fibonacci.java │ ├── Reference-livevar-expected.txt │ └── Reference.java ├── A2 └── tai-e │ ├── COPYING │ ├── COPYING.LESSER │ ├── build.gradle.kts │ ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── lib │ └── tai-e-assignment.jar │ ├── plan.yml │ └── src │ ├── main │ └── java │ │ └── pascal │ │ └── taie │ │ ├── Assignment.java │ │ ├── analysis │ │ ├── ResultProcessor.java │ │ ├── StmtResult.java │ │ ├── dataflow │ │ │ ├── analysis │ │ │ │ ├── AbstractDataflowAnalysis.java │ │ │ │ ├── DataflowAnalysis.java │ │ │ │ └── constprop │ │ │ │ │ ├── CPFact.java │ │ │ │ │ ├── ConstantPropagation.java │ │ │ │ │ └── Value.java │ │ │ ├── fact │ │ │ │ ├── DataflowResult.java │ │ │ │ ├── MapFact.java │ │ │ │ └── NodeResult.java │ │ │ └── solver │ │ │ │ ├── Solver.java │ │ │ │ └── WorkListSolver.java │ │ └── graph │ │ │ ├── callgraph │ │ │ └── CallGraphBuilder.java │ │ │ └── cfg │ │ │ └── CFG.java │ │ ├── ir │ │ ├── IR.java │ │ ├── exp │ │ │ ├── ArithmeticExp.java │ │ │ ├── BinaryExp.java │ │ │ ├── BitwiseExp.java │ │ │ ├── ConditionExp.java │ │ │ ├── Exp.java │ │ │ ├── IntLiteral.java │ │ │ ├── ShiftExp.java │ │ │ └── Var.java │ │ └── stmt │ │ │ ├── DefinitionStmt.java │ │ │ └── Stmt.java │ │ └── util │ │ └── graph │ │ └── Graph.java │ └── test │ ├── java │ └── pascal │ │ └── taie │ │ └── analysis │ │ ├── Tests.java │ │ └── dataflow │ │ └── analysis │ │ └── constprop │ │ └── CPTest.java │ └── resources │ └── dataflow │ └── constprop │ ├── Assign-constprop-expected.txt │ ├── Assign.java │ ├── BranchConstant-constprop-expected.txt │ ├── BranchConstant.java │ ├── Interprocedural-constprop-expected.txt │ ├── Interprocedural.java │ ├── SimpleBinary-constprop-expected.txt │ ├── SimpleBinary.java │ ├── SimpleBranch-constprop-expected.txt │ ├── SimpleBranch.java │ ├── SimpleChar-constprop-expected.txt │ ├── SimpleChar.java │ ├── SimpleConstant-constprop-expected.txt │ └── SimpleConstant.java ├── A3 └── tai-e │ ├── COPYING │ ├── COPYING.LESSER │ ├── build.gradle.kts │ ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── lib │ └── tai-e-assignment.jar │ ├── plan.yml │ └── src │ ├── main │ └── java │ │ └── pascal │ │ └── taie │ │ ├── Assignment.java │ │ ├── analysis │ │ ├── ResultProcessor.java │ │ ├── dataflow │ │ │ ├── analysis │ │ │ │ ├── AbstractDataflowAnalysis.java │ │ │ │ ├── DataflowAnalysis.java │ │ │ │ ├── DeadCodeDetection.java │ │ │ │ ├── LiveVariableAnalysis.java │ │ │ │ └── constprop │ │ │ │ │ ├── CPFact.java │ │ │ │ │ ├── ConstantPropagation.java │ │ │ │ │ └── Value.java │ │ │ ├── fact │ │ │ │ ├── DataflowResult.java │ │ │ │ ├── MapFact.java │ │ │ │ ├── NodeResult.java │ │ │ │ └── SetFact.java │ │ │ └── solver │ │ │ │ ├── Solver.java │ │ │ │ └── WorkListSolver.java │ │ └── graph │ │ │ ├── callgraph │ │ │ └── CallGraphBuilder.java │ │ │ └── cfg │ │ │ ├── CFG.java │ │ │ └── Edge.java │ │ ├── ir │ │ ├── IR.java │ │ ├── exp │ │ │ ├── ArithmeticExp.java │ │ │ ├── BinaryExp.java │ │ │ ├── BitwiseExp.java │ │ │ ├── ConditionExp.java │ │ │ ├── Exp.java │ │ │ ├── IntLiteral.java │ │ │ ├── ShiftExp.java │ │ │ └── Var.java │ │ └── stmt │ │ │ ├── AssignStmt.java │ │ │ ├── DefinitionStmt.java │ │ │ ├── If.java │ │ │ ├── Stmt.java │ │ │ └── SwitchStmt.java │ │ └── util │ │ └── graph │ │ └── Graph.java │ └── test │ ├── java │ └── pascal │ │ └── taie │ │ └── analysis │ │ ├── Tests.java │ │ └── dataflow │ │ └── analysis │ │ └── DeadCodeTest.java │ └── resources │ └── dataflow │ └── deadcode │ ├── ControlFlowUnreachable-deadcode-expected.txt │ ├── ControlFlowUnreachable.java │ ├── DeadAssignment-deadcode-expected.txt │ ├── DeadAssignment.java │ ├── Loops-deadcode-expected.txt │ ├── Loops.java │ ├── UnreachableIfBranch-deadcode-expected.txt │ ├── UnreachableIfBranch.java │ ├── UnreachableSwitchBranch-deadcode-expected.txt │ └── UnreachableSwitchBranch.java ├── A4 └── tai-e │ ├── COPYING │ ├── COPYING.LESSER │ ├── build.gradle.kts │ ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── lib │ └── tai-e-assignment.jar │ ├── plan.yml │ └── src │ ├── main │ └── java │ │ └── pascal │ │ └── taie │ │ ├── Assignment.java │ │ ├── analysis │ │ ├── ResultProcessor.java │ │ ├── StmtResult.java │ │ ├── dataflow │ │ │ ├── analysis │ │ │ │ ├── AbstractDataflowAnalysis.java │ │ │ │ ├── DataflowAnalysis.java │ │ │ │ └── constprop │ │ │ │ │ ├── CPFact.java │ │ │ │ │ ├── ConstantPropagation.java │ │ │ │ │ └── Value.java │ │ │ ├── fact │ │ │ │ ├── DataflowResult.java │ │ │ │ ├── MapFact.java │ │ │ │ └── NodeResult.java │ │ │ ├── inter │ │ │ │ ├── AbstractInterDataflowAnalysis.java │ │ │ │ ├── InterConstantPropagation.java │ │ │ │ ├── InterDataflowAnalysis.java │ │ │ │ └── InterSolver.java │ │ │ └── solver │ │ │ │ ├── Solver.java │ │ │ │ └── WorkListSolver.java │ │ └── graph │ │ │ ├── callgraph │ │ │ ├── AbstractCallGraph.java │ │ │ ├── CGBuilder.java │ │ │ ├── CHABuilder.java │ │ │ ├── CallGraph.java │ │ │ ├── CallGraphBuilder.java │ │ │ ├── CallGraphs.java │ │ │ ├── CallKind.java │ │ │ ├── DefaultCallGraph.java │ │ │ ├── Edge.java │ │ │ └── MethodEdge.java │ │ │ ├── cfg │ │ │ └── CFG.java │ │ │ └── icfg │ │ │ ├── CallEdge.java │ │ │ ├── CallToReturnEdge.java │ │ │ ├── ICFG.java │ │ │ ├── ICFGEdge.java │ │ │ ├── NormalEdge.java │ │ │ └── ReturnEdge.java │ │ ├── ir │ │ ├── IR.java │ │ ├── exp │ │ │ ├── ArithmeticExp.java │ │ │ ├── BinaryExp.java │ │ │ ├── BitwiseExp.java │ │ │ ├── ConditionExp.java │ │ │ ├── Exp.java │ │ │ ├── IntLiteral.java │ │ │ ├── InvokeExp.java │ │ │ ├── ShiftExp.java │ │ │ └── Var.java │ │ ├── proginfo │ │ │ └── MethodRef.java │ │ └── stmt │ │ │ ├── DefinitionStmt.java │ │ │ ├── Invoke.java │ │ │ └── Stmt.java │ │ ├── language │ │ └── classes │ │ │ ├── ClassHierarchy.java │ │ │ ├── ClassHierarchyImpl.java │ │ │ ├── JClass.java │ │ │ ├── JMethod.java │ │ │ └── Subsignature.java │ │ └── util │ │ └── graph │ │ └── Graph.java │ └── test │ ├── java │ └── pascal │ │ └── taie │ │ └── analysis │ │ ├── Tests.java │ │ ├── dataflow │ │ └── analysis │ │ │ └── constprop │ │ │ └── InterCPTest.java │ │ └── graph │ │ └── callgraph │ │ └── cha │ │ └── CHATest.java │ └── resources │ ├── cha │ ├── AbstractMethod-cg-expected.txt │ ├── AbstractMethod.java │ ├── Interface-cg-expected.txt │ ├── Interface.java │ ├── StaticCall-cg-expected.txt │ ├── StaticCall.java │ ├── VirtualCall-cg-expected.txt │ └── VirtualCall.java │ └── dataflow │ └── constprop │ └── inter │ ├── Example-inter-constprop-expected.txt │ ├── Example.java │ ├── Fibonacci-inter-constprop-expected.txt │ ├── Fibonacci.java │ ├── MultiIntArgs-inter-constprop-expected.txt │ ├── MultiIntArgs.java │ ├── Reference-inter-constprop-expected.txt │ └── Reference.java ├── A5 └── tai-e │ ├── COPYING │ ├── COPYING.LESSER │ ├── build.gradle.kts │ ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── lib │ └── tai-e-assignment.jar │ ├── plan.yml │ └── src │ ├── main │ └── java │ │ └── pascal │ │ └── taie │ │ ├── Assignment.java │ │ ├── analysis │ │ ├── Tests.java │ │ ├── graph │ │ │ └── callgraph │ │ │ │ ├── AbstractCallGraph.java │ │ │ │ ├── CallGraph.java │ │ │ │ ├── CallGraphBuilder.java │ │ │ │ ├── CallKind.java │ │ │ │ ├── DefaultCallGraph.java │ │ │ │ └── Edge.java │ │ └── pta │ │ │ ├── PointerAnalysisResult.java │ │ │ ├── ci │ │ │ ├── ArrayIndex.java │ │ │ ├── CIPTA.java │ │ │ ├── CIPTAResult.java │ │ │ ├── InstanceField.java │ │ │ ├── Pointer.java │ │ │ ├── PointerFlowGraph.java │ │ │ ├── PointsToSet.java │ │ │ ├── ResultProcessor.java │ │ │ ├── Solver.java │ │ │ ├── StaticField.java │ │ │ ├── VarPtr.java │ │ │ └── WorkList.java │ │ │ └── core │ │ │ └── heap │ │ │ ├── HeapModel.java │ │ │ └── Obj.java │ │ ├── ir │ │ ├── IR.java │ │ ├── exp │ │ │ ├── InvokeExp.java │ │ │ └── Var.java │ │ └── stmt │ │ │ ├── ArrayStmt.java │ │ │ ├── AssignStmt.java │ │ │ ├── Copy.java │ │ │ ├── DefinitionStmt.java │ │ │ ├── FieldStmt.java │ │ │ ├── Invoke.java │ │ │ ├── LoadArray.java │ │ │ ├── LoadField.java │ │ │ ├── New.java │ │ │ ├── Stmt.java │ │ │ ├── StmtVisitor.java │ │ │ ├── StoreArray.java │ │ │ └── StoreField.java │ │ └── language │ │ └── classes │ │ ├── JField.java │ │ └── JMethod.java │ └── test │ ├── java │ └── pascal │ │ └── taie │ │ └── analysis │ │ └── pta │ │ └── CIPTATest.java │ └── resources │ └── pta │ └── cipta │ ├── Array-cipta-expected.txt │ ├── Array.java │ ├── Assign-cipta-expected.txt │ ├── Assign.java │ ├── Assign2-cipta-expected.txt │ ├── Assign2.java │ ├── Call-cipta-expected.txt │ ├── Call.java │ ├── Example-cipta-expected.txt │ ├── Example.java │ ├── InstanceField-cipta-expected.txt │ ├── InstanceField.java │ ├── MergeParam-cipta-expected.txt │ ├── MergeParam.java │ ├── StaticCall-cipta-expected.txt │ ├── StaticCall.java │ ├── StaticField-cipta-expected.txt │ ├── StaticField.java │ ├── StoreLoad-cipta-expected.txt │ └── StoreLoad.java ├── A6 └── tai-e │ ├── COPYING │ ├── COPYING.LESSER │ ├── build.gradle.kts │ ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── lib │ └── tai-e-assignment.jar │ ├── plan.yml │ └── src │ ├── main │ └── java │ │ └── pascal │ │ └── taie │ │ ├── Assignment.java │ │ ├── analysis │ │ ├── Tests.java │ │ ├── graph │ │ │ └── callgraph │ │ │ │ ├── AbstractCallGraph.java │ │ │ │ ├── CallGraph.java │ │ │ │ ├── CallGraphBuilder.java │ │ │ │ ├── CallKind.java │ │ │ │ └── Edge.java │ │ └── pta │ │ │ ├── core │ │ │ ├── cs │ │ │ │ ├── CSCallGraph.java │ │ │ │ ├── context │ │ │ │ │ ├── Context.java │ │ │ │ │ └── ListContext.java │ │ │ │ ├── element │ │ │ │ │ ├── AbstractPointer.java │ │ │ │ │ ├── ArrayIndex.java │ │ │ │ │ ├── CSCallSite.java │ │ │ │ │ ├── CSElement.java │ │ │ │ │ ├── CSManager.java │ │ │ │ │ ├── CSMethod.java │ │ │ │ │ ├── CSObj.java │ │ │ │ │ ├── CSVar.java │ │ │ │ │ ├── InstanceField.java │ │ │ │ │ ├── Pointer.java │ │ │ │ │ └── StaticField.java │ │ │ │ └── selector │ │ │ │ │ ├── CISelector.java │ │ │ │ │ ├── ContextSelector.java │ │ │ │ │ ├── _1CallSelector.java │ │ │ │ │ ├── _1ObjSelector.java │ │ │ │ │ ├── _1TypeSelector.java │ │ │ │ │ ├── _2CallSelector.java │ │ │ │ │ ├── _2ObjSelector.java │ │ │ │ │ └── _2TypeSelector.java │ │ │ └── heap │ │ │ │ ├── HeapModel.java │ │ │ │ └── Obj.java │ │ │ ├── cs │ │ │ ├── CSPTA.java │ │ │ ├── PointerFlowGraph.java │ │ │ ├── Solver.java │ │ │ └── WorkList.java │ │ │ ├── plugin │ │ │ └── ResultProcessor.java │ │ │ └── pts │ │ │ ├── PointsToSet.java │ │ │ └── PointsToSetFactory.java │ │ ├── ir │ │ ├── IR.java │ │ ├── exp │ │ │ ├── InvokeExp.java │ │ │ └── Var.java │ │ └── stmt │ │ │ ├── ArrayStmt.java │ │ │ ├── AssignStmt.java │ │ │ ├── Copy.java │ │ │ ├── DefinitionStmt.java │ │ │ ├── FieldStmt.java │ │ │ ├── Invoke.java │ │ │ ├── LoadArray.java │ │ │ ├── LoadField.java │ │ │ ├── New.java │ │ │ ├── Stmt.java │ │ │ ├── StmtVisitor.java │ │ │ ├── StoreArray.java │ │ │ └── StoreField.java │ │ └── language │ │ └── classes │ │ ├── JField.java │ │ └── JMethod.java │ └── test │ ├── java │ └── pascal │ │ └── taie │ │ └── analysis │ │ └── pta │ │ └── CSPTATest.java │ └── resources │ └── pta │ └── cspta │ ├── Array-cspta-expected.txt │ ├── Array.java │ ├── Assign-cspta-expected.txt │ ├── Assign.java │ ├── Call-cspta-expected.txt │ ├── Call.java │ ├── InstanceField-cspta-expected.txt │ ├── InstanceField.java │ ├── New-cspta-expected.txt │ ├── New.java │ ├── OneCall-cspta-expected.txt │ ├── OneCall.java │ ├── OneObject-cspta-expected.txt │ ├── OneObject.java │ ├── OneType-cspta-expected.txt │ ├── OneType.java │ ├── StaticField-cspta-expected.txt │ ├── StaticField.java │ ├── StoreLoad-cspta-expected.txt │ ├── StoreLoad.java │ ├── TwoCall-cspta-expected.txt │ ├── TwoCall.java │ ├── TwoObject-cspta-expected.txt │ ├── TwoObject.java │ ├── TwoType-cspta-expected.txt │ └── TwoType.java ├── A7 └── tai-e │ ├── COPYING │ ├── COPYING.LESSER │ ├── build.gradle.kts │ ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── lib │ └── tai-e-assignment.jar │ ├── plan.yml │ └── src │ ├── main │ └── java │ │ └── pascal │ │ └── taie │ │ ├── Assignment.java │ │ ├── analysis │ │ ├── ResultProcessor.java │ │ ├── StmtResult.java │ │ ├── dataflow │ │ │ ├── analysis │ │ │ │ ├── AbstractDataflowAnalysis.java │ │ │ │ ├── DataflowAnalysis.java │ │ │ │ └── constprop │ │ │ │ │ ├── CPFact.java │ │ │ │ │ ├── ConstantPropagation.java │ │ │ │ │ └── Value.java │ │ │ ├── fact │ │ │ │ ├── DataflowResult.java │ │ │ │ ├── MapFact.java │ │ │ │ └── NodeResult.java │ │ │ ├── inter │ │ │ │ ├── AbstractInterDataflowAnalysis.java │ │ │ │ ├── InterConstantPropagation.java │ │ │ │ ├── InterDataflowAnalysis.java │ │ │ │ └── InterSolver.java │ │ │ └── solver │ │ │ │ ├── Solver.java │ │ │ │ └── WorkListSolver.java │ │ ├── graph │ │ │ ├── callgraph │ │ │ │ ├── AbstractCallGraph.java │ │ │ │ ├── CGBuilder.java │ │ │ │ ├── CallGraph.java │ │ │ │ ├── CallGraphBuilder.java │ │ │ │ ├── CallKind.java │ │ │ │ ├── DefaultCallGraph.java │ │ │ │ └── Edge.java │ │ │ ├── cfg │ │ │ │ └── CFG.java │ │ │ └── icfg │ │ │ │ ├── CallEdge.java │ │ │ │ ├── CallToReturnEdge.java │ │ │ │ ├── ICFG.java │ │ │ │ ├── ICFGEdge.java │ │ │ │ ├── NormalEdge.java │ │ │ │ └── ReturnEdge.java │ │ └── pta │ │ │ ├── PointerAnalysisResult.java │ │ │ ├── core │ │ │ ├── cs │ │ │ │ ├── CSCallGraph.java │ │ │ │ ├── context │ │ │ │ │ ├── Context.java │ │ │ │ │ └── ListContext.java │ │ │ │ ├── element │ │ │ │ │ ├── AbstractPointer.java │ │ │ │ │ ├── ArrayIndex.java │ │ │ │ │ ├── CSCallSite.java │ │ │ │ │ ├── CSElement.java │ │ │ │ │ ├── CSManager.java │ │ │ │ │ ├── CSMethod.java │ │ │ │ │ ├── CSObj.java │ │ │ │ │ ├── CSVar.java │ │ │ │ │ ├── InstanceField.java │ │ │ │ │ ├── Pointer.java │ │ │ │ │ └── StaticField.java │ │ │ │ └── selector │ │ │ │ │ ├── CISelector.java │ │ │ │ │ ├── ContextSelector.java │ │ │ │ │ ├── _1CallSelector.java │ │ │ │ │ ├── _1ObjSelector.java │ │ │ │ │ ├── _1TypeSelector.java │ │ │ │ │ ├── _2CallSelector.java │ │ │ │ │ ├── _2ObjSelector.java │ │ │ │ │ └── _2TypeSelector.java │ │ │ └── heap │ │ │ │ ├── HeapModel.java │ │ │ │ └── Obj.java │ │ │ ├── cs │ │ │ ├── CSPTA.java │ │ │ ├── PointerFlowGraph.java │ │ │ ├── Solver.java │ │ │ └── WorkList.java │ │ │ ├── plugin │ │ │ └── ResultProcessor.java │ │ │ └── pts │ │ │ ├── PointsToSet.java │ │ │ └── PointsToSetFactory.java │ │ ├── ir │ │ ├── IR.java │ │ ├── exp │ │ │ ├── ArithmeticExp.java │ │ │ ├── ArrayAccess.java │ │ │ ├── BinaryExp.java │ │ │ ├── BitwiseExp.java │ │ │ ├── ConditionExp.java │ │ │ ├── Exp.java │ │ │ ├── IntLiteral.java │ │ │ ├── InvokeExp.java │ │ │ ├── ShiftExp.java │ │ │ └── Var.java │ │ └── stmt │ │ │ ├── ArrayStmt.java │ │ │ ├── AssignStmt.java │ │ │ ├── Copy.java │ │ │ ├── DefinitionStmt.java │ │ │ ├── FieldStmt.java │ │ │ ├── Invoke.java │ │ │ ├── LoadArray.java │ │ │ ├── LoadField.java │ │ │ ├── New.java │ │ │ ├── Stmt.java │ │ │ ├── StmtVisitor.java │ │ │ ├── StoreArray.java │ │ │ └── StoreField.java │ │ └── language │ │ └── classes │ │ ├── JField.java │ │ └── JMethod.java │ └── test │ ├── java │ └── pascal │ │ └── taie │ │ └── analysis │ │ ├── Tests.java │ │ └── dataflow │ │ └── analysis │ │ └── constprop │ │ └── InterCPAliasTest.java │ └── resources │ └── dataflow │ └── constprop │ └── alias │ ├── Array-inter-constprop-expected.txt │ ├── Array.java │ ├── ArrayInter2-inter-constprop-expected.txt │ ├── ArrayInter2.java │ ├── ArrayLoops-inter-constprop-expected.txt │ ├── ArrayLoops.java │ ├── InstanceField-inter-constprop-expected.txt │ ├── InstanceField.java │ ├── Interprocedural2-inter-constprop-expected.txt │ ├── Interprocedural2.java │ ├── MultiStores-inter-constprop-expected.txt │ ├── MultiStores.java │ ├── ObjSens-inter-constprop-expected.txt │ ├── ObjSens.java │ ├── StaticField-inter-constprop-expected.txt │ ├── StaticField.java │ ├── StaticFieldMultiStores-inter-constprop-expected.txt │ └── StaticFieldMultiStores.java ├── A8 └── tai-e │ ├── COPYING │ ├── COPYING.LESSER │ ├── build.gradle.kts │ ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties │ ├── gradlew │ ├── gradlew.bat │ ├── lib │ └── tai-e-assignment.jar │ ├── plan.yml │ └── src │ ├── main │ └── java │ │ └── pascal │ │ └── taie │ │ ├── Assignment.java │ │ ├── analysis │ │ ├── Tests.java │ │ ├── graph │ │ │ └── callgraph │ │ │ │ ├── AbstractCallGraph.java │ │ │ │ ├── CallGraph.java │ │ │ │ ├── CallGraphBuilder.java │ │ │ │ ├── CallKind.java │ │ │ │ └── Edge.java │ │ └── pta │ │ │ ├── core │ │ │ ├── cs │ │ │ │ ├── CSCallGraph.java │ │ │ │ ├── context │ │ │ │ │ ├── Context.java │ │ │ │ │ └── ListContext.java │ │ │ │ ├── element │ │ │ │ │ ├── AbstractPointer.java │ │ │ │ │ ├── ArrayIndex.java │ │ │ │ │ ├── CSCallSite.java │ │ │ │ │ ├── CSElement.java │ │ │ │ │ ├── CSManager.java │ │ │ │ │ ├── CSMethod.java │ │ │ │ │ ├── CSObj.java │ │ │ │ │ ├── CSVar.java │ │ │ │ │ ├── InstanceField.java │ │ │ │ │ ├── Pointer.java │ │ │ │ │ └── StaticField.java │ │ │ │ └── selector │ │ │ │ │ ├── CISelector.java │ │ │ │ │ ├── ContextSelector.java │ │ │ │ │ ├── _1CallSelector.java │ │ │ │ │ ├── _1ObjSelector.java │ │ │ │ │ ├── _1TypeSelector.java │ │ │ │ │ ├── _2CallSelector.java │ │ │ │ │ ├── _2ObjSelector.java │ │ │ │ │ └── _2TypeSelector.java │ │ │ └── heap │ │ │ │ ├── HeapModel.java │ │ │ │ └── Obj.java │ │ │ ├── cs │ │ │ ├── CSPTA.java │ │ │ ├── PointerFlowGraph.java │ │ │ ├── Solver.java │ │ │ └── WorkList.java │ │ │ ├── plugin │ │ │ ├── ResultProcessor.java │ │ │ └── taint │ │ │ │ ├── Sink.java │ │ │ │ ├── Source.java │ │ │ │ ├── TaintAnalysiss.java │ │ │ │ ├── TaintConfig.java │ │ │ │ ├── TaintFlow.java │ │ │ │ ├── TaintManager.java │ │ │ │ └── TaintTransfer.java │ │ │ └── pts │ │ │ ├── PointsToSet.java │ │ │ └── PointsToSetFactory.java │ │ ├── ir │ │ ├── IR.java │ │ ├── exp │ │ │ ├── InvokeExp.java │ │ │ └── Var.java │ │ └── stmt │ │ │ ├── ArrayStmt.java │ │ │ ├── AssignStmt.java │ │ │ ├── Copy.java │ │ │ ├── DefinitionStmt.java │ │ │ ├── FieldStmt.java │ │ │ ├── Invoke.java │ │ │ ├── LoadArray.java │ │ │ ├── LoadField.java │ │ │ ├── New.java │ │ │ ├── Stmt.java │ │ │ ├── StmtVisitor.java │ │ │ ├── StoreArray.java │ │ │ └── StoreField.java │ │ └── language │ │ └── classes │ │ ├── JField.java │ │ └── JMethod.java │ └── test │ ├── java │ └── pascal │ │ └── taie │ │ └── analysis │ │ └── pta │ │ └── TaintTest.java │ └── resources │ └── pta │ └── taint │ ├── ArgToResult-cspta-expected.txt │ ├── ArgToResult.java │ ├── BaseToResult-cspta-expected.txt │ ├── BaseToResult.java │ ├── InterTaintTransfer-cspta-expected.txt │ ├── InterTaintTransfer.java │ ├── OneCallTaint-cspta-expected.txt │ ├── OneCallTaint.java │ ├── SimpleTaint-cspta-expected.txt │ ├── SimpleTaint.java │ ├── SourceSink.java │ ├── StringAppend-cspta-expected.txt │ ├── StringAppend.java │ ├── TaintInList-cspta-expected.txt │ ├── TaintInList.java │ └── taint-config.yml ├── COPYING ├── COPYING.LESSER ├── README.md └── lib ├── dependencies.jar └── rt.jar /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/.gitignore -------------------------------------------------------------------------------- /A1/tai-e/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/COPYING -------------------------------------------------------------------------------- /A1/tai-e/COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/COPYING.LESSER -------------------------------------------------------------------------------- /A1/tai-e/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/build.gradle.kts -------------------------------------------------------------------------------- /A1/tai-e/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /A1/tai-e/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /A1/tai-e/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/gradlew -------------------------------------------------------------------------------- /A1/tai-e/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/gradlew.bat -------------------------------------------------------------------------------- /A1/tai-e/lib/tai-e-assignment.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/lib/tai-e-assignment.jar -------------------------------------------------------------------------------- /A1/tai-e/plan.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/plan.yml -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/Assignment.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/StmtResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/StmtResult.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/LiveVariableAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/LiveVariableAnalysis.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/SetFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/SetFact.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/IterativeSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/IterativeSolver.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/ir/exp/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/ir/exp/Var.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java -------------------------------------------------------------------------------- /A1/tai-e/src/main/java/pascal/taie/util/graph/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/main/java/pascal/taie/util/graph/Graph.java -------------------------------------------------------------------------------- /A1/tai-e/src/test/java/pascal/taie/analysis/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/java/pascal/taie/analysis/Tests.java -------------------------------------------------------------------------------- /A1/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/LiveVarTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/LiveVarTest.java -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Array-livevar-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Array-livevar-expected.txt -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Array.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Array.java -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Assign-livevar-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Assign-livevar-expected.txt -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Assign.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Assign.java -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Branch-livevar-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Branch-livevar-expected.txt -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Branch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Branch.java -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/BranchLoop-livevar-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/BranchLoop-livevar-expected.txt -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/BranchLoop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/BranchLoop.java -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Fibonacci-livevar-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Fibonacci-livevar-expected.txt -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Fibonacci.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Fibonacci.java -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Reference-livevar-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Reference-livevar-expected.txt -------------------------------------------------------------------------------- /A1/tai-e/src/test/resources/dataflow/livevar/Reference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A1/tai-e/src/test/resources/dataflow/livevar/Reference.java -------------------------------------------------------------------------------- /A2/tai-e/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/COPYING -------------------------------------------------------------------------------- /A2/tai-e/COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/COPYING.LESSER -------------------------------------------------------------------------------- /A2/tai-e/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/build.gradle.kts -------------------------------------------------------------------------------- /A2/tai-e/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /A2/tai-e/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /A2/tai-e/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/gradlew -------------------------------------------------------------------------------- /A2/tai-e/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/gradlew.bat -------------------------------------------------------------------------------- /A2/tai-e/lib/tai-e-assignment.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/lib/tai-e-assignment.jar -------------------------------------------------------------------------------- /A2/tai-e/plan.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/plan.yml -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/Assignment.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/StmtResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/StmtResult.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/CPFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/CPFact.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/ConstantPropagation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/ConstantPropagation.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/Value.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/WorkListSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/WorkListSolver.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/IR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/IR.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/exp/ArithmeticExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/exp/ArithmeticExp.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/exp/BinaryExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/exp/BinaryExp.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/exp/BitwiseExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/exp/BitwiseExp.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/exp/ConditionExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/exp/ConditionExp.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/exp/IntLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/exp/IntLiteral.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/exp/ShiftExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/exp/ShiftExp.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/exp/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/exp/Var.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java -------------------------------------------------------------------------------- /A2/tai-e/src/main/java/pascal/taie/util/graph/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/main/java/pascal/taie/util/graph/Graph.java -------------------------------------------------------------------------------- /A2/tai-e/src/test/java/pascal/taie/analysis/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/java/pascal/taie/analysis/Tests.java -------------------------------------------------------------------------------- /A2/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/constprop/CPTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/constprop/CPTest.java -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/Assign-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/Assign-constprop-expected.txt -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/Assign.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/Assign.java -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/BranchConstant-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/BranchConstant-constprop-expected.txt -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/BranchConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/BranchConstant.java -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/Interprocedural-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/Interprocedural-constprop-expected.txt -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/Interprocedural.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/Interprocedural.java -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/SimpleBinary-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/SimpleBinary-constprop-expected.txt -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/SimpleBinary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/SimpleBinary.java -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/SimpleBranch-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/SimpleBranch-constprop-expected.txt -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/SimpleBranch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/SimpleBranch.java -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/SimpleChar-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/SimpleChar-constprop-expected.txt -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/SimpleChar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/SimpleChar.java -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/SimpleConstant-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/SimpleConstant-constprop-expected.txt -------------------------------------------------------------------------------- /A2/tai-e/src/test/resources/dataflow/constprop/SimpleConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A2/tai-e/src/test/resources/dataflow/constprop/SimpleConstant.java -------------------------------------------------------------------------------- /A3/tai-e/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/COPYING -------------------------------------------------------------------------------- /A3/tai-e/COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/COPYING.LESSER -------------------------------------------------------------------------------- /A3/tai-e/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/build.gradle.kts -------------------------------------------------------------------------------- /A3/tai-e/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /A3/tai-e/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /A3/tai-e/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/gradlew -------------------------------------------------------------------------------- /A3/tai-e/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/gradlew.bat -------------------------------------------------------------------------------- /A3/tai-e/lib/tai-e-assignment.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/lib/tai-e-assignment.jar -------------------------------------------------------------------------------- /A3/tai-e/plan.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/plan.yml -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/Assignment.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DeadCodeDetection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DeadCodeDetection.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/LiveVariableAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/LiveVariableAnalysis.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/CPFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/CPFact.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/ConstantPropagation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/ConstantPropagation.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/Value.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/SetFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/SetFact.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/WorkListSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/WorkListSolver.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/Edge.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/IR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/IR.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/exp/ArithmeticExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/exp/ArithmeticExp.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/exp/BinaryExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/exp/BinaryExp.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/exp/BitwiseExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/exp/BitwiseExp.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/exp/ConditionExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/exp/ConditionExp.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/exp/IntLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/exp/IntLiteral.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/exp/ShiftExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/exp/ShiftExp.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/exp/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/exp/Var.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/stmt/If.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/stmt/If.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/ir/stmt/SwitchStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/ir/stmt/SwitchStmt.java -------------------------------------------------------------------------------- /A3/tai-e/src/main/java/pascal/taie/util/graph/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/main/java/pascal/taie/util/graph/Graph.java -------------------------------------------------------------------------------- /A3/tai-e/src/test/java/pascal/taie/analysis/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/java/pascal/taie/analysis/Tests.java -------------------------------------------------------------------------------- /A3/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/DeadCodeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/DeadCodeTest.java -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/ControlFlowUnreachable-deadcode-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/ControlFlowUnreachable-deadcode-expected.txt -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/ControlFlowUnreachable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/ControlFlowUnreachable.java -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/DeadAssignment-deadcode-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/DeadAssignment-deadcode-expected.txt -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/DeadAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/DeadAssignment.java -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/Loops-deadcode-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/Loops-deadcode-expected.txt -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/Loops.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/Loops.java -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/UnreachableIfBranch-deadcode-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/UnreachableIfBranch-deadcode-expected.txt -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/UnreachableIfBranch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/UnreachableIfBranch.java -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/UnreachableSwitchBranch-deadcode-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/UnreachableSwitchBranch-deadcode-expected.txt -------------------------------------------------------------------------------- /A3/tai-e/src/test/resources/dataflow/deadcode/UnreachableSwitchBranch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A3/tai-e/src/test/resources/dataflow/deadcode/UnreachableSwitchBranch.java -------------------------------------------------------------------------------- /A4/tai-e/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/COPYING -------------------------------------------------------------------------------- /A4/tai-e/COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/COPYING.LESSER -------------------------------------------------------------------------------- /A4/tai-e/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/build.gradle.kts -------------------------------------------------------------------------------- /A4/tai-e/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /A4/tai-e/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /A4/tai-e/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/gradlew -------------------------------------------------------------------------------- /A4/tai-e/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/gradlew.bat -------------------------------------------------------------------------------- /A4/tai-e/lib/tai-e-assignment.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/lib/tai-e-assignment.jar -------------------------------------------------------------------------------- /A4/tai-e/plan.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/plan.yml -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/Assignment.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/StmtResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/StmtResult.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/CPFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/CPFact.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/ConstantPropagation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/ConstantPropagation.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/Value.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/AbstractInterDataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/AbstractInterDataflowAnalysis.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterConstantPropagation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterConstantPropagation.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterDataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterDataflowAnalysis.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterSolver.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/WorkListSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/WorkListSolver.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CGBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CGBuilder.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CHABuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CHABuilder.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphs.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/DefaultCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/DefaultCallGraph.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/MethodEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/MethodEdge.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/CallEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/CallEdge.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/CallToReturnEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/CallToReturnEdge.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ICFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ICFG.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ICFGEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ICFGEdge.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/NormalEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/NormalEdge.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ReturnEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ReturnEdge.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/IR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/IR.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/exp/ArithmeticExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/exp/ArithmeticExp.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/exp/BinaryExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/exp/BinaryExp.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/exp/BitwiseExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/exp/BitwiseExp.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/exp/ConditionExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/exp/ConditionExp.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/exp/IntLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/exp/IntLiteral.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/exp/ShiftExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/exp/ShiftExp.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/exp/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/exp/Var.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/proginfo/MethodRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/proginfo/MethodRef.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/language/classes/ClassHierarchy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/language/classes/ClassHierarchy.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/language/classes/ClassHierarchyImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/language/classes/ClassHierarchyImpl.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/language/classes/JClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/language/classes/JClass.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/language/classes/Subsignature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/language/classes/Subsignature.java -------------------------------------------------------------------------------- /A4/tai-e/src/main/java/pascal/taie/util/graph/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/main/java/pascal/taie/util/graph/Graph.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/java/pascal/taie/analysis/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/java/pascal/taie/analysis/Tests.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/constprop/InterCPTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/constprop/InterCPTest.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/java/pascal/taie/analysis/graph/callgraph/cha/CHATest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/java/pascal/taie/analysis/graph/callgraph/cha/CHATest.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/cha/AbstractMethod-cg-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/cha/AbstractMethod-cg-expected.txt -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/cha/AbstractMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/cha/AbstractMethod.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/cha/Interface-cg-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/cha/Interface-cg-expected.txt -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/cha/Interface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/cha/Interface.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/cha/StaticCall-cg-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/cha/StaticCall-cg-expected.txt -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/cha/StaticCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/cha/StaticCall.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/cha/VirtualCall-cg-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/cha/VirtualCall-cg-expected.txt -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/cha/VirtualCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/cha/VirtualCall.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/dataflow/constprop/inter/Example-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/dataflow/constprop/inter/Example-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/dataflow/constprop/inter/Example.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/dataflow/constprop/inter/Example.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/dataflow/constprop/inter/Fibonacci-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/dataflow/constprop/inter/Fibonacci-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/dataflow/constprop/inter/Fibonacci.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/dataflow/constprop/inter/Fibonacci.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/dataflow/constprop/inter/MultiIntArgs-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/dataflow/constprop/inter/MultiIntArgs-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/dataflow/constprop/inter/MultiIntArgs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/dataflow/constprop/inter/MultiIntArgs.java -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/dataflow/constprop/inter/Reference-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/dataflow/constprop/inter/Reference-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A4/tai-e/src/test/resources/dataflow/constprop/inter/Reference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A4/tai-e/src/test/resources/dataflow/constprop/inter/Reference.java -------------------------------------------------------------------------------- /A5/tai-e/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/COPYING -------------------------------------------------------------------------------- /A5/tai-e/COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/COPYING.LESSER -------------------------------------------------------------------------------- /A5/tai-e/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/build.gradle.kts -------------------------------------------------------------------------------- /A5/tai-e/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /A5/tai-e/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /A5/tai-e/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/gradlew -------------------------------------------------------------------------------- /A5/tai-e/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/gradlew.bat -------------------------------------------------------------------------------- /A5/tai-e/lib/tai-e-assignment.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/lib/tai-e-assignment.jar -------------------------------------------------------------------------------- /A5/tai-e/plan.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/plan.yml -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/Assignment.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/Tests.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/DefaultCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/DefaultCallGraph.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/PointerAnalysisResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/PointerAnalysisResult.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/ArrayIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/ArrayIndex.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/CIPTA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/CIPTA.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/CIPTAResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/CIPTAResult.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/InstanceField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/InstanceField.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/Pointer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/Pointer.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/PointerFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/PointerFlowGraph.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/PointsToSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/PointsToSet.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/ResultProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/ResultProcessor.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/Solver.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/StaticField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/StaticField.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/VarPtr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/VarPtr.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/WorkList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/ci/WorkList.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/HeapModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/HeapModel.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/IR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/IR.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/exp/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/exp/Var.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/ArrayStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/ArrayStmt.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/Copy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/Copy.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/FieldStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/FieldStmt.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/LoadArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/LoadArray.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/LoadField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/LoadField.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/New.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/New.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/StmtVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/StmtVisitor.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/StoreArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/StoreArray.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/ir/stmt/StoreField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/ir/stmt/StoreField.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/language/classes/JField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/language/classes/JField.java -------------------------------------------------------------------------------- /A5/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/java/pascal/taie/analysis/pta/CIPTATest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/java/pascal/taie/analysis/pta/CIPTATest.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Array-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Array-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Array.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Array.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Assign-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Assign-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Assign.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Assign.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Assign2-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Assign2-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Assign2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Assign2.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Call-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Call-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Call.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Call.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Example-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Example-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/Example.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/Example.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/InstanceField-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/InstanceField-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/InstanceField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/InstanceField.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/MergeParam-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/MergeParam-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/MergeParam.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/MergeParam.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/StaticCall-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/StaticCall-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/StaticCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/StaticCall.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/StaticField-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/StaticField-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/StaticField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/StaticField.java -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/StoreLoad-cipta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/StoreLoad-cipta-expected.txt -------------------------------------------------------------------------------- /A5/tai-e/src/test/resources/pta/cipta/StoreLoad.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A5/tai-e/src/test/resources/pta/cipta/StoreLoad.java -------------------------------------------------------------------------------- /A6/tai-e/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/COPYING -------------------------------------------------------------------------------- /A6/tai-e/COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/COPYING.LESSER -------------------------------------------------------------------------------- /A6/tai-e/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/build.gradle.kts -------------------------------------------------------------------------------- /A6/tai-e/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /A6/tai-e/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /A6/tai-e/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/gradlew -------------------------------------------------------------------------------- /A6/tai-e/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/gradlew.bat -------------------------------------------------------------------------------- /A6/tai-e/lib/tai-e-assignment.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/lib/tai-e-assignment.jar -------------------------------------------------------------------------------- /A6/tai-e/plan.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/plan.yml -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/Assignment.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/Tests.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/CSCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/CSCallGraph.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/Context.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/Context.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/ListContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/ListContext.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/AbstractPointer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/AbstractPointer.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/ArrayIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/ArrayIndex.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSCallSite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSCallSite.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSElement.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSManager.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSMethod.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSObj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSObj.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSVar.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/InstanceField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/InstanceField.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/Pointer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/Pointer.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/StaticField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/StaticField.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/CISelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/CISelector.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/ContextSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/ContextSelector.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1CallSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1CallSelector.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1ObjSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1ObjSelector.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1TypeSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1TypeSelector.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2CallSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2CallSelector.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2ObjSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2ObjSelector.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2TypeSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2TypeSelector.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/HeapModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/HeapModel.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/cs/CSPTA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/cs/CSPTA.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/cs/PointerFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/cs/PointerFlowGraph.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/cs/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/cs/Solver.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/cs/WorkList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/cs/WorkList.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/ResultProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/ResultProcessor.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSet.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSetFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSetFactory.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/IR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/IR.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/exp/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/exp/Var.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/ArrayStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/ArrayStmt.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/Copy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/Copy.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/FieldStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/FieldStmt.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/LoadArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/LoadArray.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/LoadField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/LoadField.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/New.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/New.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/StmtVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/StmtVisitor.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/StoreArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/StoreArray.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/ir/stmt/StoreField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/ir/stmt/StoreField.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/language/classes/JField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/language/classes/JField.java -------------------------------------------------------------------------------- /A6/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/java/pascal/taie/analysis/pta/CSPTATest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/java/pascal/taie/analysis/pta/CSPTATest.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/Array-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/Array-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/Array.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/Array.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/Assign-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/Assign-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/Assign.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/Assign.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/Call-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/Call-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/Call.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/Call.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/InstanceField-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/InstanceField-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/InstanceField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/InstanceField.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/New-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/New-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/New.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/New.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/OneCall-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/OneCall-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/OneCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/OneCall.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/OneObject-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/OneObject-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/OneObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/OneObject.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/OneType-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/OneType-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/OneType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/OneType.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/StaticField-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/StaticField-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/StaticField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/StaticField.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/StoreLoad-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/StoreLoad-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/StoreLoad.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/StoreLoad.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/TwoCall-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/TwoCall-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/TwoCall.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/TwoCall.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/TwoObject-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/TwoObject-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/TwoObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/TwoObject.java -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/TwoType-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/TwoType-cspta-expected.txt -------------------------------------------------------------------------------- /A6/tai-e/src/test/resources/pta/cspta/TwoType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A6/tai-e/src/test/resources/pta/cspta/TwoType.java -------------------------------------------------------------------------------- /A7/tai-e/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/COPYING -------------------------------------------------------------------------------- /A7/tai-e/COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/COPYING.LESSER -------------------------------------------------------------------------------- /A7/tai-e/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/build.gradle.kts -------------------------------------------------------------------------------- /A7/tai-e/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /A7/tai-e/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /A7/tai-e/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/gradlew -------------------------------------------------------------------------------- /A7/tai-e/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/gradlew.bat -------------------------------------------------------------------------------- /A7/tai-e/lib/tai-e-assignment.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/lib/tai-e-assignment.jar -------------------------------------------------------------------------------- /A7/tai-e/plan.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/plan.yml -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/Assignment.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/ResultProcessor.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/StmtResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/StmtResult.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/AbstractDataflowAnalysis.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/DataflowAnalysis.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/CPFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/CPFact.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/ConstantPropagation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/ConstantPropagation.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/Value.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/analysis/constprop/Value.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/DataflowResult.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/MapFact.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/fact/NodeResult.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/AbstractInterDataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/AbstractInterDataflowAnalysis.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterConstantPropagation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterConstantPropagation.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterDataflowAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterDataflowAnalysis.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/inter/InterSolver.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/Solver.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/WorkListSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/dataflow/solver/WorkListSolver.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CGBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CGBuilder.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/DefaultCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/DefaultCallGraph.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/cfg/CFG.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/CallEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/CallEdge.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/CallToReturnEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/CallToReturnEdge.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ICFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ICFG.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ICFGEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ICFGEdge.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/NormalEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/NormalEdge.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ReturnEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/graph/icfg/ReturnEdge.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/PointerAnalysisResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/PointerAnalysisResult.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/CSCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/CSCallGraph.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/Context.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/Context.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/ListContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/ListContext.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/AbstractPointer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/AbstractPointer.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/ArrayIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/ArrayIndex.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSCallSite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSCallSite.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSElement.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSManager.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSMethod.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSObj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSObj.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSVar.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/InstanceField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/InstanceField.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/Pointer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/Pointer.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/StaticField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/StaticField.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/CISelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/CISelector.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/ContextSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/ContextSelector.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1CallSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1CallSelector.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1ObjSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1ObjSelector.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1TypeSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1TypeSelector.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2CallSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2CallSelector.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2ObjSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2ObjSelector.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2TypeSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2TypeSelector.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/HeapModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/HeapModel.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/cs/CSPTA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/cs/CSPTA.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/cs/PointerFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/cs/PointerFlowGraph.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/cs/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/cs/Solver.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/cs/WorkList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/cs/WorkList.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/ResultProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/ResultProcessor.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSet.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSetFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSetFactory.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/IR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/IR.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/ArithmeticExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/ArithmeticExp.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/ArrayAccess.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/ArrayAccess.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/BinaryExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/BinaryExp.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/BitwiseExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/BitwiseExp.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/ConditionExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/ConditionExp.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/Exp.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/IntLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/IntLiteral.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/ShiftExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/ShiftExp.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/exp/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/exp/Var.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/ArrayStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/ArrayStmt.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/Copy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/Copy.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/FieldStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/FieldStmt.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/LoadArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/LoadArray.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/LoadField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/LoadField.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/New.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/New.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/StmtVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/StmtVisitor.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/StoreArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/StoreArray.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/ir/stmt/StoreField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/ir/stmt/StoreField.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/language/classes/JField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/language/classes/JField.java -------------------------------------------------------------------------------- /A7/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/java/pascal/taie/analysis/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/java/pascal/taie/analysis/Tests.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/constprop/InterCPAliasTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/java/pascal/taie/analysis/dataflow/analysis/constprop/InterCPAliasTest.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/Array-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/Array-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/Array.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/Array.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/ArrayInter2-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/ArrayInter2-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/ArrayInter2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/ArrayInter2.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/ArrayLoops-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/ArrayLoops-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/ArrayLoops.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/ArrayLoops.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/InstanceField-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/InstanceField-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/InstanceField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/InstanceField.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/Interprocedural2-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/Interprocedural2-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/Interprocedural2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/Interprocedural2.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/MultiStores-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/MultiStores-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/MultiStores.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/MultiStores.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/ObjSens-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/ObjSens-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/ObjSens.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/ObjSens.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/StaticField-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/StaticField-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/StaticField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/StaticField.java -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/StaticFieldMultiStores-inter-constprop-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/StaticFieldMultiStores-inter-constprop-expected.txt -------------------------------------------------------------------------------- /A7/tai-e/src/test/resources/dataflow/constprop/alias/StaticFieldMultiStores.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A7/tai-e/src/test/resources/dataflow/constprop/alias/StaticFieldMultiStores.java -------------------------------------------------------------------------------- /A8/tai-e/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/COPYING -------------------------------------------------------------------------------- /A8/tai-e/COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/COPYING.LESSER -------------------------------------------------------------------------------- /A8/tai-e/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/build.gradle.kts -------------------------------------------------------------------------------- /A8/tai-e/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /A8/tai-e/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /A8/tai-e/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/gradlew -------------------------------------------------------------------------------- /A8/tai-e/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/gradlew.bat -------------------------------------------------------------------------------- /A8/tai-e/lib/tai-e-assignment.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/lib/tai-e-assignment.jar -------------------------------------------------------------------------------- /A8/tai-e/plan.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/plan.yml -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/Assignment.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/Tests.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/AbstractCallGraph.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraph.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallGraphBuilder.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/CallKind.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/graph/callgraph/Edge.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/CSCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/CSCallGraph.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/Context.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/Context.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/ListContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/context/ListContext.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/AbstractPointer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/AbstractPointer.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/ArrayIndex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/ArrayIndex.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSCallSite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSCallSite.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSElement.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSManager.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSMethod.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSObj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSObj.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/CSVar.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/InstanceField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/InstanceField.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/Pointer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/Pointer.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/StaticField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/element/StaticField.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/CISelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/CISelector.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/ContextSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/ContextSelector.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1CallSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1CallSelector.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1ObjSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1ObjSelector.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1TypeSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_1TypeSelector.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2CallSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2CallSelector.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2ObjSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2ObjSelector.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2TypeSelector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/cs/selector/_2TypeSelector.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/HeapModel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/HeapModel.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/core/heap/Obj.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/cs/CSPTA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/cs/CSPTA.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/cs/PointerFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/cs/PointerFlowGraph.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/cs/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/cs/Solver.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/cs/WorkList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/cs/WorkList.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/ResultProcessor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/ResultProcessor.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/Sink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/Sink.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/Source.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/Source.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintAnalysiss.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintAnalysiss.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintConfig.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintFlow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintFlow.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintManager.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintTransfer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/plugin/taint/TaintTransfer.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSet.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSetFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/analysis/pta/pts/PointsToSetFactory.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/IR.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/IR.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/exp/InvokeExp.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/exp/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/exp/Var.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/ArrayStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/ArrayStmt.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/AssignStmt.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/Copy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/Copy.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/DefinitionStmt.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/FieldStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/FieldStmt.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/Invoke.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/LoadArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/LoadArray.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/LoadField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/LoadField.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/New.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/New.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/Stmt.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/StmtVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/StmtVisitor.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/StoreArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/StoreArray.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/ir/stmt/StoreField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/ir/stmt/StoreField.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/language/classes/JField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/language/classes/JField.java -------------------------------------------------------------------------------- /A8/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/main/java/pascal/taie/language/classes/JMethod.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/java/pascal/taie/analysis/pta/TaintTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/java/pascal/taie/analysis/pta/TaintTest.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/ArgToResult-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/ArgToResult-cspta-expected.txt -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/ArgToResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/ArgToResult.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/BaseToResult-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/BaseToResult-cspta-expected.txt -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/BaseToResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/BaseToResult.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/InterTaintTransfer-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/InterTaintTransfer-cspta-expected.txt -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/InterTaintTransfer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/InterTaintTransfer.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/OneCallTaint-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/OneCallTaint-cspta-expected.txt -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/OneCallTaint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/OneCallTaint.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/SimpleTaint-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/SimpleTaint-cspta-expected.txt -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/SimpleTaint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/SimpleTaint.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/SourceSink.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/SourceSink.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/StringAppend-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/StringAppend-cspta-expected.txt -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/StringAppend.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/StringAppend.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/TaintInList-cspta-expected.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/TaintInList-cspta-expected.txt -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/TaintInList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/TaintInList.java -------------------------------------------------------------------------------- /A8/tai-e/src/test/resources/pta/taint/taint-config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/A8/tai-e/src/test/resources/pta/taint/taint-config.yml -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/COPYING -------------------------------------------------------------------------------- /COPYING.LESSER: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/COPYING.LESSER -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/README.md -------------------------------------------------------------------------------- /lib/dependencies.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/lib/dependencies.jar -------------------------------------------------------------------------------- /lib/rt.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/pascal-lab/Tai-e-assignments/HEAD/lib/rt.jar --------------------------------------------------------------------------------