Polymorphic versus Monomorphic Flow-Insensitive Points-To Analysis for C

This publication has 30 references indexed in Scilit:

• Solving systems of set constraints
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Unification-based pointer analysis with directional assignments
  Published by Association for Computing Machinery (ACM) ,2000
• Relevant context inference
  Published by Association for Computing Machinery (ACM) ,1999
• Detecting memory errors via static pointer analysis (preliminary experience)
  ACM SIGPLAN Notices, 1998
• A toolkit for constructing type- and constraint-based program analyses
  Published by Springer Nature ,1998
• Alias analysis of executable code
  Published by Association for Computing Machinery (ACM) ,1998
• Flow-insensitive interprocedural alias analysis in the presence of pointers
  Published by Springer Nature ,1995
• Interprocedural may-alias analysis for pointers
  Published by Association for Computing Machinery (ACM) ,1994
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  Published by Association for Computing Machinery (ACM) ,1994
• Type inclusion constraints and type inference
  Published by Association for Computing Machinery (ACM) ,1993