| 
|
Quote: use static, region analysis to prevent dereference of a non-live region; e.g., a block's local variables
topics >
all references >
references i-l >
Topic:
safe use of pointers
Topic:
memory management by regions or memory pool
Topic:
flavor analysis and typestates for supplementary type checking
Quotation Skeleton
Cyclone prevents the dereference of dangling pointers by … deallocated all at once. For example, Cyclone considers … deallocated on exit from the block. Cyclone's static … at any point in the program. Any dereference … We rely on programmer annotations to track regions … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: use annotations to track memory regions across function calls
Topic: safe use of pointers (102 items)
Topic: memory management by regions or memory pool (17 items)
Topic: flavor analysis and typestates for supplementary type checking (68 items)