Static error detection using semantic inconsistency inference
- 10 June 2007
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 42 (6) , 435-445
- https://doi.org/10.1145/1250734.1250784
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- How is aliasing used in systems software?Published by Association for Computing Machinery (ACM) ,2006
- Evaluating and tuning a static analysis to find null pointer bugsPublished by Association for Computing Machinery (ACM) ,2005
- Interpolant-Based Transition Relation ApproximationPublished by Springer Nature ,2005
- A Type System Equivalent to a Model CheckerPublished by Springer Nature ,2005
- Checking Memory Safety with BlastPublished by Springer Nature ,2005
- Finding bugs is easyACM SIGPLAN Notices, 2004
- Declaring and checking non-null types in an object-oriented languagePublished by Association for Computing Machinery (ACM) ,2003
- Extended static checking for JavaPublished by Association for Computing Machinery (ACM) ,2002
- ESPPublished by Association for Computing Machinery (ACM) ,2002
- Bugs as deviant behaviorACM SIGOPS Operating Systems Review, 2001