Artem Dinaburg

Going to start filling in some of these to be added to readme. Mosty copied from blog post. What are they: These programs were specifically designed with vulnerabilities that represent...

About `-nostdinc`: The challenge binaries were written for a platform without a standard libc. Each binary re-implemented just the necessary libc features. Therefore, standard symbols were re-defined. By using the...

I think we can finally close this.

This sample still causes a problem but at least the error is different :). Its no longer a segfault!

```I0701 13:47:14.909256 1062466 ConvertXorToCmp.cpp:225] ConvertXorToCmp: replaced 0 xors with negated comparisons E0701 13:47:14.959821 1062466 Util.cpp:342] Error verifying module read from file: Instruction does not dominate all uses! %2078 = phi...

I don't mind calling llvm-dis since it would be nice to have the bitcode available for debugging any issues as well (its normally a step i do manually); and it...

@pgoodman is this still reproducable? if we have the original binary we can try giving it a shot, since it asks about IDA recognition?

@carsonharmon I think some progress has been made on these? Curious if its still relevant.

Referencing relevant remill issue: https://github.com/lifting-bits/remill/issues/527

Can someone explain why we need this? I thought the only thing that matters in LLVM-land is the comparisons, which are signed or unsigned, while all integers are always unsigned?