| 
|
QuoteRef: dorN6_2003
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
error safe systems
Topic:
preventing accidental errors
Topic:
type-safe and secure languages
Reference
Dor, N., Rodeh, M., Sagiv, M., "CSSV: towards a realistic tool for statically detecting all buffer overflows in C", Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI'03), San Diego, California USA, June 2003, ACM SIGPLAN, pp. 155-167. Google
155 ;;Quote: CSSV for static analysis of buffer overflows in C; optional contract per procedure reduces to integer expressions; handles heap allocation, multi-level arrays, function pointers, casting; faster than authors' previous algorithm
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: error safe systems (75 items)
Topic: preventing accidental errors (36 items)
Topic: type-safe and secure languages (42 items)