| 
|
Quote: Cyclone is a safe dialect of C; avoids buffer overflows, format string attacks, and memory management errors; static analysis plus run-time checks and annotations
topics >
all references >
references i-l >
Topic:
error safe systems
Topic:
security leaks and weaknesses
Topic:
type-safe and secure languages
Group:
security
Topic:
preventing accidental errors
Topic:
dynamic type checking
Quotation Skeleton
Cyclone is a safe dialect of C. It … memory management errors that are common in C … and shows how Cyclone avoids them, without giving … [p. 276] The Cyclone compiler performs static analysis on … determine that an operation is safe. [Programmers may add annotations to assist this process.] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: error safe systems (76 items)
Topic: security leaks and weaknesses (67 items)
Topic: type-safe and secure languages (43 items)
Group: security (23 topics, 874 quotes)
Topic: preventing accidental errors (37 items)
Topic: dynamic type checking (43 items)