CDN加速镜像 | 设为首页 | 加入收藏夹
当前位置: 首页 资源下载 源码下载 搜索资源 - linux cqual

搜索资源列表

  1. cqual-0.991.tar

    0下载:
  2. 一个很好的程序分析工具,支持刘敏感分析。采用类型推断和约束求解的方法,代表了一种程序分析的流派。在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
  3. 所属分类:Linux-Unix program

    • 发布日期:2017-05-03
    • 文件大小:1.14mb
    • 提供者:保密
搜珍网 www.dssz.com