TVLA: A System for Implementing Static Analyses
- 1 January 2000
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Putting static analysis to work for verificationPublished by Association for Computing Machinery (ACM) ,2000
- A Kleene Analysis of Mobile AmbientsLecture Notes in Computer Science, 2000
- Checking Cleanness in Linked ListsLecture Notes in Computer Science, 2000
- OPTIMIX – A TOOL FOR REWRITING AND OPTIMIZING PROGRAMSPublished by World Scientific Pub Co Pte Ltd ,1999
- Parametric shape analysis via 3-valued logicPublished by Association for Computing Machinery (ACM) ,1999
- Solving shape-analysis problems in languages with destructive updatingACM Transactions on Programming Languages and Systems, 1998
- Automatic verification of pointer programs using monadic second-order logicPublished by Association for Computing Machinery (ACM) ,1997
- Static detection of dynamic memory errorsPublished by Association for Computing Machinery (ACM) ,1996
- Generation of efficient interprocedural analyzers with PAGLecture Notes in Computer Science, 1995
- Symbolic Boolean manipulation with ordered binary-decision diagramsACM Computing Surveys, 1992