binrec-tob icon indicating copy to clipboard operation
binrec-tob copied to clipboard
verified publisher icon trailofbits

Add support for making bytes within file inputs symbolic

Open michaelbrownuc opened this issue 3 years ago • 0 comments

After PR trailofbits/binrec-prerelease#186 gets merged, we should look into making bytes within the files symbolic. This is documented by S2E here:

http://s2e.systems/docs/Tutorials/BasicLinuxSymbex/s2e.so.html

michaelbrownuc avatar Jun 03 '22 15:06 michaelbrownuc