Map
Index
Random
Help
th

QuoteRef: dorN6_2003

topics > all references > ThesaHelp: references c-d



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

Quotations
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


Related Topics up

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)

Collected barberCB 7/03
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.