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

Quotation Skeleton

This paper presents C String Static Verifier (CSSV … capable of analyzing realistic procedures and produces rather … therefore guarantees the absence of all errors at … a contract including (i) a precondition, (ii) a … (including pointers) and can also refer to properties, … Each procedure is analyzed separately. … [p. 156] The algorithm reduces the problem of checking … [p. 157] it handles the full spectrum of C … this algorithm is an order of magnitude better … [then the authors' previous algorithm].   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

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)