bitblaze-fuzzball / fuzzball

FuzzBALL: Vine-based Binary Symbolic Execution
Other
215 stars 58 forks source link

no examples like it was shown in the CCC 2013 #14

Open labba opened 8 years ago

labba commented 8 years ago

hi, i walk over the example folder and there is no examples like it was shown in the CCC 2013 such as the vortexwargame and also the decode and encode solution of how to do sections of SE so i could try on my own to do sectioning of multiple sections of SE like you have done with the PDF CVE. only was mentioned in the talk that it will require manual work but i see no example or documentation of that .

can you please upload the encode/decode with 2 SE example ? so we can understand the manual work that need to be done in a large scale code ?

thanks!

smcc commented 8 years ago

I think the examples you're wondering about are available from the companion blog post that Mathias put up after 30c3. The blog post as a whole is at:

https://nebelwelt.net/blog/20140114-having_phun_with_SE.html

and the examples tarball is at:

https://nebelwelt.net/blog/static/2014/0114/SE-testbed.tar.bz2