Sophia's talk on using advanced features of the Binary Ninja API for vulnerability analysis is next up #youkillityoueatit
-
-
Replying to @dguido
Peter is starting with the design goals of the Binary Ninja IL - easy to analyze, still close to native, intuitive to read, etc.
1 reply 1 retweet 2 likes -
Replying to @dguido
Why not BAP? Flags are explicit, poor readability, OCaml. Why not VEX? Reg names are abstracted, single assignment, 1000 instructions.
1 reply 1 retweet 1 like -
Replying to @dguido
Why not REIL? Only 17 insts. LLVM IR? Hard to lift to, expects types, made for compiling not binary analysis. ps seehttps://github.com/trailofbits/mcsema …
1 reply 1 retweet 2 likes -
Replying to @dguido
Rusty is explaining the finer points of the Binja processing pipeline and how it turns out an easily readable IL.
1 reply 1 retweet 1 like -
Replying to @dguido
Sophia up now to show what you can do with the Binja tools. Check the API at http://api.binary.ninja/search.html
1 reply 1 retweet 2 likes -
Replying to @dguido
Sophia's 1st example: find where a program writes data to the stack. Easy to write, all python. Finds candidate stack smashes.
1 reply 1 retweet 2 likes -
Replying to @dguido
2nd example: Find all uninitialized variables in a program. Takes advantage of SSA form feature in Binja. Script is trivially small.
1 reply 1 retweet 2 likes -
Replying to @dguido
3rd example: Use Binja analyses to take practical advantage of symbolic execution. Usually too slow, but can target analysis with Binja.
1 reply 1 retweet 2 likes -
Replying to @dguido
3: Goal here is to find type confusion bugs with sign analysis. Ran the tool on PHP and it can find CVE-2016-6289. https://blog.fortinet.com/2016/08/10/analysis-of-php-s-cve-2016-6289-and-cve-2016-6297 …
1 reply 1 retweet 7 likes
4th example: find use-after-free with Binja. Reimplement earlier project from @trailofbits in simpler form:https://blog.trailofbits.com/2016/03/09/the-problem-with-dynamic-program-analysis/ …
-
-
Replying to @dguido @trailofbits
5th example: devirtualize C++, make code readable again! https://blog.trailofbits.com/2017/02/13/devirtualizing-c-with-binary-ninja/ …
1 reply 3 retweets 4 likes -
Replying to @dguido @trailofbits
Sophia suggests checking out the
@trailofbits Binja script repo for more code and ideas:https://github.com/trailofbits/binjascripts …1 reply 1 retweet 4 likes - 3 more replies
New conversation -
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.