'Check 2 fceds' presentation slideshows

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions

Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions. SAS 2004 Sumit Gulwani George Necula EECS Department University of California, Berkeley. Example. All 3 asserts are true. False. True. a=2?. y := a; z := 2;. y := 2; z := a;. True. False. a=2?.

262 views • 25 slides