搜索结果: 1-3 共查到“Type qualifiers”相关记录3条 . 查询时间(0.093 秒)
Flow-Sensitive Type Qualifiers
Types type qualifiers alias analysis effect inference flowsensitivity
2016/5/24
We present a system for extending standard type systems with flow-sensitive type qualifiers. Users annotate their programs with type qualifiers, and inference checks that the annotations are correct. ...
Flow-Insensitive Type Qualifiers
Type qualifiers types security constraints const taint static analysis
2016/5/24
We describe flow-insensitive type qualifiers, a lightweight, practical mechanism for specifying and checking properties not captured by traditional type systems. We present a framework for adding new,...