NIST on "Dramatically Reducing Software Vulnerabilities" http://csrc.nist.gov/publications/drafts/nistir-8151/nistir8151_draft.pdf …
-
-
Replying to @johnregehr
@dguido I'm surprised there's no mention of SAMATE/SARD static analysis test suites. That's partly my fault.1 reply 0 retweets 0 likes -
if I kept up progress on integrating them into the clang static analysis buildbot, maybe it'd be relevant.
1 reply 0 retweets 1 like -
Replying to @ariccio @johnregehr
We have a shiny new test suite here:https://github.com/trailofbits/cb-multios …
1 reply 0 retweets 1 like -
Replying to @dguido @johnregehr
that looks awesome, but also it's only binary level, which is useful, but I'm not yet convinced it's the right way to go
2 replies 0 retweets 0 likes -
Replying to @ariccio @johnregehr
Take a look again, it's source code too.
2 replies 0 retweets 0 likes
Come to Empire Hacking this month, we're going to have a talk about it: http://www.empirehacking.nyc
9:57 AM - 5 Oct 2016
1 reply
0 retweets
3 likes
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.