斯坦斯 swMATH ID: 26812 软件作者: 简·奥布德日拉克、吉·斯拉布、马雷克·特里克 描述: STANSE:C程序的错误查找框架。STANSE是一个免费(根据GPLv2许可证提供)的模块化框架,用于使用静态分析查找C程序中的错误。它的两个主要设计目标是:1)能够处理大型软件项目,如Linux内核;2)能够通过新的错误查找技术以最小的工作量进行扩展。目前,STANSE中实现了四种错误查找算法:AutomatonChecker检查基于自动机的形式中描述的属性,ThreadChecker检测多个线程之间的死锁,LockChecker根据统计信息查找锁定错误,ReachabilityChecker查找无法访问的代码。STANSE已经在Linux内核上进行了测试,发现了几十个以前未发现的错误。 主页: 网址:http://stanse.fi.muni.cz/ 源代码: https://github.com/jirislaby/stanse 关键词: arXiv_cs。东南方;斯坦斯;模块化框架;查找bug;C程序;静态分析 相关软件: Klocwork公司;静态分析工具;声纳编码 引用于: 0个文档 标准条款 1出版物描述软件 年份 STANSE:C程序的错误查找框架arXiv公司简·奥布德日拉克、吉·斯拉布、马雷克·特里克 2012