├── .clang-format ├── .github └── workflows │ ├── docker.yml │ └── style.yml ├── .gitignore ├── Dockerfile ├── README.md ├── images ├── 001-git-usage.png ├── 002-docker-settings.png └── 003-virtualbox-hyperv.png ├── lab1 ├── .devcontainer │ └── devcontainer.json ├── .gitignore ├── Makefile ├── README.md ├── afl_input │ └── seed.txt ├── answers.txt └── c_programs │ ├── test0.c │ ├── test1.c │ ├── test10.c │ ├── test11.c │ ├── test2.c │ ├── test3.c │ ├── test4.c │ ├── test5.c │ ├── test6.c │ ├── test7.c │ ├── test8.c │ └── test9.c ├── lab2 ├── .devcontainer │ └── devcontainer.json ├── .gitignore ├── CMakeLists.txt ├── Makefile ├── README.md ├── c_programs │ ├── Makefile │ ├── test1.c │ ├── test2.c │ ├── test3.c │ └── test4.c ├── images │ ├── example-coverage-report.png │ └── flowchart.png ├── include │ ├── Instrument.h │ └── Utils.h ├── ir_programs │ ├── test1.ll │ ├── test2.ll │ ├── test3.ll │ └── test4.ll ├── lib │ └── runtime.c ├── src │ ├── DynamicAnalysisPass.cpp │ ├── StaticAnalysisPass.cpp │ └── Utils.cpp └── test │ ├── Makefile │ ├── simple0.c │ ├── simple1.c │ ├── simple2.c │ ├── simple3.c │ ├── simple4.c │ ├── simple5.c │ ├── simple6.c │ ├── simple7.c │ ├── simple8.c │ └── simple9.c ├── lab3 ├── .devcontainer │ └── devcontainer.json ├── .gitignore ├── CMakeLists.txt ├── Makefile ├── README.md ├── config.txt ├── images │ └── feedback.png ├── include │ ├── BuildDictionary.h │ ├── InstrumentDivision.h │ └── Utils.h ├── lib │ └── runtime.c ├── src │ ├── BuildDictionary.cpp │ ├── Fuzzer.cpp │ ├── InstrumentDivision.cpp │ ├── Register.cpp │ └── Utils.cpp └── test │ ├── Makefile │ ├── easy1.c │ ├── easy2.c │ ├── fuzz_input │ └── seed.txt │ ├── path1.c │ ├── path2.c │ ├── path3.c │ ├── sanity1.c │ └── test.sh ├── lab4 ├── .devcontainer │ └── devcontainer.json ├── .gitignore ├── Makefile ├── README.md ├── delta_debugger │ ├── __init__.py │ ├── __main__.py │ └── delta.py ├── fuzzer │ ├── CMakeLists.txt │ ├── include │ │ ├── Instrument.h │ │ └── Utils.h │ ├── lib │ │ └── runtime.c │ └── src │ │ ├── Fuzzer.cpp │ │ ├── Instrument.cpp │ │ └── Utils.cpp ├── requirements.txt ├── setup.py └── test │ ├── Makefile │ ├── fuzz_input │ └── seed.txt │ ├── sanity1.c │ ├── test.sh │ ├── test1.c │ ├── test2.c │ ├── test3.c │ ├── test4.c │ ├── test5.c │ └── test6.c ├── lab5 ├── .devcontainer │ └── devcontainer.json ├── .gitignore ├── CMakeLists.txt ├── Makefile ├── README.md ├── cbi │ ├── __init__.py │ ├── __main__.py │ ├── cbi.py │ ├── data_format.py │ └── utils.py ├── config.txt ├── fuzzer │ ├── CMakeLists.txt │ ├── include │ │ └── Utils.h │ └── src │ │ ├── Fuzzer.cpp │ │ └── Utils.cpp ├── include │ ├── CBIInstrument.h │ └── InstrumentDivision.h ├── lib │ └── runtime.c ├── requirements.txt ├── setup.py ├── src │ ├── CBIInstrument.cpp │ └── InstrumentDivision.cpp └── test │ ├── Makefile │ ├── fuzz_input │ └── seed.txt │ ├── sanity.c │ ├── test.sh │ ├── test1.c │ ├── test2.c │ ├── test3.c │ ├── test4.c │ ├── test5.c │ └── test6.c ├── lab6 ├── .devcontainer │ └── devcontainer.json ├── CMakeLists.txt ├── Makefile ├── README.md ├── include │ ├── DivZeroAnalysis.h │ ├── Domain.h │ └── Utils.h ├── reference │ ├── libHiddenAnalysis.a │ └── libHiddenAnalysis.x86-64.a ├── src │ ├── ChaoticIteration.cpp │ ├── DivZeroAnalysis.cpp │ ├── Domain.cpp │ ├── Transfer.cpp │ └── Utils.cpp └── test │ ├── Makefile │ ├── test01.c │ ├── test02.c │ ├── test03.c │ ├── test04.c │ ├── test05.c │ ├── test06.c │ ├── test07.c │ ├── test08.c │ ├── test09.c │ ├── test10.c │ ├── test11.c │ └── test12.c ├── lab7 ├── .devcontainer │ └── devcontainer.json ├── CMakeLists.txt ├── Makefile ├── README.md ├── include │ ├── DivZeroAnalysis.h │ ├── Domain.h │ ├── PointerAnalysis.h │ └── Utils.h ├── src │ ├── ChaoticIteration.cpp │ ├── DivZeroAnalysis.cpp │ ├── Domain.cpp │ ├── PointerAnalysis.cpp │ ├── Transfer.cpp │ └── Utils.cpp └── test │ ├── Makefile │ ├── test01.c │ ├── test02.c │ ├── test03.c │ ├── test04.c │ ├── test05.c │ ├── test06.c │ ├── test07.c │ ├── test08.c │ ├── test09.c │ ├── test10.c │ ├── test11.c │ ├── test12.c │ ├── test13.c │ ├── test14.c │ ├── test15.c │ ├── test16.c │ ├── test17.c │ ├── test18.c │ └── test19.c ├── lab8 ├── .devcontainer │ └── devcontainer.json ├── .gitignore ├── CMakeLists.txt ├── Makefile ├── README.md ├── include │ ├── Extractor.h │ └── Utils.h ├── src │ ├── Constraint.cpp │ ├── Extractor.cpp │ ├── Utils.cpp │ └── analysis.dl └── test │ ├── Makefile │ ├── branch0.c │ ├── branch1.c │ ├── branch2.c │ ├── loop0.c │ ├── loop1.c │ ├── prelude.h │ ├── simple0.c │ └── simple1.c ├── lab9 ├── .devcontainer │ └── devcontainer.json ├── .gitignore ├── CMakeLists.txt ├── Makefile ├── include │ ├── DSEInstrument.h │ ├── Runtime.h │ ├── Strategy.h │ └── SymbolicInterpreter.h ├── src │ ├── DSE.cpp │ ├── DSEInstrument.cpp │ ├── Runtime.cpp │ ├── Strategy.cpp │ └── SymbolicInterpreter.cpp └── test │ ├── Makefile │ ├── branch0.c │ ├── branch1.c │ ├── branch2.c │ ├── infeasable.c │ ├── simple0.c │ ├── simple1.c │ └── test ├── sandbox ├── .devcontainer │ └── devcontainer.json ├── .gitignore ├── .vscode │ ├── c_cpp_properties.json │ ├── launch.json │ ├── settings.json │ └── tasks.json ├── CMakeLists.txt ├── include │ └── Analytics.h ├── src │ └── Analytics.cpp └── test │ ├── Makefile │ └── simple0.c ├── warmup ├── .devcontainer │ └── devcontainer.json ├── .gitignore ├── CMakeLists.txt ├── README.md ├── include │ ├── Task.h │ └── User.h └── src │ ├── Task.cpp │ ├── User.cpp │ └── main.cpp └── zshrc /.clang-format: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/.clang-format -------------------------------------------------------------------------------- /.github/workflows/docker.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/.github/workflows/docker.yml -------------------------------------------------------------------------------- /.github/workflows/style.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/.github/workflows/style.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/.gitignore -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/Dockerfile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/README.md -------------------------------------------------------------------------------- /images/001-git-usage.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/images/001-git-usage.png -------------------------------------------------------------------------------- /images/002-docker-settings.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/images/002-docker-settings.png -------------------------------------------------------------------------------- /images/003-virtualbox-hyperv.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/images/003-virtualbox-hyperv.png -------------------------------------------------------------------------------- /lab1/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /lab1/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/.gitignore -------------------------------------------------------------------------------- /lab1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/Makefile -------------------------------------------------------------------------------- /lab1/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/README.md -------------------------------------------------------------------------------- /lab1/afl_input/seed.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/afl_input/seed.txt -------------------------------------------------------------------------------- /lab1/answers.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/answers.txt -------------------------------------------------------------------------------- /lab1/c_programs/test0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test0.c -------------------------------------------------------------------------------- /lab1/c_programs/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test1.c -------------------------------------------------------------------------------- /lab1/c_programs/test10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test10.c -------------------------------------------------------------------------------- /lab1/c_programs/test11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test11.c -------------------------------------------------------------------------------- /lab1/c_programs/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test2.c -------------------------------------------------------------------------------- /lab1/c_programs/test3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test3.c -------------------------------------------------------------------------------- /lab1/c_programs/test4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test4.c -------------------------------------------------------------------------------- /lab1/c_programs/test5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test5.c -------------------------------------------------------------------------------- /lab1/c_programs/test6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test6.c -------------------------------------------------------------------------------- /lab1/c_programs/test7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test7.c -------------------------------------------------------------------------------- /lab1/c_programs/test8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test8.c -------------------------------------------------------------------------------- /lab1/c_programs/test9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab1/c_programs/test9.c -------------------------------------------------------------------------------- /lab2/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /lab2/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/.gitignore -------------------------------------------------------------------------------- /lab2/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/CMakeLists.txt -------------------------------------------------------------------------------- /lab2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/Makefile -------------------------------------------------------------------------------- /lab2/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/README.md -------------------------------------------------------------------------------- /lab2/c_programs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/c_programs/Makefile -------------------------------------------------------------------------------- /lab2/c_programs/test1.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main() { 4 | // TODO: Fill in the code here 5 | return 0; 6 | } 7 | -------------------------------------------------------------------------------- /lab2/c_programs/test2.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main() { 4 | // TODO: Fill in the code here 5 | return 0; 6 | } 7 | -------------------------------------------------------------------------------- /lab2/c_programs/test3.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main() { 4 | // TODO: Fill in the code here 5 | return 0; 6 | } 7 | -------------------------------------------------------------------------------- /lab2/c_programs/test4.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main() { 4 | // TODO: Fill in the code here 5 | return 0; 6 | } 7 | -------------------------------------------------------------------------------- /lab2/images/example-coverage-report.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/images/example-coverage-report.png -------------------------------------------------------------------------------- /lab2/images/flowchart.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/images/flowchart.png -------------------------------------------------------------------------------- /lab2/include/Instrument.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/include/Instrument.h -------------------------------------------------------------------------------- /lab2/include/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/include/Utils.h -------------------------------------------------------------------------------- /lab2/ir_programs/test1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/ir_programs/test1.ll -------------------------------------------------------------------------------- /lab2/ir_programs/test2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/ir_programs/test2.ll -------------------------------------------------------------------------------- /lab2/ir_programs/test3.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/ir_programs/test3.ll -------------------------------------------------------------------------------- /lab2/ir_programs/test4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/ir_programs/test4.ll -------------------------------------------------------------------------------- /lab2/lib/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/lib/runtime.c -------------------------------------------------------------------------------- /lab2/src/DynamicAnalysisPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/src/DynamicAnalysisPass.cpp -------------------------------------------------------------------------------- /lab2/src/StaticAnalysisPass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/src/StaticAnalysisPass.cpp -------------------------------------------------------------------------------- /lab2/src/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/src/Utils.cpp -------------------------------------------------------------------------------- /lab2/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/Makefile -------------------------------------------------------------------------------- /lab2/test/simple0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple0.c -------------------------------------------------------------------------------- /lab2/test/simple1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple1.c -------------------------------------------------------------------------------- /lab2/test/simple2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple2.c -------------------------------------------------------------------------------- /lab2/test/simple3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple3.c -------------------------------------------------------------------------------- /lab2/test/simple4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple4.c -------------------------------------------------------------------------------- /lab2/test/simple5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple5.c -------------------------------------------------------------------------------- /lab2/test/simple6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple6.c -------------------------------------------------------------------------------- /lab2/test/simple7.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple7.c -------------------------------------------------------------------------------- /lab2/test/simple8.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple8.c -------------------------------------------------------------------------------- /lab2/test/simple9.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab2/test/simple9.c -------------------------------------------------------------------------------- /lab3/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /lab3/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/.gitignore -------------------------------------------------------------------------------- /lab3/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/CMakeLists.txt -------------------------------------------------------------------------------- /lab3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/Makefile -------------------------------------------------------------------------------- /lab3/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/README.md -------------------------------------------------------------------------------- /lab3/config.txt: -------------------------------------------------------------------------------- 1 | # Only for use with test.sh 2 | 3 | freq: 1000 4 | seed: 42 5 | -------------------------------------------------------------------------------- /lab3/images/feedback.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/images/feedback.png -------------------------------------------------------------------------------- /lab3/include/BuildDictionary.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/include/BuildDictionary.h -------------------------------------------------------------------------------- /lab3/include/InstrumentDivision.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/include/InstrumentDivision.h -------------------------------------------------------------------------------- /lab3/include/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/include/Utils.h -------------------------------------------------------------------------------- /lab3/lib/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/lib/runtime.c -------------------------------------------------------------------------------- /lab3/src/BuildDictionary.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/src/BuildDictionary.cpp -------------------------------------------------------------------------------- /lab3/src/Fuzzer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/src/Fuzzer.cpp -------------------------------------------------------------------------------- /lab3/src/InstrumentDivision.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/src/InstrumentDivision.cpp -------------------------------------------------------------------------------- /lab3/src/Register.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/src/Register.cpp -------------------------------------------------------------------------------- /lab3/src/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/src/Utils.cpp -------------------------------------------------------------------------------- /lab3/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/test/Makefile -------------------------------------------------------------------------------- /lab3/test/easy1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/test/easy1.c -------------------------------------------------------------------------------- /lab3/test/easy2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/test/easy2.c -------------------------------------------------------------------------------- /lab3/test/fuzz_input/seed.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/test/fuzz_input/seed.txt -------------------------------------------------------------------------------- /lab3/test/path1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/test/path1.c -------------------------------------------------------------------------------- /lab3/test/path2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/test/path2.c -------------------------------------------------------------------------------- /lab3/test/path3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/test/path3.c -------------------------------------------------------------------------------- /lab3/test/sanity1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/test/sanity1.c -------------------------------------------------------------------------------- /lab3/test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab3/test/test.sh -------------------------------------------------------------------------------- /lab4/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /lab4/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/.gitignore -------------------------------------------------------------------------------- /lab4/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/Makefile -------------------------------------------------------------------------------- /lab4/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/README.md -------------------------------------------------------------------------------- /lab4/delta_debugger/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/delta_debugger/__init__.py -------------------------------------------------------------------------------- /lab4/delta_debugger/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/delta_debugger/__main__.py -------------------------------------------------------------------------------- /lab4/delta_debugger/delta.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/delta_debugger/delta.py -------------------------------------------------------------------------------- /lab4/fuzzer/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/fuzzer/CMakeLists.txt -------------------------------------------------------------------------------- /lab4/fuzzer/include/Instrument.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/fuzzer/include/Instrument.h -------------------------------------------------------------------------------- /lab4/fuzzer/include/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/fuzzer/include/Utils.h -------------------------------------------------------------------------------- /lab4/fuzzer/lib/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/fuzzer/lib/runtime.c -------------------------------------------------------------------------------- /lab4/fuzzer/src/Fuzzer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/fuzzer/src/Fuzzer.cpp -------------------------------------------------------------------------------- /lab4/fuzzer/src/Instrument.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/fuzzer/src/Instrument.cpp -------------------------------------------------------------------------------- /lab4/fuzzer/src/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/fuzzer/src/Utils.cpp -------------------------------------------------------------------------------- /lab4/requirements.txt: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lab4/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/setup.py -------------------------------------------------------------------------------- /lab4/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/Makefile -------------------------------------------------------------------------------- /lab4/test/fuzz_input/seed.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/fuzz_input/seed.txt -------------------------------------------------------------------------------- /lab4/test/sanity1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/sanity1.c -------------------------------------------------------------------------------- /lab4/test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/test.sh -------------------------------------------------------------------------------- /lab4/test/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/test1.c -------------------------------------------------------------------------------- /lab4/test/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/test2.c -------------------------------------------------------------------------------- /lab4/test/test3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/test3.c -------------------------------------------------------------------------------- /lab4/test/test4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/test4.c -------------------------------------------------------------------------------- /lab4/test/test5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/test5.c -------------------------------------------------------------------------------- /lab4/test/test6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab4/test/test6.c -------------------------------------------------------------------------------- /lab5/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /lab5/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/.gitignore -------------------------------------------------------------------------------- /lab5/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/CMakeLists.txt -------------------------------------------------------------------------------- /lab5/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/Makefile -------------------------------------------------------------------------------- /lab5/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/README.md -------------------------------------------------------------------------------- /lab5/cbi/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /lab5/cbi/__main__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/cbi/__main__.py -------------------------------------------------------------------------------- /lab5/cbi/cbi.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/cbi/cbi.py -------------------------------------------------------------------------------- /lab5/cbi/data_format.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/cbi/data_format.py -------------------------------------------------------------------------------- /lab5/cbi/utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/cbi/utils.py -------------------------------------------------------------------------------- /lab5/config.txt: -------------------------------------------------------------------------------- 1 | # Only for use with test.sh 2 | 3 | freq: 10 4 | seed: 42 5 | -------------------------------------------------------------------------------- /lab5/fuzzer/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/fuzzer/CMakeLists.txt -------------------------------------------------------------------------------- /lab5/fuzzer/include/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/fuzzer/include/Utils.h -------------------------------------------------------------------------------- /lab5/fuzzer/src/Fuzzer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/fuzzer/src/Fuzzer.cpp -------------------------------------------------------------------------------- /lab5/fuzzer/src/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/fuzzer/src/Utils.cpp -------------------------------------------------------------------------------- /lab5/include/CBIInstrument.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/include/CBIInstrument.h -------------------------------------------------------------------------------- /lab5/include/InstrumentDivision.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/include/InstrumentDivision.h -------------------------------------------------------------------------------- /lab5/lib/runtime.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/lib/runtime.c -------------------------------------------------------------------------------- /lab5/requirements.txt: -------------------------------------------------------------------------------- 1 | tqdm==4.64.0 -------------------------------------------------------------------------------- /lab5/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/setup.py -------------------------------------------------------------------------------- /lab5/src/CBIInstrument.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/src/CBIInstrument.cpp -------------------------------------------------------------------------------- /lab5/src/InstrumentDivision.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/src/InstrumentDivision.cpp -------------------------------------------------------------------------------- /lab5/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/Makefile -------------------------------------------------------------------------------- /lab5/test/fuzz_input/seed.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/fuzz_input/seed.txt -------------------------------------------------------------------------------- /lab5/test/sanity.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/sanity.c -------------------------------------------------------------------------------- /lab5/test/test.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/test.sh -------------------------------------------------------------------------------- /lab5/test/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/test1.c -------------------------------------------------------------------------------- /lab5/test/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/test2.c -------------------------------------------------------------------------------- /lab5/test/test3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/test3.c -------------------------------------------------------------------------------- /lab5/test/test4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/test4.c -------------------------------------------------------------------------------- /lab5/test/test5.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/test5.c -------------------------------------------------------------------------------- /lab5/test/test6.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab5/test/test6.c -------------------------------------------------------------------------------- /lab6/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /lab6/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/CMakeLists.txt -------------------------------------------------------------------------------- /lab6/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/Makefile -------------------------------------------------------------------------------- /lab6/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/README.md -------------------------------------------------------------------------------- /lab6/include/DivZeroAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/include/DivZeroAnalysis.h -------------------------------------------------------------------------------- /lab6/include/Domain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/include/Domain.h -------------------------------------------------------------------------------- /lab6/include/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/include/Utils.h -------------------------------------------------------------------------------- /lab6/reference/libHiddenAnalysis.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/reference/libHiddenAnalysis.a -------------------------------------------------------------------------------- /lab6/reference/libHiddenAnalysis.x86-64.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/reference/libHiddenAnalysis.x86-64.a -------------------------------------------------------------------------------- /lab6/src/ChaoticIteration.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/src/ChaoticIteration.cpp -------------------------------------------------------------------------------- /lab6/src/DivZeroAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/src/DivZeroAnalysis.cpp -------------------------------------------------------------------------------- /lab6/src/Domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/src/Domain.cpp -------------------------------------------------------------------------------- /lab6/src/Transfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/src/Transfer.cpp -------------------------------------------------------------------------------- /lab6/src/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/src/Utils.cpp -------------------------------------------------------------------------------- /lab6/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/Makefile -------------------------------------------------------------------------------- /lab6/test/test01.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test01.c -------------------------------------------------------------------------------- /lab6/test/test02.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test02.c -------------------------------------------------------------------------------- /lab6/test/test03.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test03.c -------------------------------------------------------------------------------- /lab6/test/test04.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test04.c -------------------------------------------------------------------------------- /lab6/test/test05.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test05.c -------------------------------------------------------------------------------- /lab6/test/test06.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test06.c -------------------------------------------------------------------------------- /lab6/test/test07.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test07.c -------------------------------------------------------------------------------- /lab6/test/test08.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test08.c -------------------------------------------------------------------------------- /lab6/test/test09.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test09.c -------------------------------------------------------------------------------- /lab6/test/test10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test10.c -------------------------------------------------------------------------------- /lab6/test/test11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test11.c -------------------------------------------------------------------------------- /lab6/test/test12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab6/test/test12.c -------------------------------------------------------------------------------- /lab7/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /lab7/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/CMakeLists.txt -------------------------------------------------------------------------------- /lab7/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/Makefile -------------------------------------------------------------------------------- /lab7/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/README.md -------------------------------------------------------------------------------- /lab7/include/DivZeroAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/include/DivZeroAnalysis.h -------------------------------------------------------------------------------- /lab7/include/Domain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/include/Domain.h -------------------------------------------------------------------------------- /lab7/include/PointerAnalysis.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/include/PointerAnalysis.h -------------------------------------------------------------------------------- /lab7/include/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/include/Utils.h -------------------------------------------------------------------------------- /lab7/src/ChaoticIteration.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/src/ChaoticIteration.cpp -------------------------------------------------------------------------------- /lab7/src/DivZeroAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/src/DivZeroAnalysis.cpp -------------------------------------------------------------------------------- /lab7/src/Domain.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/src/Domain.cpp -------------------------------------------------------------------------------- /lab7/src/PointerAnalysis.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/src/PointerAnalysis.cpp -------------------------------------------------------------------------------- /lab7/src/Transfer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/src/Transfer.cpp -------------------------------------------------------------------------------- /lab7/src/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/src/Utils.cpp -------------------------------------------------------------------------------- /lab7/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/Makefile -------------------------------------------------------------------------------- /lab7/test/test01.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test01.c -------------------------------------------------------------------------------- /lab7/test/test02.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test02.c -------------------------------------------------------------------------------- /lab7/test/test03.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test03.c -------------------------------------------------------------------------------- /lab7/test/test04.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test04.c -------------------------------------------------------------------------------- /lab7/test/test05.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test05.c -------------------------------------------------------------------------------- /lab7/test/test06.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test06.c -------------------------------------------------------------------------------- /lab7/test/test07.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test07.c -------------------------------------------------------------------------------- /lab7/test/test08.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test08.c -------------------------------------------------------------------------------- /lab7/test/test09.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test09.c -------------------------------------------------------------------------------- /lab7/test/test10.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test10.c -------------------------------------------------------------------------------- /lab7/test/test11.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test11.c -------------------------------------------------------------------------------- /lab7/test/test12.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test12.c -------------------------------------------------------------------------------- /lab7/test/test13.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test13.c -------------------------------------------------------------------------------- /lab7/test/test14.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test14.c -------------------------------------------------------------------------------- /lab7/test/test15.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test15.c -------------------------------------------------------------------------------- /lab7/test/test16.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test16.c -------------------------------------------------------------------------------- /lab7/test/test17.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test17.c -------------------------------------------------------------------------------- /lab7/test/test18.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test18.c -------------------------------------------------------------------------------- /lab7/test/test19.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab7/test/test19.c -------------------------------------------------------------------------------- /lab8/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /lab8/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/.gitignore -------------------------------------------------------------------------------- /lab8/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/CMakeLists.txt -------------------------------------------------------------------------------- /lab8/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/Makefile -------------------------------------------------------------------------------- /lab8/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/README.md -------------------------------------------------------------------------------- /lab8/include/Extractor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/include/Extractor.h -------------------------------------------------------------------------------- /lab8/include/Utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/include/Utils.h -------------------------------------------------------------------------------- /lab8/src/Constraint.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/src/Constraint.cpp -------------------------------------------------------------------------------- /lab8/src/Extractor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/src/Extractor.cpp -------------------------------------------------------------------------------- /lab8/src/Utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/src/Utils.cpp -------------------------------------------------------------------------------- /lab8/src/analysis.dl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/src/analysis.dl -------------------------------------------------------------------------------- /lab8/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/test/Makefile -------------------------------------------------------------------------------- /lab8/test/branch0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/test/branch0.c -------------------------------------------------------------------------------- /lab8/test/branch1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/test/branch1.c -------------------------------------------------------------------------------- /lab8/test/branch2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/test/branch2.c -------------------------------------------------------------------------------- /lab8/test/loop0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/test/loop0.c -------------------------------------------------------------------------------- /lab8/test/loop1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/test/loop1.c -------------------------------------------------------------------------------- /lab8/test/prelude.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/test/prelude.h -------------------------------------------------------------------------------- /lab8/test/simple0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/test/simple0.c -------------------------------------------------------------------------------- /lab8/test/simple1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab8/test/simple1.c -------------------------------------------------------------------------------- /lab9/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /lab9/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | test/*.ll 3 | submission.zip 4 | -------------------------------------------------------------------------------- /lab9/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/CMakeLists.txt -------------------------------------------------------------------------------- /lab9/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/Makefile -------------------------------------------------------------------------------- /lab9/include/DSEInstrument.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/include/DSEInstrument.h -------------------------------------------------------------------------------- /lab9/include/Runtime.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/include/Runtime.h -------------------------------------------------------------------------------- /lab9/include/Strategy.h: -------------------------------------------------------------------------------- 1 | #include "z3++.h" 2 | 3 | void searchStrategy(z3::expr_vector &OldVec); 4 | -------------------------------------------------------------------------------- /lab9/include/SymbolicInterpreter.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/include/SymbolicInterpreter.h -------------------------------------------------------------------------------- /lab9/src/DSE.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/src/DSE.cpp -------------------------------------------------------------------------------- /lab9/src/DSEInstrument.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/src/DSEInstrument.cpp -------------------------------------------------------------------------------- /lab9/src/Runtime.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/src/Runtime.cpp -------------------------------------------------------------------------------- /lab9/src/Strategy.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/src/Strategy.cpp -------------------------------------------------------------------------------- /lab9/src/SymbolicInterpreter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/src/SymbolicInterpreter.cpp -------------------------------------------------------------------------------- /lab9/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/test/Makefile -------------------------------------------------------------------------------- /lab9/test/branch0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/test/branch0.c -------------------------------------------------------------------------------- /lab9/test/branch1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/test/branch1.c -------------------------------------------------------------------------------- /lab9/test/branch2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/test/branch2.c -------------------------------------------------------------------------------- /lab9/test/infeasable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/test/infeasable.c -------------------------------------------------------------------------------- /lab9/test/simple0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/test/simple0.c -------------------------------------------------------------------------------- /lab9/test/simple1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/test/simple1.c -------------------------------------------------------------------------------- /lab9/test/test: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/lab9/test/test -------------------------------------------------------------------------------- /sandbox/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /sandbox/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/.gitignore -------------------------------------------------------------------------------- /sandbox/.vscode/c_cpp_properties.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/.vscode/c_cpp_properties.json -------------------------------------------------------------------------------- /sandbox/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/.vscode/launch.json -------------------------------------------------------------------------------- /sandbox/.vscode/settings.json: -------------------------------------------------------------------------------- 1 | { 2 | "cmake.configureOnOpen": false 3 | } -------------------------------------------------------------------------------- /sandbox/.vscode/tasks.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/.vscode/tasks.json -------------------------------------------------------------------------------- /sandbox/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/CMakeLists.txt -------------------------------------------------------------------------------- /sandbox/include/Analytics.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/include/Analytics.h -------------------------------------------------------------------------------- /sandbox/src/Analytics.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/src/Analytics.cpp -------------------------------------------------------------------------------- /sandbox/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/test/Makefile -------------------------------------------------------------------------------- /sandbox/test/simple0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/sandbox/test/simple0.c -------------------------------------------------------------------------------- /warmup/.devcontainer/devcontainer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/warmup/.devcontainer/devcontainer.json -------------------------------------------------------------------------------- /warmup/.gitignore: -------------------------------------------------------------------------------- 1 | /build 2 | -------------------------------------------------------------------------------- /warmup/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/warmup/CMakeLists.txt -------------------------------------------------------------------------------- /warmup/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/warmup/README.md -------------------------------------------------------------------------------- /warmup/include/Task.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/warmup/include/Task.h -------------------------------------------------------------------------------- /warmup/include/User.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/warmup/include/User.h -------------------------------------------------------------------------------- /warmup/src/Task.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/warmup/src/Task.cpp -------------------------------------------------------------------------------- /warmup/src/User.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/warmup/src/User.cpp -------------------------------------------------------------------------------- /warmup/src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/warmup/src/main.cpp -------------------------------------------------------------------------------- /zshrc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/cis547/cis547vm/HEAD/zshrc --------------------------------------------------------------------------------