使用 Polyspace Bug Finder 实施 DISA STIG 规则:Polyspace Bug Finder 可以帮助自动实施 STIG 规则-matlab开发

时间:2024-06-18 07:24:04
【文件属性】:

文件名称:使用 Polyspace Bug Finder 实施 DISA STIG 规则:Polyspace Bug Finder 可以帮助自动实施 STIG 规则-matlab开发

文件大小:1010KB

文件格式:ZIP

更新时间:2024-06-18 07:24:04

matlab

国防信息系统局 (DISA) 制定了许多规则来增强 DoD IA 和支持 IA 的设备/系统的安全性。 这些规则以 DISA 安全技术实施指南 (STIG) 的形式出现。 STIG 包含“锁定”可能容易受到恶意计算机攻击的信息系统/软件的技术指导。 Polyspace Bug Finder 是一种静态分析工具,可以帮助自动执行 STIG。 它检测代码中的多种安全漏洞,例如不安全的加密功能,意外的特权提升,污染的数据和其他安全问题。 使用 Bug Finder 检查器,您可以自动检查是否违反了许多 STIG 规则。 随附的文档和电子表格包含来自 DISA STIG 规则的映射以及在 Polyspace Bug Finder 中使用此映射的方法。 它还包含一个审查范围来过滤结果,允许只显示那些符合 DISA STIG 规则的结果。


【文件预览】:
DISA_STIG_Rules_mapped_to_Polyspace_Bug_Finder_Results.zip
DISA_STIG_Rules_Polyspace_ver1.1.zip

网友评论