| 
|
Quote: CCured identifies safe pointers, sequence pointers that require bounds check, and wild pointers that require a type checks
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
safe use of pointers
Quotation Skeleton
The main contribution of this article is the … pointer usage modes. In a typical C program, … call such pointers SAFE. … For other pointers, CCured discovers that they are … ("sequence") pointers. Finally, some pointers are involved in … For these WILD pointers, CCured adds both bounds … In general, the CCured type system is similar … [Cartwright and Fagan 1991; Wright and Cartwright 1997] Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)
Topic: safe use of pointers (102 items)