Next: Static Bug Detection.
Up: 6 Related Work
Previous: Taint Analysis.
The basic framework for type qualifiers, as presented in
Section 2, is due to Foster et al.  and
has been used to build Carillon, a tool for finding Y2K bugs in C
programs . As described in
Section 4, we developed several refinements to
make tainting analysis practical: improved handling of casts and
variable-argument functions; the notation for polymorphic type
signatures; and the improved user-interface. However, the one
feature present in previous tools that is missing from our system is
automated type inference of polymorphic types for all functions.
We are planning to incorporate polymorphic
recursion  in the future to remedy this.