Adam Meily

I believe that the docs about parallel execution is only for symbolic execution/analysis, which our S2E integration does not support currently, trailofbits/binrec-prerelease#82, which is why the docs don't mention specifying...

Interestingly, the `sum` coreutils sample works now and operates very similarly to `cksum`. The main difference appears to be that `cksum` operates on strings (`fread`) and `sum` operates on characters...

Add descriptive error messages to assertions to convey what is actually happening or failing.

I am also seeing this with symbolic inputs on `cut`. Batch trace file (symbolic args are the delimiter and the field number): ```json { "traces": [{ "args": ["2 4", "-d",...

`mkdir` is routinely failing with the "can't locate main" error (#160): > `binrec.errors.BinRecLiftingError: failed to perform initial lifting of LLVM bitcode: s2e-out: [recover_functions] Failed to located main via entrypoint` I'm...

With the latest update I cannot get mkdir to lift properly at all and I'm not sure if it was ever working to be honest. There was a typo in...

I've confirmed that this issues is related to trailofbits/binrec-tob#14. I finally got a working mkdir trace and then compared each failure against it. Each failure had a large trace info...

This may be blocked until we have trailofbits/binrec-prerelease#101 fixed since I am unaware of any libc API that returns a `long double`.

@michaelbrownuc I believe this is still an issue I'm seeing as a side effect of trailofbits/binrec-tob#14. I was seeing a bad trace info being produced that occasionally was missing the...

@michaelbrownuc I apologize, I really shouldn't comment on anything until coffee is ready. I just confirmed that this is still occurring, even with the fix from trailofbits/binrec-prerelease#169. I think it...