We present an interprocedural flow-insensitive points-to analysis algorithm based on
monomorphic type inference. The source language model the important features of C …

The effectiveness of traditional type checking in C is limited by the presence of type
conversions using type casts. Because the C standard allows arbitrary type conversions …

This paper describes the design and implementation of a tool for C programs that provides
run-time checks based on type information. The tool instruments a program to monitor the …

Type partitioned dataflow analyses perform a dataflow analysis of a program by partitioning
the dataflow analysis into phases using types to help reduce costs attendant to the dataflow …

The use of type casts is pervasive in C. Although casts provide great flexibility in writing
programs, their use obscures the meaning of programs, and can present obstacles during …

We consider the problem of software generalization: Given a program component C, create
a parameterized program component C′ such that C′ is usable in a wider variety of …

57 ABSTRACT A terminating polymorphic type inference program analysis helps to better
optimize, understand, and/or browse com puter programs. The analysis represents …

5,689,665 11/1997 Mitsui et al......................... 345.34 affected by the identified store usages
as necessary so the 5,790,866 8/1998 Robison. Store usages are well-typed. When the …

We present a simple method for partitioning a dataflow analysis problem into a series of
related subproblems. We use type information (either declared by the programmer, or …

57 ABSTRACT A pointer analysis by type inference combined with a non-pointer analysis
helps approximate run-time Store usage for a computer program. The analysis initially …