S²E automated software analysis helps #security researchers find vulnerabilities in #MSFT #Linux programs, libraries & drivers, #Android. @DARPA tested, now #OpenSource with #MIT license ready to help test for vulnerabilities s2e.systems github.com/s2e
