The top documents tagged [abstract interpretation]
Thesis presentation
122 views
Buffer Overflow Prone Function Detection
599 views
Technical Dictionary
377 views
Finding Defects in C#: Coverity vs. FxCop
2.081 views