【文件属性】:
文件名称: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