| 
|
QuoteRef: evanD1_2002
topics >
all references >
ThesaHelp:
references e-f
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
preventing accidental errors
Topic:
type-safe and secure languages
Group:
security
Topic:
debugging by usage rules
Reference
Evans, D., Larochelle, D., "Improving security using extensible lightweight static analysis", IEEE Software, January/February 2002, pp. 42-51. Google
Notes
www.splint.org
44 ;;Quote: use annotations for static analysis of properties such as not-null or unique-reference
48 ;;Quote: fix security warnings or add annotations; run Splint until done
48 ;;Quote: annotations and static analysis identified format bugs, buffer overflow bugs, and unknown flaws in wu-ftpd
ThesaHelp: references e-f (168 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: preventing accidental errors (36 items)
Topic: type-safe and secure languages (42 items)
Group: security (23 topics, 802 quotes)
Topic: debugging by usage rules (40 items)