Michael D Brown
Michael D Brown
A partial solution to this was provided in binrec-uci.
@ameily - Can this be closed? I think your recent PRs may resolve issues here, unless this is related to the transient failures we still see on some tests that...
Not working on this issue for the time being as the issue appears to be internal to S2E.
Initial work done on PR trailofbits/binrec-prerelease#212
Probably because we replaced all the assert statements with honest to goodness errors.
Do you know why it's being removed? IT may be because there is not trace info linking the calling block to the indirectly called function. If so, we would need...
Old issue, but is important to tackle soon. Now that we have a foothold on the new version of s2e working with single concrete inputs at a time, the next...
This issue is no longer blocked as symbolic tracing is now supported.
Marking low-priority - we only need to do this if/when performance fails to scale with binary size.
@michaelbrownuc