Typestate Checking of Machine Code
- 23 March 2001
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 335-351
- https://doi.org/10.1007/3-540-45309-1_22
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Safety checking of machine codePublished by Association for Computing Machinery (ACM) ,2000
- Coping with Type Casts in CLecture Notes in Computer Science, 1999
- Type-Based Decompilation (or Program Reconstruction via Type Reconstruction)Lecture Notes in Computer Science, 1999
- Generalized Constant Propagation a study in CLecture Notes in Computer Science, 1996
- The Paradyn parallel performance measurement toolComputer, 1995
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Automatic discovery of linear restraints among variables of a programPublished by Association for Computing Machinery (ACM) ,1978
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Implementation of an array bound checkerPublished by Association for Computing Machinery (ACM) ,1977