TVLA: A System for Implementing Static Analyses

This publication has 11 references indexed in Scilit:

• Putting static analysis to work for verification
  Published by Association for Computing Machinery (ACM) ,2000
• A Kleene Analysis of Mobile Ambients
  Published by Springer Nature ,2000
• Checking Cleanness in Linked Lists
  Published by Springer Nature ,2000
• OPTIMIX – A TOOL FOR REWRITING AND OPTIMIZING PROGRAMS
  Published by World Scientific Pub Co Pte Ltd ,1999
• Parametric shape analysis via 3-valued logic
  Published by Association for Computing Machinery (ACM) ,1999
• Solving shape-analysis problems in languages with destructive updating
  ACM Transactions on Programming Languages and Systems, 1998
• Automatic verification of pointer programs using monadic second-order logic
  Published by Association for Computing Machinery (ACM) ,1997
• Static detection of dynamic memory errors
  Published by Association for Computing Machinery (ACM) ,1996
• Generation of efficient interprocedural analyzers with PAG
  Published by Springer Nature ,1995
• Symbolic Boolean manipulation with ordered binary-decision diagrams
  ACM Computing Surveys, 1992