| 
|
Quote: CCured identifies forward sequence pointers and other pointer kinds
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
Our implementation of CCured uses a number of … for the common case in which pointer arithmetic … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: flavor analysis and typestates for supplementary type checking (68 items)