GitHub - dzhang20/angr

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 142 Commits
00_angr_find		00_angr_find
01_angr_avoid		01_angr_avoid
02_angr_find_condition		02_angr_find_condition
03_angr_symbolic_registers		03_angr_symbolic_registers
04_angr_symbolic_stack		04_angr_symbolic_stack
05_angr_symbolic_memory		05_angr_symbolic_memory
06_angr_symbolic_dynamic_memory		06_angr_symbolic_dynamic_memory
07_angr_symbolic_file		07_angr_symbolic_file
08_angr_constraints		08_angr_constraints
09_angr_hooks		09_angr_hooks
10_angr_simprocedures		10_angr_simprocedures
11_angr_sim_scanf		11_angr_sim_scanf
12_angr_veritesting		12_angr_veritesting
13_angr_static_binary		13_angr_static_binary
14_angr_shared_library		14_angr_shared_library
15_angr_arbitrary_read		15_angr_arbitrary_read
16_angr_arbitrary_write		16_angr_arbitrary_write
17_angr_arbitrary_jump		17_angr_arbitrary_jump
dist		dist
solutions		solutions
xx_angr_segfault		xx_angr_segfault
.gitignore		.gitignore
LICENSE		LICENSE
NOTES		NOTES
README		README
SymbolicExecution.pptx		SymbolicExecution.pptx
package.py		package.py
requirements.txt		requirements.txt
solve.py		solve.py

Repository files navigation

Eventually, this README will have information about building, installing, and 
playing the levels.

Currently, if you want to play around with them, take a look at package.py,
which builds the levels, and dist/ which generally has an up-to-date build
of each of the levels.