Next: Taint Flow Paths.
Up: 3 User Interface
Previous: 3.1 Program Analysis Mode
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.
3.2 Added Features