Effective typestate verification in the presence of aliasing
- Stephen Fink
- Eran Yahav
- et al.
- 2006
- ISSTA 2006
Publications
Date
Featured collections
Popular topics
4 results for Nurit Dor
Combined static and dynamic analysis for inferring program dependencies using a pattern language
- Inbal Ronen
- Nurit Dor
- et al.
- 2006
- CASCON 2006
CSSV: Towards a realistic tool for statically detecting all buffer overflows in C
- Nurit Dor
- Michael Rodeh
- et al.
- 2003
- PLDI 2003
Effective typestate verification in the presence of aliasing
- Stephen J. Fink
- Eran Yahav
- et al.
- 2008
- ACM TOSEM