Michael D Brown
Michael D Brown
resolves #202
- [x] Add final published PDF - [x] Add Final Presentation slides - [x] Updates tables / readme
@ameily and I have both seen this issue with two binaries so far, `args` and `eq`. The details of the failure output are: ``` pipenv run python -m binrec.lift -vv...
There is much room for improvement to the code quality of the C++ components in BinRec and the plugins. Stopping short of a complete refactor / rewrite, there is a...
We need to explore this and determine to what degree it is different from other transient issues we have encountered with S2E.
Can be reproduced by installing BinRec without the `freeze` recipe enabled.
When tracing the coreutils `seq` benchmark with a symbolic argument, tracing fails with the following error message: ``` [FunctionLog] Saving Trace Info... [FunctionLog] Restoring tracing vars for state: 0 qemu-system-i386:...
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
for the env and printenv benchmarks, the recovered binary produces different output. Didn't look into these much.
Work trying to recover `zip` in BinRec revealed an issue between the export interval and symbolic tracing code. The `OnSlotStateSwitch` event is triggered when the export interval is reached, causing...