Using S2E to generate PoVs for Linux, Windows, and CGC binaries

S2E now supports proof of vulnerability generation for
Windows and Linux programs in addition to the DARPA CGC
binaries. Check out the tutorials!https://t.co/msTRq4i4PN

— Vitaly Chipounov (@vitalychh) June 11, 2018