Cobra:交互式(快速)静态源代码分析器

时间:2021-05-18 01:45:16
【文件属性】:
文件名称:Cobra:交互式(快速)静态源代码分析器
文件大小:5.29MB
文件格式:ZIP
更新时间:2021-05-18 01:45:16
C 眼镜蛇 交互式静态源代码分析器 Cobra是一种快速的代码分析器,可用于交互式探查和查询多达数百万行的代码。 该工具的基本设计是与语言无关的,尽管已经开发了许多针对C或类似C语言的查询和规则库,并且这些库已包含在发行版中。 该工具的原始版本(1.0版)是由NASA / JPL开发的,并于2016年4月公开发布。当前版本(3.0)是该工具的显着扩展版本,并于2019年6月获得了相同的许可。 安装 选择一个目录来安装该工具,在此之下称为目录$ COBRA $ git clone 这将为您提供一个包含一组子目录的目录,如下所示: drwxrwxr-x 2 gh gh 4096 May 16 12:59 bin_linux#适用于Linux的可执行文件drwxrwxr-x 2 gh gh 4096 May 16 12:59 bin_cygwin#cygwin的可执行文件drwxrwxr-x

网友评论