没有合适的资源?快使用搜索试试~ 我知道了~
Cobra:交互式(快速)静态源代码分析器
共205个文件
cobra:111个
c:46个
h:9个
需积分: 10 0 下载量 76 浏览量
2021-05-18
01:45:16
上传
评论
收藏 5.29MB ZIP 举报
温馨提示
眼镜蛇 交互式静态源代码分析器 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
资源推荐
资源详情
资源评论
收起资源包目录
Cobra:交互式(快速)静态源代码分析器 (205个子文件)
cobra.1 18KB
cwe.1 6KB
cobra_lib.c 76KB
cobra_te.c 50KB
cobra_prep.c 36KB
find_taint.c 35KB
cobra_lex.c 22KB
cobra_prim.c 17KB
cobra_array.c 16KB
cobra_fcg.c 15KB
cobra_links.c 12KB
cwe_119.c 12KB
cwe_457.c 11KB
cwe_120.c 9KB
cwe_416.c 8KB
scope_check.c 8KB
taint_tables.c 8KB
cobra_heap.c 7KB
cwe_util.c 6KB
cwe_197.c 6KB
cobra_cfg.c 6KB
cwe_131.c 5KB
cwe_805.c 4KB
cwe_170.c 4KB
cobra_list.c 4KB
binop.c 3KB
cwe_134.c 3KB
cfg.c 3KB
cwe.c 3KB
cobra_sym.c 2KB
rule23_rule31.c 2KB
misra2004.c 2KB
cwe_468.c 1KB
find_stats.c 1KB
float.c 1KB
nomacros.c 1014B
lf.c 1002B
stmnt_per_line.c 941B
igrep.c 909B
fct_param_counts.c 760B
abstract.c 690B
deref.c 678B
ifelseif.c 666B
nr_cases.c 664B
switch_default.c 482B
flatten.c 433B
ident_length.c 231B
ident_check.c 228B
cobra 288KB
cobra 242KB
rats.cobra 93KB
cwe_457.cobra 8KB
parsing.cobra 6KB
cwe_416.cobra 6KB
taint_track.cobra 6KB
taint.cobra 6KB
jpl.cobra 4KB
cwe_197.cobra 4KB
patterns.cobra 4KB
cwe_119_2.cobra 4KB
binop.cobra 3KB
ident_length.cobra 3KB
cwe_120_3.cobra 3KB
cwe_131.cobra 3KB
cwe_697.cobra 3KB
cwe_119_1.cobra 3KB
dfs_uninit.cobra 3KB
iridex.cobra 2KB
cwe_119_3.cobra 2KB
array_params.cobra 2KB
for_patterns.cobra 2KB
cwe_120_1.cobra 2KB
cyclo.cobra 2KB
cwe_134.cobra 2KB
halstead.cobra 2KB
break_links.cobra 2KB
cwe_805.cobra 2KB
cwe_170.cobra 2KB
nr_cases.cobra 2KB
misra_subset.cobra 2KB
snprintf.cobra 1KB
fcts_cplusplus.cobra 1KB
fct_lengths.cobra 1KB
switch_links.cobra 1KB
cwe_120_2.cobra 1KB
goto_links.cobra 1KB
declarations.cobra 1KB
find_types.cobra 1KB
abstract_expr.cobra 1KB
basic.cobra 1KB
fct_per_file.cobra 1KB
list_test.cobra 1011B
reverse_null.cobra 1008B
fct_param_count.cobra 999B
data_types.cobra 859B
keywords.cobra 844B
open_close.cobra 836B
loop_entry.cobra 810B
extern.cobra 793B
cwe_468.cobra 782B
共 205 条
- 1
- 2
- 3
资源评论
cestZOE
- 粉丝: 26
- 资源: 4547
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
最新资源
- (源码)基于SpringCloud微服务的外卖订餐系统.zip
- matlab实现基于混沌理论的3D模型加密系统源码(下载即用)
- (源码)基于Arduino的Eunoorlock智能门锁系统.zip
- (源码)基于Python和MQTT的远程监控数据分布系统.zip
- (源码)基于物联网技术的智能农业管理系统SmartFarm.zip
- sadk-3.2.8.0
- (源码)基于WeMosD1mini的MQTT与OLED显示系统.zip
- (源码)基于SpringBoot框架的分布式应用系统.zip
- (源码)基于SpringBoot和SpringCloud的系统管理中心.zip
- (源码)基于Arduino和NBIoT的远程停电检测与警报系统.zip
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功