查看会员资料
用 户 名：保***
发送消息- Email：用户隐藏
- Icq/MSN：
- 电话号码：
- Homepage：
- 会员简介：
最新会员发布资源
cqual-0.991.tar
- 一个很好的程序分析工具，支持刘敏感分析。采用类型推断和约束求解的方法，代表了一种程序分析的流派。在PLDI上发表过文章！ -Cqual is a type-based analysis tool that provides a lightweight, practical mechanism for specifying and checking properties of C programs. Cqual extends the type system of C with extra use