A system and language for building system-specific, static analyses

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2002, Pages 69-82

  Hallem, Seth ^a   Chelf, Benjamin ^a   Xie, Yichen ^a   Engler, Dawson ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Error detection; Extensible compilation

Indexed keywords

ALGORITHMS; ERROR DETECTION; PROGRAM COMPILERS; RELIABILITY; SECURITY OF DATA; SOFTWARE ENGINEERING;

EXTENSIBLE COMPILATION;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0036039794     PISSN: None     EISSN: None     Source Type: Journal    
DOI: 10.1145/543552.512539     Document Type: Article

References (20)

1. Using programmer-written compiler extensions to catch security holes
2. Automatically validating temporal safety properties of interfaces
3. A static analyzer for finding dynamic programming errors
4. Path-sensitive program verification in polynomial time
5. Enforcing high-level protocols in low-level software
6. An overview of the extended static checking system
7. Variations on the common subexpression problem
8. Checking system rules using system-specific, programmer-written compiler extensions
9. Bugs as deviant behavior: A general approach to inferring errors in systems code
10. Lclint: A tool for using specifications to check code
11. Houdini, an annotation assistant for esc/java
12. Type-based race detection for Java
13. Flow-sensitive type qualifiers
14. Construction of abstract state graphs with PVS
15. A unified approach to global program optimization
16. Role analysis
17. Precise interprocedural dataflow analysis via graph reachability
18. End-to-end arguments in system design