add tiny_symbolic_execution_engine_z3.py
i've moved the video, so i put the new link directly in the source
add the files to trigger the heap overflow in OllyDbg2
add colissimo.py
add a loop to track the state of the parcel
using gocr+convert+request to read colissimo pictures
sort of automatic way to find sym variables + using prove because easier
Walter that's for you!
don't need an entire page btw
got a confirmation
remove useless comment + sym exec improvments
add adder & kryptonized adder
add some files to parse ollydbg2's udd file
the-sentinel: update the project files
that trick doesnt work anymore, cf http://doar-e.github.io/blog/2013/10/12/having-a-look-at-the-windows-userkernel-exceptions-dispatcher/
typo, thx @dummys1337
add ccompiler, little snippet to invoke tcc's C compiler
thx @ph0sec :)
moved the z3 shits elsewhere
add a pretty old format string pattern generator