POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis
SAS '02 Proceedings of the 9th International Symposium on Static Analysis
| Hi-index | 0.00 |
We present a system for extending standard type systems with flow-sensitive type qualifiers, which are atomic properties that refine the standard types. In our approach, users annotate their programs with type qualifiers, and type qualifier inference checks that the annotations are correct. In our system only the type qualifiers are modeled flow-sensitively--the underlying standard types are unchanged. This allows us to obtain an efficient constraint-based inference algorithm that integrates flow-insensitive alias analysis, effect inference, and ideas from linear type systems to support strong updates. We demonstrate the usefulness of our approach by finding a number of new locking bugs in the Linux kernel.