Model Checking x86 Executables with CodeSurfer/x86 and WPDS++
Open Access
- 1 January 2005
- book chapter
- Published by Springer Nature
- p. 158-163
- https://doi.org/10.1007/11513988_17
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Weighted pushdown systems and their application to interprocedural dataflow analysisScience of Computer Programming, 2005
- Extended Weighted Pushdown SystemsPublished by Springer Nature ,2005
- Analysis of Modular ArithmeticPublished by Springer Nature ,2005
- Directed Error Detection in C++ with the Assembly-Level Model Checker StEAMPublished by Springer Nature ,2004
- Analyzing Memory Accesses in x86 ExecutablesPublished by Springer Nature ,2004
- CMCPublished by Association for Computing Machinery (ACM) ,2002
- Patterns in property specifications for finite-state verificationPublished by Association for Computing Machinery (ACM) ,1999
- Precise interprocedural dataflow analysis with applications to constant propagationTheoretical Computer Science, 1996