Checkmarx 白盒代码审计解决方案,主要通过采用独特的词汇分析技术和CxQL专利查询技术对应用程序源码进行静态分析检查。
特点:
l 无需编译,可以直接上传源码zip包,CheckMarx直接扫描源码;
l 规则可定制,用户可以根据不同的语言类型自定义选择检查规则,针对性强;
l 静态分析,代码无需运行;
l 增量扫描,再次扫描,只分析新增代码及相关文件;
l 低耦合,易于集成到软件开发的任何阶段。
谁开发:以色列的一家高科技软件公司CheckMarx开发本软件CxSuite(其实就叫这个名字)。
服务器要求:window服务器,linux好像不行!
目的 |
代码行数 |
可用内存 |
核心 |
CPU速度 |
磁盘 |
操作系统 |
Web 服务器 |
其它软件 |
集中式(POC) |
150K |
1.5 GB |
2 |
2 Ghz |
5 GB |
Windows Windows Server |
(CxSuite可 |
Windows Installer .NET framework |
300K |
3 GB |
|||||||
集中式(产品) |
200K |
6 GB |
最少:3 |
最低:2 GHz 对于频繁扫描 |
250 GB |
Windows Server |
IIS 6/7/8 |
|
600K |
10 GB |
|||||||
1.2M |
16 GB |
最低:2.3 GHz |
||||||
2M |
24 GB |
|||||||
4M |
44 GB |
|||||||
CxEngine (产品)
对于多个CxEngine服务器 |
200K |
2 GB
|
最少:2 |
最低:2 GHz 对于频繁扫描 |
50 GB |
NA |
||
600K |
6 GB |
|||||||
1.2M |
12 GB |
最低:2.3 GHz |
||||||
2M |
20 GB |
|||||||
4.5M |
45 GB |
|||||||
CxManager (产品) |
|
Minimum: Recommended: |
2 |
最低:2 GHz |
250 GB |
IIS 6/7/8 |
||
数据库(产品) |
|
|
50 GB |
NA |
SQL Server |
目前感觉最佳的适用方法就是通过命令行+web页面查看结果的方式最为方便。
****再次省略了服务器的搭建和配置工作****
以下操作均为默认搭建好CheckMarx服务器,通过虚拟机远程访问CheckMark服务器进行代码静态检测的过程。
示例:
cd /home/testuser/CxConsolePlugin-7.5.0-20160719-1414/ time -p sh /home/testuser/CxConsolePlugin-7.5.0-20160719-1414/runCxConsole.sh scan -Projectname test_0110 -CxServer http://172.18.201.61 -cxuser admin@cx -cxpassword Admin@2017 -locationtype folder -locationpath /home/varas/Downloads/llvm/include/llvm/Transforms/ -preset Default -v -reportXML /home/varas/Downloads/test.xml |
红色部分依次为:
Projectname: 检测项目名称(任起);
locationpath:测试项目路径(路径为文件夹路径最后是 / );
preset:预先设置的测试规则,目前建议通过web页面操作设置,见图2;
-reportXML: 生成检测报告的路径;
以上部分需要根据情况修改。
图1命令行检测
图2设置检测规则
通过浏览器访问CheckMarx Web服务器,按照项目名称进行查看检测报告。:
Ø CheckMarx当前版本V8.4.1[SDLC]包含CPP_MISRA_C规则71条;
目前没有分辨出这是那个版本里的,但是这只有部分,并不全。
Ø 服务器配置为Microsoft Windows Server 2012 R2 Standard配置如下
Ø 需要对跨文件分析进一步补充。
文章浏览阅读2.5w次,点赞6次,收藏50次。官方解释是,docker 容器是机器上的沙盒进程,它与主机上的所有其他进程隔离。所以容器只是操作系统中被隔离开来的一个进程,所谓的容器化,其实也只是对操作系统进行欺骗的一种语法糖。_docker菜鸟教程
文章浏览阅读5.7k次,点赞3次,收藏14次。该如何避免的,今天小编给大家推荐两个下载Windows系统官方软件的资源网站,可以杜绝软件捆绑等行为。该站提供了丰富的Windows官方技术资源,比较重要的有MSDN技术资源文档库、官方工具和资源、应用程序、开发人员工具(Visual Studio 、SQLServer等等)、系统镜像、设计人员工具等。总的来说,这两个都是非常优秀的Windows系统镜像资源站,提供了丰富的Windows系统镜像资源,并且保证了资源的纯净和安全性,有需要的朋友可以去了解一下。这个非常实用的资源网站的创建者是国内的一个网友。_msdn我告诉你
文章浏览阅读1.2k次。vue2封装对话框el-dialog组件_
文章浏览阅读4.7k次,点赞5次,收藏6次。MFC 文本框换行 标签: it mfc 文本框1.将Multiline属性设置为True2.换行是使用"\r\n" (宽字符串为L"\r\n")3.如果需要编辑并且按Enter键换行,还要将 Want Return 设置为 True4.如果需要垂直滚动条的话将Vertical Scroll属性设置为True,需要水平滚动条的话将Horizontal Scroll属性设_c++ mfc同一框内输入二行怎么换行
文章浏览阅读832次。检查Linux是否是否开启所需端口,默认为6379,若未打开,将其开启:以root用户执行iptables -I INPUT -p tcp --dport 6379 -j ACCEPT如果还是未能解决,修改redis.conf,修改主机地址:bind 192.168.85.**;然后使用该配置文件,重新启动Redis服务./redis-server redis.conf..._redis-server doesn't support auth command or ismisconfigured. try
文章浏览阅读4.9k次。济大数电实验报告_数据选择器及其应用
文章浏览阅读236次。1研究内容消费在生产中占据十分重要的地位,是生产的最终目的和动力,是保持省内经济稳定快速发展的核心要素。预测河南省社会消费品零售总额,是进行宏观经济调控和消费体制改变创新的基础,是河南省内人民对美好的全面和谐社会的追求的要求,保持河南省经济稳定和可持续发展具有重要意义。本文建立灰色预测模型,利用MATLAB软件,预测出2019年~2023年河南省社会消费品零售总额预测值分别为21881...._灰色预测模型用什么软件
文章浏览阅读1.2k次。12.4-在Qt中使用Log4Qt输出Log文件,看这一篇就足够了一、为啥要使用第三方Log库,而不用平台自带的Log库二、Log4j系列库的功能介绍与基本概念三、Log4Qt库的基本介绍四、将Log4qt组装成为一个单独模块五、使用配置文件的方式配置Log4Qt六、使用代码的方式配置Log4Qt七、在Qt工程中引入Log4Qt库模块的方法八、获取示例中的源代码一、为啥要使用第三方Log库,而不用平台自带的Log库首先要说明的是,在平时开发和调试中开发平台自带的“打印输出”已经足够了。但_log4qt
文章浏览阅读786次。全局观思维模型,一个教我们由点到线,由线到面,再由面到体,不断的放大格局去思考问题的思维模型。_计算机中对于全局观的
文章浏览阅读330次。一、CountDownLatch介绍CountDownLatch采用减法计算;是一个同步辅助工具类和CyclicBarrier类功能类似,允许一个或多个线程等待,直到在其他线程中执行的一组操作完成。二、CountDownLatch俩种应用场景: 场景一:所有线程在等待开始信号(startSignal.await()),主流程发出开始信号通知,既执行startSignal.countDown()方法后;所有线程才开始执行;每个线程执行完发出做完信号,既执行do..._countdownluach于cyclicbarrier的用法
文章浏览阅读508次。Prometheus 算是一个全能型选手,原生支持容器监控,当然监控传统应用也不是吃干饭的,所以就是容器和非容器他都支持,所有的监控系统都具备这个流程,_-自动化监控系统prometheus&grafana实战
文章浏览阅读4.7k次。输入关键字,可以通过键盘的搜索按钮完成搜索功能。_react search