×

斯坦斯

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