next up previous
Next: Taint Flow Paths. Up: 3 User Interface Previous: 3.1 Program Analysis Mode

3.2 Added Features

Beyond the basic coloring of qualifiers, we designed several extensions to make it easy to find and fix potential format string bugs. Many of these features are applicable to other kinds of qualifiers, and perhaps to other kinds of type inference systems as well.


Umesh Shankar 2001-05-16