Now we'll get the easy stuff out of the way, and install all of the required packages: In this blog post we'll walk you through the most up to date build process from a fresh install of Ubuntu 14.04 LTS Desktop 64-bit.Īs with all installations, first make sure you're all up to date: KLEE is a great tool to get you started with symbolic execution, however the set up can be slightly daunting for the "app crowd" :) KLEE's home page has a Getting Started page, but it lacks some updates. If you start to dive into the topic, you'll undoubtedly come across KLEE, a project coming out of Standford University. It's probably all because of DARPA's Cyber Grand Challenge - a government-sponsored challenge to develop a system that automates vulnerability discovery. It seems like all of the cool kids nowadays are into Symbolic Execution, especially for vulnerability research.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |