Taming Win32 Threads with Static Analysis Slides (08161 yangjasonyue slides) 计

Taming Win32 Threads with Static AnalysisJason YangProgram Analysis Group Center for Software Excellence (CSE)Microsoft CorporationCSE Program Analysis Group• Technologies– PREfix, SAL, ESP, EspX, EspC, ...• Defect detection tools– Buffer overrun, Null deref, SQL injection, programmable specification checker, concurrency, ...http://www.microsoft.com/windows/cse/pa_home.mspxhttp://www.microsoft.com/windows/cse/pa_home.mspxThe Esp Analysis PlatformAnalysis Engine and Libraries (Path Refutation, Al