Symbolic pointer analysis revisited

This publication has 28 references indexed in Scilit:

• Points-to analysis using BDDs
  Published by Association for Computing Machinery (ACM) ,2003
• A unified framework for the formal verification of sequential circuits
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Parametric shape analysis via 3-valued logic
  ACM Transactions on Programming Languages and Systems, 2002
• Which pointer analysis should I use?
  Published by Association for Computing Machinery (ACM) ,2000
• Off-line variable substitution for scaling points-to analysis
  ACM SIGPLAN Notices, 2000
• Interprocedural pointer alias analysis
  ACM Transactions on Programming Languages and Systems, 1999
• Partial online cycle elimination in inclusion constraint graphs
  ACM SIGPLAN Notices, 1998
• Context-sensitive interprocedural points-to analysis in the presence of function pointers
  Published by Association for Computing Machinery (ACM) ,1994
• Symbolic model checking for sequential circuit verification
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994
• Depth-First Search and Linear Graph Algorithms
  SIAM Journal on Computing, 1972