Visualizing type qualifier inference with eclipse

eclipse 2004 - Proceedings of the 2004 OOPSLA Workshop on Eclipse Technology eXchange

Volumn , Issue , 2004, Pages 57-61

  Greenfieldboyce, David ^a   Foster, Jeffrey S ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PLUG-INS; PROGRAM PROPERTIES; PROGRAMMING ERRORS; TYPE QUALIFIERS;

EID: 77950586283     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1066129.1066141     Document Type: Conference Paper

References (9)

1. P. Broadwell, M. Harren, and N. Sastry. Scrash: A System for Generating Secure Crash Information. In Usenix Security 2003, Washington, DC, Aug. 2003.
2. J. S. Foster. Type Qualifiers: Lightweight Specifications to Improve Software Quality. PhD thesis, University of California, Berkeley, Dec. 2002.
3. J. S. Foster, M. Fähndrich, and A. Aiken. A Theory of Type Qualifiers. In PLDI'99, pages 192-203, Atlanta, Georgia, May 1999.
4. J. S. Foster, T. Terauchi, and A. Aiken. Flow- Sensitive Type Qualifiers. In PLDI'02, pages 1-12, Berlin, Germany, June 2002.
5. C. Harrelson. Program Analysis Mode, 2001. http://www.cs.berkeley.edu/.chrishtr/pam.
6. R. Johnson and D. Wagner. Finding User/Kernel Pointer Bugs with Type Inference. In Usenix Security 2004, San Diego, CA, Aug. 2004.
7. J. Rehof and M. Fähndrich. Type-Based Flow Analysis: From Polymorphic Subtyping to CFLReachability. In POPL'01, pages 54.66, London, United Kingdom, Jan. 2001.
8. U. Shankar, K. Talwar, J. S. Foster, and D. Wagner. Detecting Format String Vulnerabilities with Type Qualifiers. In Usenix Security 2001, Washington, D.C., Aug. 2001.
9. X. Zhang, A. Edwards, and T. Jaeger. Using CQUAL for Static Analysis of Authorization Hook Placement. In Usenix Security 2002, San Francisco, CA, Aug. 2002.