访问冲突检测

检测项目

1.空指针解引用：监测0x00000000-0x0000FFFF地址段的非法访问
2.缓冲区溢出：检测数组偏移量超过1024字节的越界操作
3.内存双释放：记录同一内存块重复释放次数≥2的异常事件
4.堆栈帧破坏：识别函数返回地址偏移量＞8字节的异常
5.权限越级访问：监控Ring3用户态程序对Ring0内核地址的访问

检测范围

1.汽车电子控制单元(ECU)的实时操作系统
2.工业PLC控制系统的梯形图程序
3.医疗设备嵌入式软件的动态内存分配模块
4.金融交易系统的并发内存访问机制
5.航空航天飞控软件的堆栈保护单元

检测方法

ASTMF2927-2021《嵌入式系统内存访问验证规程》
ISO26262-2018道路车辆功能安全第6部分第9章
GB/T25000.51-2016系统与软件质量要求第5.2.3条款
IEC61508-2010功能安全标准第7部分附录B
MISRAC:2012准则第18章指针使用规范

检测设备

1.ValgrindMemCheckv3.20：动态内存追踪分析仪
2.CoverityStaticAnalysis2023.06：静态代码缺陷扫描仪
3.LauterbachTRACE32ICD：实时指令流追踪器
4.PerforceHelixQAC2024：代码合规性验证平台
5.WindRiverWorkbench4.3：嵌入式系统调试套件
6.VectorCAST/C++10.4：运行时错误注入测试仪
7.LDRATestbed9.6.2：代码覆盖率分析系统
8.GreenHillsMULTIIDE8.1：内存保护单元(MPU)仿真器

北京中科光析科学技术研究所【简称：中析研究所】

报告：可出具第三方检测报告(电子版/纸质版)。

检测周期：7~15工作日，可加急。

资质：旗下实验室可出具CMA/CNAS资质报告。

标准测试：严格按国标/行标/企标/国际标准检测。

非标测试：支持定制化试验方案。

售后：报告终身可查，工程师1v1服务。

注意:因业务调整,暂不接受个人委托测试,望谅解(高校、研究所等性质的个人除外).

CMA/CNAS等证书详情，因时间等不可抗拒因素会发生变更，请咨询在线工程师.