Dan Guido

Intern projects released this week @trailofbits: Designed a featureful, high performance C++ SQLite wrapper https://blog.trailofbits.com/2019/08/26/wrappers-delight/ … Automated analysis of crashes from KRF with Binary Ninja https://blog.trailofbits.com/2019/08/29/reverse-taint-analysis-using-binary-ninja/ … Ported KLEE to work on binary codehttps://blog.trailofbits.com/2019/08/30/binary-symbolic-execution-with-klee-native/ …