Part 1: Software Security and Static Analysis, Dynamic Analysis, and Concolic Analysis Part 2: Pervasive Problems Part 3: Features and Flavors Part 4: