Adrian Herrera

That script is great! Thanks for that

Hi! Interesting! Can you please be more specific about what you mean by "traversed all instructions".

Thanks, @qhjchc, that is very interesting. This sounds like a useful analysis to have; do you have the code for your LLVM pass available on github? I would be interested...

Awesome, thanks for fixing the PR! Recently we have been working with Trail of Bits and their Remvill/Anvill lifting tools to lift more complicated inline assembly code constructs. Hopefully, we'll...

Hmm, I did not encounter that. But I was building with the current Docker images, which use Ubuntu 16.04

I strongly agree that trying to maintain support for ever-changing LLVM APIs is a losing battle. I don't have much to add, but is maintaining fuzzbench support important to symcc?...

It looks similar to https://github.com/S2E/s2e-env/issues/57 - I.e. a KVM feature is missing from libs2e On Sat, 4 Nov 2017 at 8:44 am, INSU YUN wrote: > Hi, I used ./launch-s2e.sh...

Hmmm that's strange, is that the end of the entire message? The valid components list is empty?

Ok, that’s very very strange. I will have a closer look at the s2e-env command and make file to see if there is anything obvious. If you just run “s2e...

What is the output of this command? ``` make -f $S2E/source/s2e/build-scripts/Makefile list ``` You should see all the build targets for S2E, i.e.: ``` all all-debug all-release ALWAYS cfe-3.9.0.src cfe-3.9.0.src.tar.xz...