Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
- 1 January 2006
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Using programmer-written compiler extensions to catch security holesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2005
- ARCHERR: Runtime Environment Driven Program SafetyLecture Notes in Computer Science, 2004
- A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and NarrowingsLecture Notes in Computer Science, 2004
- TimecodePublished by Elsevier ,2004
- Token-based scanning of source code for security problemsACM Transactions on Information and System Security, 2002
- A theory of type qualifiersPublished by Association for Computing Machinery (ACM) ,1999
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996