| 
|
Quote: use 'confine' and 'restrict' to track lock state; removed spurious type errors in 138 of 152 device driver modules
topics >
all references >
references a-b >
Topic:
flavor analysis and typestates for supplementary type checking
Topic:
safe use of pointers
Topic:
device driver
Topic:
updating information with locking
Quotation Skeleton
By tracking the state (held or not held) … a single thread. These particular programming errors are … [ref] … [p. 138] We analyzed 589 whole device driver modules … . in the 138 of 152 modules where … [CQUAL] removes all spurious type errors due to lack of strong … 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)
Topic: device driver (15 items)
Topic: updating information with locking (20 items)