Slide 11 A Plethora of Paths Eric Larson May 18, 2009 Seattle University Slide 2 2 Paths Paths are commonly used in static analysis techniques. Symbolic path simulation:…