搜索结果: 1-1 共查到“人工智能 Type qualifiers”相关记录1条 . 查询时间(0.093 秒)
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,...