Binary Static Analysis

March 7, 2012
Nelson Auditorium
Speaker: Chris Wysopal, Co-Founder and CTO of Veracode
Host: Ming Chow


Abstract: Binary Static Analysis is the process of modeling the semantics of a computer program from its executable form and then inspecting that model for properties and patterns of interest. Today static analysis if being used for detecting quality and security flaws in software. This talk will give an overview of the binary modeling process, the inspection process, and some examples of security defects that can be detected with this technique.

Chris's bio: and-chief-technology-officer/,