├── exp1 ├── .idea │ ├── codeStyles │ │ ├── Project.xml │ │ └── codeStyleConfig.xml │ ├── hw2.iml │ ├── libraries │ │ └── joeq.xml │ ├── misc.xml │ ├── modules.xml │ ├── runConfigurations │ │ ├── Flow_ConstantProp_Test.xml │ │ ├── Flow_ConstantProp_TestTwo.xml │ │ ├── Flow_Faintness_TestFaintness.xml │ │ ├── Flow_Liveness_Test.xml │ │ ├── Flow_Liveness_TestTwo.xml │ │ ├── Flow_ReachingDefs_Test.xml │ │ ├── Flow_ReachingDefs_TestTwo.xml │ │ ├── PrintQuads_Test.xml │ │ ├── PrintQuads_TestFaintness.xml │ │ └── PrintQuads_TestTwo.xml │ └── workspace.xml ├── Makefile ├── README.md ├── lib │ ├── joeq.jar │ └── rt.jar ├── report.pdf ├── run.sh ├── src │ ├── examples │ │ ├── CountQuads.java │ │ ├── ExprTest.java │ │ └── PrintQuads.java │ ├── flow │ │ ├── ConstantProp.java │ │ ├── Flow.java │ │ └── Liveness.java │ ├── submit │ │ ├── Faintness.java │ │ ├── MySolver.java │ │ ├── ReachingDefs.java │ │ └── TestFaintness.java │ └── test │ │ ├── Test.cp.out │ │ ├── Test.java │ │ ├── Test.lv.out │ │ ├── Test.rd.out │ │ ├── TestFaintness.out │ │ ├── TestTwo.cp.out │ │ ├── TestTwo.java │ │ ├── TestTwo.lv.out │ │ └── TestTwo.rd.out └── test.sh ├── exp2 ├── .idea │ ├── encodings.xml │ ├── libraries │ │ └── joeq.xml │ ├── misc.xml │ ├── modules.xml │ ├── uiDesigner.xml │ └── workspace.xml ├── Makefile ├── README.md ├── lib │ └── joeq.jar ├── report.pdf ├── run.sh └── src │ ├── examples │ └── PrintQuads.java │ ├── flow │ ├── ConstantProp.java │ ├── Faintness.java │ ├── Flow.java │ ├── FlowSolver.java │ ├── Liveness.java │ └── ReachingDefs.java │ ├── submit │ ├── FindRedundantNullChecks.java │ ├── LivenessOpt.java │ ├── NullCheckOpt.java │ └── Optimize.java │ └── test │ ├── LivenessTest.java │ ├── NullTest.basic.out │ ├── NullTest.java │ ├── QuickSort.java │ ├── SkipList.basic.out │ └── SkipList.java ├── exp3 ├── CMakeLists.txt ├── Project 3.pptx ├── cmake │ └── FindZ3.cmake ├── main.cpp ├── main.cpp.task1 ├── report.pdf ├── test │ └── foo.ll └── 实验三:基于 Z3 和 LLVM 的程序分析 .pdf ├── readme.md └── 书面 ├── hw1.pdf ├── hw10.pdf ├── hw2.pdf ├── hw3.pdf ├── hw4.pdf ├── hw5.pdf ├── hw6.pdf ├── hw7.pdf ├── hw8.pdf ├── hw9.pdf └── readme.md /exp1/.idea/codeStyles/Project.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/codeStyles/Project.xml -------------------------------------------------------------------------------- /exp1/.idea/codeStyles/codeStyleConfig.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/codeStyles/codeStyleConfig.xml -------------------------------------------------------------------------------- /exp1/.idea/hw2.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/hw2.iml -------------------------------------------------------------------------------- /exp1/.idea/libraries/joeq.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/libraries/joeq.xml -------------------------------------------------------------------------------- /exp1/.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/misc.xml -------------------------------------------------------------------------------- /exp1/.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/modules.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/Flow_ConstantProp_Test.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/Flow_ConstantProp_Test.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/Flow_ConstantProp_TestTwo.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/Flow_ConstantProp_TestTwo.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/Flow_Faintness_TestFaintness.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/Flow_Faintness_TestFaintness.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/Flow_Liveness_Test.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/Flow_Liveness_Test.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/Flow_Liveness_TestTwo.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/Flow_Liveness_TestTwo.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/Flow_ReachingDefs_Test.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/Flow_ReachingDefs_Test.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/Flow_ReachingDefs_TestTwo.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/Flow_ReachingDefs_TestTwo.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/PrintQuads_Test.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/PrintQuads_Test.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/PrintQuads_TestFaintness.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/PrintQuads_TestFaintness.xml -------------------------------------------------------------------------------- /exp1/.idea/runConfigurations/PrintQuads_TestTwo.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/runConfigurations/PrintQuads_TestTwo.xml -------------------------------------------------------------------------------- /exp1/.idea/workspace.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/.idea/workspace.xml -------------------------------------------------------------------------------- /exp1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/Makefile -------------------------------------------------------------------------------- /exp1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/README.md -------------------------------------------------------------------------------- /exp1/lib/joeq.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/lib/joeq.jar -------------------------------------------------------------------------------- /exp1/lib/rt.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/lib/rt.jar -------------------------------------------------------------------------------- /exp1/report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/report.pdf -------------------------------------------------------------------------------- /exp1/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/run.sh -------------------------------------------------------------------------------- /exp1/src/examples/CountQuads.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/examples/CountQuads.java -------------------------------------------------------------------------------- /exp1/src/examples/ExprTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/examples/ExprTest.java -------------------------------------------------------------------------------- /exp1/src/examples/PrintQuads.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/examples/PrintQuads.java -------------------------------------------------------------------------------- /exp1/src/flow/ConstantProp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/flow/ConstantProp.java -------------------------------------------------------------------------------- /exp1/src/flow/Flow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/flow/Flow.java -------------------------------------------------------------------------------- /exp1/src/flow/Liveness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/flow/Liveness.java -------------------------------------------------------------------------------- /exp1/src/submit/Faintness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/submit/Faintness.java -------------------------------------------------------------------------------- /exp1/src/submit/MySolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/submit/MySolver.java -------------------------------------------------------------------------------- /exp1/src/submit/ReachingDefs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/submit/ReachingDefs.java -------------------------------------------------------------------------------- /exp1/src/submit/TestFaintness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/submit/TestFaintness.java -------------------------------------------------------------------------------- /exp1/src/test/Test.cp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/test/Test.cp.out -------------------------------------------------------------------------------- /exp1/src/test/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/test/Test.java -------------------------------------------------------------------------------- /exp1/src/test/Test.lv.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/test/Test.lv.out -------------------------------------------------------------------------------- /exp1/src/test/Test.rd.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/test/Test.rd.out -------------------------------------------------------------------------------- /exp1/src/test/TestFaintness.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/test/TestFaintness.out -------------------------------------------------------------------------------- /exp1/src/test/TestTwo.cp.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/test/TestTwo.cp.out -------------------------------------------------------------------------------- /exp1/src/test/TestTwo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/test/TestTwo.java -------------------------------------------------------------------------------- /exp1/src/test/TestTwo.lv.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/test/TestTwo.lv.out -------------------------------------------------------------------------------- /exp1/src/test/TestTwo.rd.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/src/test/TestTwo.rd.out -------------------------------------------------------------------------------- /exp1/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp1/test.sh -------------------------------------------------------------------------------- /exp2/.idea/encodings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/.idea/encodings.xml -------------------------------------------------------------------------------- /exp2/.idea/libraries/joeq.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/.idea/libraries/joeq.xml -------------------------------------------------------------------------------- /exp2/.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/.idea/misc.xml -------------------------------------------------------------------------------- /exp2/.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/.idea/modules.xml -------------------------------------------------------------------------------- /exp2/.idea/uiDesigner.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/.idea/uiDesigner.xml -------------------------------------------------------------------------------- /exp2/.idea/workspace.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/.idea/workspace.xml -------------------------------------------------------------------------------- /exp2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/Makefile -------------------------------------------------------------------------------- /exp2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/README.md -------------------------------------------------------------------------------- /exp2/lib/joeq.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/lib/joeq.jar -------------------------------------------------------------------------------- /exp2/report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/report.pdf -------------------------------------------------------------------------------- /exp2/run.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/run.sh -------------------------------------------------------------------------------- /exp2/src/examples/PrintQuads.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/examples/PrintQuads.java -------------------------------------------------------------------------------- /exp2/src/flow/ConstantProp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/flow/ConstantProp.java -------------------------------------------------------------------------------- /exp2/src/flow/Faintness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/flow/Faintness.java -------------------------------------------------------------------------------- /exp2/src/flow/Flow.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/flow/Flow.java -------------------------------------------------------------------------------- /exp2/src/flow/FlowSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/flow/FlowSolver.java -------------------------------------------------------------------------------- /exp2/src/flow/Liveness.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/flow/Liveness.java -------------------------------------------------------------------------------- /exp2/src/flow/ReachingDefs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/flow/ReachingDefs.java -------------------------------------------------------------------------------- /exp2/src/submit/FindRedundantNullChecks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/submit/FindRedundantNullChecks.java -------------------------------------------------------------------------------- /exp2/src/submit/LivenessOpt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/submit/LivenessOpt.java -------------------------------------------------------------------------------- /exp2/src/submit/NullCheckOpt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/submit/NullCheckOpt.java -------------------------------------------------------------------------------- /exp2/src/submit/Optimize.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/submit/Optimize.java -------------------------------------------------------------------------------- /exp2/src/test/LivenessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/test/LivenessTest.java -------------------------------------------------------------------------------- /exp2/src/test/NullTest.basic.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/test/NullTest.basic.out -------------------------------------------------------------------------------- /exp2/src/test/NullTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/test/NullTest.java -------------------------------------------------------------------------------- /exp2/src/test/QuickSort.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/test/QuickSort.java -------------------------------------------------------------------------------- /exp2/src/test/SkipList.basic.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/test/SkipList.basic.out -------------------------------------------------------------------------------- /exp2/src/test/SkipList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp2/src/test/SkipList.java -------------------------------------------------------------------------------- /exp3/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp3/CMakeLists.txt -------------------------------------------------------------------------------- /exp3/Project 3.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp3/Project 3.pptx -------------------------------------------------------------------------------- /exp3/cmake/FindZ3.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp3/cmake/FindZ3.cmake -------------------------------------------------------------------------------- /exp3/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp3/main.cpp -------------------------------------------------------------------------------- /exp3/main.cpp.task1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp3/main.cpp.task1 -------------------------------------------------------------------------------- /exp3/report.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp3/report.pdf -------------------------------------------------------------------------------- /exp3/test/foo.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp3/test/foo.ll -------------------------------------------------------------------------------- /exp3/实验三:基于 Z3 和 LLVM 的程序分析 .pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/exp3/实验三:基于 Z3 和 LLVM 的程序分析 .pdf -------------------------------------------------------------------------------- /readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/readme.md -------------------------------------------------------------------------------- /书面/hw1.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw1.pdf -------------------------------------------------------------------------------- /书面/hw10.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw10.pdf -------------------------------------------------------------------------------- /书面/hw2.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw2.pdf -------------------------------------------------------------------------------- /书面/hw3.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw3.pdf -------------------------------------------------------------------------------- /书面/hw4.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw4.pdf -------------------------------------------------------------------------------- /书面/hw5.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw5.pdf -------------------------------------------------------------------------------- /书面/hw6.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw6.pdf -------------------------------------------------------------------------------- /书面/hw7.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw7.pdf -------------------------------------------------------------------------------- /书面/hw8.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw8.pdf -------------------------------------------------------------------------------- /书面/hw9.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/MashPlant/compiler-train-19/HEAD/书面/hw9.pdf -------------------------------------------------------------------------------- /书面/readme.md: -------------------------------------------------------------------------------- 1 | 基本就是后半本龙书上的一些习题。 2 | 3 | hw6应该是做错了，hw8和hw10有一点笔误。 --------------------------------------------------------------------------------