search

bitblaze-fuzzball / fuzzball

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

Tweaks for CGC branch build/infra #11

Closed mboldt closed 8 years ago

mboldt commented 8 years ago

Here are a couple of tweaks I made to drop-in this repo for the SIFT's copy from CGC.

mboldt commented 8 years ago

Whoops, I didn't realize pushing d2ab786 would add it to the pull request.

In any case, that commit got rare-delims working on input from a symbolic file. Thank you for the guidance there!

smcc commented 8 years ago

But the changes all seem straightforward enough it seems fine to process them together.