Keyword: system-specific static analysis : Search

More Web Proxy on the site http://driver.im/

Applied Filters

People

Publications

Publication Date

1 Results for: Keyword: system-specific static analysisEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,801,983 records)|Limit your search to The ACM Full-Text Collection (771,612 records)

Showing 1 - 1of1 Results

Select All

Export Citations Save to Binder

per page:

Recency

Article
May 2002
Using Programmer-Written Compiler Extensions to Catch Security Holes
- Ken Ashcraft,
- Dawson Engler
SP '02: Proceedings of the 2002 IEEE Symposium on Security and PrivacyPage 143

This paper shows how system-specific static analysis can find securityerrors that violate rules such as ``integers from untrusted sourcesmust be sanitized before use'' and ``do not dereference user-suppliedpointers.''In our approach, programmers write ...
84
Metrics
Total Citations84