talcheck-looper(循环代码结构分析工具)
简介
talcheck-looper是建立在talcheck(编码规则检查工具)之上,用于研究在静态分析过程中循环代码结构处理方法的实验平台。通过应用自研的代码解析、控制流图生成、路径遍历等技术以及其它相关技术实现对循环代码的解析、分类、求解/仿真、处理、违规检查等全过程分析。能够方便、快速地将研制的循环处理方法嵌入到静态分析当中,清晰、全面地展示循环代码结构的相关数据,准确、完备地检查同循环代码机构相关的编码规则的违规。talcheck-looper是进行循环代码结构分析的实用且重要的辅助工具。
主要功能
1,循环代码结构相关编码规则检查
能够检查死循环、全局变量作为循环控制变量、使用浮点类型循环控制变量、永真
分支、永假分支等数十种同循环代码结构相关的编码规则。
2,循环信息提取及展示
应用代码解析技术、控制流分析、数据流分析、路径遍历、约束求解等相关技术,获取
并展示循环代码的相关信息。
(1)循环描述信息
从代码中提取并展示循环的起始行、终止行、入口条件、形式、类型、是否可求解等循环描述信息。
(2)循环出口信息
从代码中提取循环结构的出口集合,并寻找循环的实际出口。
(3)循环结果信息
对于可求解循环,求取相应的循环次数,并求取循环结束后各循环数据的终值。