A Scalable Nonuniform Pointer Analysis for Embedded Programs
- 1 January 2004
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded SoftwarePublished by Springer Nature ,2002
- Nonuniform Alias Analysis of Recursive Data Structures and ArraysPublished by Springer Nature ,2002
- An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed LanguagesPublished by Springer Nature ,2002
- Unification-based pointer analysis with directional assignmentsACM SIGPLAN Notices, 2000
- Automatic analysis of pointer aliasing for untyped programsScience of Computer Programming, 1999
- Partial online cycle elimination in inclusion constraint graphsACM SIGPLAN Notices, 1998
- Points-to analysis by type inference of programs with structures and unionsPublished by Springer Nature ,1996
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Static determination of dynamic properties of generalized type unionsACM SIGOPS Operating Systems Review, 1977
- Affine relationships among variables of a programActa Informatica, 1976