talcheck-looper（循环代码结构分析工具）

简介

        talcheck-looper是建立在talcheck（编码规则检查工具）之上，用于研究在静态分析过程中循环代码结构处理方法的实验平台。通过应用自研的代码解析、控制流图生成、路径遍历等技术以及其它相关技术实现对循环代码的解析、分类、求解/仿真、处理、违规检查等全过程分析。能够方便、快速地将研制的循环处理方法嵌入到静态分析当中，清晰、全面地展示循环代码结构的相关数据，准确、完备地检查同循环代码机构相关的编码规则的违规。talcheck-looper是进行循环代码结构分析的实用且重要的辅助工具。

主要功能

      1,循环代码结构相关编码规则检查

        能够检查死循环、全局变量作为循环控制变量、使用浮点类型循环控制变量、永真

分支、永假分支等数十种同循环代码结构相关的编码规则。

      2,循环信息提取及展示

        应用代码解析技术、控制流分析、数据流分析、路径遍历、约束求解等相关技术，获取

并展示循环代码的相关信息。

        (1)循环描述信息

        从代码中提取并展示循环的起始行、终止行、入口条件、形式、类型、是否可求解等循环描述信息。

        (2)循环出口信息

        从代码中提取循环结构的出口集合，并寻找循环的实际出口。

        (3)循环结果信息

        对于可求解循环，求取相应的循环次数，并求取循环结束后各循环数据的终值。

最新版版本号：talcheck-looperV1.0