Vitaly Chipounov

I just commented out the assert that fails, everything seems to work for me (I can dump all line info from the libc .debug file without crashing). Not sure about...

Could you have rebased https://github.com/S2E/s2e/pull/49 instead of creating a new PR?

Nice job! I'll test it asap. A couple formal remarks: - Prefix commit messages with the module that the commit touches. Have a look at the commit history to see...

Double-check that the docker demo image still works: http://s2e.systems/docs/BuildingS2E.html

Just tested this PR, it builds great. The demo I linked above doesn't start though, QEMU crashes with this eror: /home/vitaly/s2e/env/build/s2e-demo/install/bin/qemu-system-i386: error while loading shared libraries: libLTO.so.13: cannot open shared...

Are you working on state merging by any chance? That's the only place where this feature is used. I think that it would be better to remove the pinned property...

Any progress on this? I'll apply the patch after you address the feedback.

Hi! No worries, any incremental improvements are welcome.

Closing stale pr.

Closing stale PR. 2nd attempt in progress in issue/454-llvm.