├── .gitignore ├── LICENSE.md ├── README.md ├── output ├── sample10 ├── sample10.ll ├── sample12 ├── sample12.ll ├── sample14 ├── sample14.ll ├── sample15 ├── sample15.ll ├── sample4 ├── sample4.ll ├── sample_multiple_paths ├── sample_multiple_paths.ll ├── sample_symbolic_memory_easy ├── sample_symbolic_memory_easy.ll ├── tigress-0-challenge-0 ├── tigress-0-challenge-0.ll ├── tigress-0-challenge-1 ├── tigress-0-challenge-1.ll ├── tigress-0-challenge-2 ├── tigress-0-challenge-2.ll ├── tigress-0-challenge-3 ├── tigress-0-challenge-3.ll ├── tigress-0-challenge-4 ├── tigress-0-challenge-4.ll ├── tigress-1-challenge-0 ├── tigress-1-challenge-0.ll ├── tigress-1-challenge-1 ├── tigress-1-challenge-1.ll ├── tigress-1-challenge-2 ├── tigress-1-challenge-2.ll ├── tigress-1-challenge-3 ├── tigress-1-challenge-3.ll ├── tigress-1-challenge-4 └── tigress-1-challenge-4.ll ├── requirements.txt ├── samples ├── sample_multiple_paths ├── sample_multiple_paths.c ├── sample_symbolic_memory_easy ├── sample_symbolic_memory_easy.c ├── sample_symbolic_memory_hard └── sample_symbolic_memory_hard.c ├── template.c ├── testing_equality.py ├── tigress.py └── utils.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/README.md -------------------------------------------------------------------------------- /output/sample10: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample10 -------------------------------------------------------------------------------- /output/sample10.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample10.ll -------------------------------------------------------------------------------- /output/sample12: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample12 -------------------------------------------------------------------------------- /output/sample12.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample12.ll -------------------------------------------------------------------------------- /output/sample14: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample14 -------------------------------------------------------------------------------- /output/sample14.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample14.ll -------------------------------------------------------------------------------- /output/sample15: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample15 -------------------------------------------------------------------------------- /output/sample15.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample15.ll -------------------------------------------------------------------------------- /output/sample4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample4 -------------------------------------------------------------------------------- /output/sample4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample4.ll -------------------------------------------------------------------------------- /output/sample_multiple_paths: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample_multiple_paths -------------------------------------------------------------------------------- /output/sample_multiple_paths.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample_multiple_paths.ll -------------------------------------------------------------------------------- /output/sample_symbolic_memory_easy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample_symbolic_memory_easy -------------------------------------------------------------------------------- /output/sample_symbolic_memory_easy.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/sample_symbolic_memory_easy.ll -------------------------------------------------------------------------------- /output/tigress-0-challenge-0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-0 -------------------------------------------------------------------------------- /output/tigress-0-challenge-0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-0.ll -------------------------------------------------------------------------------- /output/tigress-0-challenge-1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-1 -------------------------------------------------------------------------------- /output/tigress-0-challenge-1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-1.ll -------------------------------------------------------------------------------- /output/tigress-0-challenge-2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-2 -------------------------------------------------------------------------------- /output/tigress-0-challenge-2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-2.ll -------------------------------------------------------------------------------- /output/tigress-0-challenge-3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-3 -------------------------------------------------------------------------------- /output/tigress-0-challenge-3.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-3.ll -------------------------------------------------------------------------------- /output/tigress-0-challenge-4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-4 -------------------------------------------------------------------------------- /output/tigress-0-challenge-4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-0-challenge-4.ll -------------------------------------------------------------------------------- /output/tigress-1-challenge-0: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-0 -------------------------------------------------------------------------------- /output/tigress-1-challenge-0.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-0.ll -------------------------------------------------------------------------------- /output/tigress-1-challenge-1: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-1 -------------------------------------------------------------------------------- /output/tigress-1-challenge-1.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-1.ll -------------------------------------------------------------------------------- /output/tigress-1-challenge-2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-2 -------------------------------------------------------------------------------- /output/tigress-1-challenge-2.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-2.ll -------------------------------------------------------------------------------- /output/tigress-1-challenge-3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-3 -------------------------------------------------------------------------------- /output/tigress-1-challenge-3.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-3.ll -------------------------------------------------------------------------------- /output/tigress-1-challenge-4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-4 -------------------------------------------------------------------------------- /output/tigress-1-challenge-4.ll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/output/tigress-1-challenge-4.ll -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- 1 | angr 2 | llvmlite 3 | -------------------------------------------------------------------------------- /samples/sample_multiple_paths: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/samples/sample_multiple_paths -------------------------------------------------------------------------------- /samples/sample_multiple_paths.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/samples/sample_multiple_paths.c -------------------------------------------------------------------------------- /samples/sample_symbolic_memory_easy: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/samples/sample_symbolic_memory_easy -------------------------------------------------------------------------------- /samples/sample_symbolic_memory_easy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/samples/sample_symbolic_memory_easy.c -------------------------------------------------------------------------------- /samples/sample_symbolic_memory_hard: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/samples/sample_symbolic_memory_hard -------------------------------------------------------------------------------- /samples/sample_symbolic_memory_hard.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/samples/sample_symbolic_memory_hard.c -------------------------------------------------------------------------------- /template.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/template.c -------------------------------------------------------------------------------- /testing_equality.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/testing_equality.py -------------------------------------------------------------------------------- /tigress.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/tigress.py -------------------------------------------------------------------------------- /utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/toshipiazza/Tigress_angr/HEAD/utils.py --------------------------------------------------------------------------------