next up previous
Next: 2.1 System Architecture Up: Detecting Format String Vulnerabilities Previous: 1.1 Type Systems for

2 Background

Our tool is built on top of cqual, a C implementation of an extensible type qualifier framework [19]. In this section we describe the underlying theory and design of cqual, which has broad applicability as an extension of the C type system.


Umesh Shankar 2001-05-16