├── .gitignore ├── README.md ├── angr ├── README.md ├── bomb_lab │ ├── Makefile │ ├── README.md │ ├── bomb │ ├── bomb.c │ ├── bomb.h │ ├── skeleton.py │ └── solution.py ├── hello_world │ ├── Makefile │ ├── README.md │ ├── generate_serial_skeleton.py │ ├── generate_serial_solution.py │ ├── serial.c │ ├── serial.h │ └── serial.o ├── ioctls │ ├── HackSysExtremeVulnerableDriver.sys │ ├── README.md │ └── analyse.py └── opaque_predicates │ ├── README.md │ └── solution.py ├── mwri_hacklu_2018_samdb_z3_final.pdf └── z3 ├── equivalence_checking ├── README.md └── solution.py ├── hackvent_15 ├── README.md ├── generate.py ├── solution.PNG └── solution.py ├── n_queens ├── README.md ├── screenshot.PNG └── solution.py ├── opaque_predicates ├── README.md ├── skeleton.py └── solution.py ├── rng ├── GenerateSamples.java ├── README.md ├── rng.py ├── skeleton.py └── solution.py ├── sudoku ├── README.md ├── skeleton.py ├── solution.py └── tests.txt └── x86 ├── README.md ├── add.py ├── jg.py ├── jg_solution.py ├── jmp.py ├── jnz.py ├── or.py ├── or_solution.py ├── registers.py ├── sub.py ├── sub_solution.py └── xor.py /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/.gitignore -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/README.md -------------------------------------------------------------------------------- /angr/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/README.md -------------------------------------------------------------------------------- /angr/bomb_lab/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/bomb_lab/Makefile -------------------------------------------------------------------------------- /angr/bomb_lab/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/bomb_lab/README.md -------------------------------------------------------------------------------- /angr/bomb_lab/bomb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/bomb_lab/bomb -------------------------------------------------------------------------------- /angr/bomb_lab/bomb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/bomb_lab/bomb.c -------------------------------------------------------------------------------- /angr/bomb_lab/bomb.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/bomb_lab/bomb.h -------------------------------------------------------------------------------- /angr/bomb_lab/skeleton.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/bomb_lab/skeleton.py -------------------------------------------------------------------------------- /angr/bomb_lab/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/bomb_lab/solution.py -------------------------------------------------------------------------------- /angr/hello_world/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/hello_world/Makefile -------------------------------------------------------------------------------- /angr/hello_world/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/hello_world/README.md -------------------------------------------------------------------------------- /angr/hello_world/generate_serial_skeleton.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/hello_world/generate_serial_skeleton.py -------------------------------------------------------------------------------- /angr/hello_world/generate_serial_solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/hello_world/generate_serial_solution.py -------------------------------------------------------------------------------- /angr/hello_world/serial.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/hello_world/serial.c -------------------------------------------------------------------------------- /angr/hello_world/serial.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/hello_world/serial.h -------------------------------------------------------------------------------- /angr/hello_world/serial.o: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/hello_world/serial.o -------------------------------------------------------------------------------- /angr/ioctls/HackSysExtremeVulnerableDriver.sys: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/ioctls/HackSysExtremeVulnerableDriver.sys -------------------------------------------------------------------------------- /angr/ioctls/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/ioctls/README.md -------------------------------------------------------------------------------- /angr/ioctls/analyse.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/ioctls/analyse.py -------------------------------------------------------------------------------- /angr/opaque_predicates/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/opaque_predicates/README.md -------------------------------------------------------------------------------- /angr/opaque_predicates/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/angr/opaque_predicates/solution.py -------------------------------------------------------------------------------- /mwri_hacklu_2018_samdb_z3_final.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/mwri_hacklu_2018_samdb_z3_final.pdf -------------------------------------------------------------------------------- /z3/equivalence_checking/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/equivalence_checking/README.md -------------------------------------------------------------------------------- /z3/equivalence_checking/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/equivalence_checking/solution.py -------------------------------------------------------------------------------- /z3/hackvent_15/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/hackvent_15/README.md -------------------------------------------------------------------------------- /z3/hackvent_15/generate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/hackvent_15/generate.py -------------------------------------------------------------------------------- /z3/hackvent_15/solution.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/hackvent_15/solution.PNG -------------------------------------------------------------------------------- /z3/hackvent_15/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/hackvent_15/solution.py -------------------------------------------------------------------------------- /z3/n_queens/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/n_queens/README.md -------------------------------------------------------------------------------- /z3/n_queens/screenshot.PNG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/n_queens/screenshot.PNG -------------------------------------------------------------------------------- /z3/n_queens/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/n_queens/solution.py -------------------------------------------------------------------------------- /z3/opaque_predicates/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/opaque_predicates/README.md -------------------------------------------------------------------------------- /z3/opaque_predicates/skeleton.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/opaque_predicates/skeleton.py -------------------------------------------------------------------------------- /z3/opaque_predicates/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/opaque_predicates/solution.py -------------------------------------------------------------------------------- /z3/rng/GenerateSamples.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/rng/GenerateSamples.java -------------------------------------------------------------------------------- /z3/rng/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/rng/README.md -------------------------------------------------------------------------------- /z3/rng/rng.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/rng/rng.py -------------------------------------------------------------------------------- /z3/rng/skeleton.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/rng/skeleton.py -------------------------------------------------------------------------------- /z3/rng/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/rng/solution.py -------------------------------------------------------------------------------- /z3/sudoku/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/sudoku/README.md -------------------------------------------------------------------------------- /z3/sudoku/skeleton.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/sudoku/skeleton.py -------------------------------------------------------------------------------- /z3/sudoku/solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/sudoku/solution.py -------------------------------------------------------------------------------- /z3/sudoku/tests.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/sudoku/tests.txt -------------------------------------------------------------------------------- /z3/x86/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/README.md -------------------------------------------------------------------------------- /z3/x86/add.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/add.py -------------------------------------------------------------------------------- /z3/x86/jg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/jg.py -------------------------------------------------------------------------------- /z3/x86/jg_solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/jg_solution.py -------------------------------------------------------------------------------- /z3/x86/jmp.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/jmp.py -------------------------------------------------------------------------------- /z3/x86/jnz.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/jnz.py -------------------------------------------------------------------------------- /z3/x86/or.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/or.py -------------------------------------------------------------------------------- /z3/x86/or_solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/or_solution.py -------------------------------------------------------------------------------- /z3/x86/registers.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/registers.py -------------------------------------------------------------------------------- /z3/x86/sub.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/sub.py -------------------------------------------------------------------------------- /z3/x86/sub_solution.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/sub_solution.py -------------------------------------------------------------------------------- /z3/x86/xor.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FSecureLABS/z3_and_angr_binary_analysis_workshop/HEAD/z3/x86/xor.py --------------------------------------------------------------------------------