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