Searching for "Flow-insensitive type qualifiers." – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Type Qualifiers: Lightweight Specifications to Improve Software Quality
- … Type Qualifier Checking . . . . . . . . . . . . . . . . . . . 25 3.4 Flow-Insensitive Type Qualifier…
- Cited by 17 (3 self) – Add To MetaCart
-
Securing web application code by static analysis and runtime protection
- …] extended their original, flow-insensitive type qualifier system for C with flow-sensitive type qualifiers…
- Cited by 69 (2 self) – Add To MetaCart
-
Verifying Security Properties using Type-Qualifier Inference
- … Related Work 82 6.1 Flow-Insensitive Type Qualifiers . . . . . . . . . . . . . . . . . . . . . . . . 82 6…
- Cited by 1 (0 self) – Add To MetaCart
-
Practical API Protocol Checking with Access Permissions
- … are reminiscent of (flow-insensitive) type qualifiers [19]. For example, result sets can be marked as updatable…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 4.
