Static detection of pointer errors: An axiomatisation and a checking algorithm
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 125-140
- https://doi.org/10.1007/3-540-61055-3_33
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Context-sensitive interprocedural points-to analysis in the presence of function pointersACM SIGPLAN Notices, 1994
- Interprocedural may-alias analysis for pointersACM SIGPLAN Notices, 1994
- Extending typestate checking using conditional liveness analysisIEEE Transactions on Software Engineering, 1993
- Parallelizing programs with recursive data structuresIEEE Transactions on Parallel and Distributed Systems, 1990
- Calculating with pointersScience of Computer Programming, 1989
- Information-flow and data-flow analysis of while-programsACM Transactions on Programming Languages and Systems, 1985
- Assignment and Linked Data StructuresPublished by Springer Nature ,1982
- The logic of aliasingActa Informatica, 1981
- Verification of Array, Record, and Pointer Operations in PascalACM Transactions on Programming Languages and Systems, 1979
- Data Flow Analysis in Software ReliabilityACM Computing Surveys, 1976