Andy
产品线负责人
国投智能西安研究院 · 14年经验
日薪：
￥800/8h
地点：
西安
时间：
下班后周六周日可工作日远程
信用行为
0
接单数
0
评价数
0
收藏数
技术能力
一 、技术栈掌握
编程语言与全栈能力：精通C/C++ ，熟悉Web开发 、Python等语言 ，具备全栈开发能力。
嵌入式领域 ：深入掌握TI DSP6713 、DSP28335等板型 、Rt-Thread 、天脉等实时操作系统 ，熟练飞控系统开发及TI DSP芯片仿真系统搭建 ，涵盖CPU指令级仿真 、外设建模 、中断时序模拟与激励注入。
浏览器内核：精通WebKit/Chromium架构 ，熟悉DOM解析 、渲染流程及V8引擎优化。
安全技术：擅长AFL++ 、Syzkaller 、AFLNet等模糊测试引擎 ，具备嵌入式 、内核及应用层漏洞挖掘经验 ，熟悉CodeQL代码审计与覆盖率插桩 。精通PKI密码体系 、国密算法与密评流程 ，深入理解SSL协议 、零信任安全与数据安全架构。
大语言模型工程化 ：具备大语言模型在测试与代码分析场景下的工程化落地经验 ，掌握模型微调与推理优化 ，熟悉提示工程与检索增强生成 ，能根据任务场景选择基座模型并控制推理成本。
二 、产品设计与开发管理
十年以上跨领域产品设计 、研发及团队管理经验 ，主导多款高安全性产品全生命周期管理 ，覆盖嵌入式系统安全 、浏览器内核定制 、模糊测试体系搭建 、密码产品开发等核心领域 。擅长敏捷开发与IPD流程融合 ，优化资源分配与跨部门协作 。在
LLM产品落地方面 ，能将大语言模型从技术可能性转化为可交付的产品功能。
三 、售前解决方案与招投标
深度参与公安 、军工 、航天航空 、政务等高安全行业技术方案设计 ，提供定制化安全解决方案 。精通售前技术交流与招投标策略 ，主导编写技术方案与标书 ，成功交付中航631 、中航601 、东方证券、JKY等重点项目 。结合零信任 、数据安全等前沿技术设计可落地的安全架构 。在LLM项目中 ，能向客户说明模型能力边界与部署约束 ，帮助建立合理预期。
四 、售后交付与客户服务
全流程参与项目交付 ，协调研发 、测试 、实施团队确保按时验收 。提供客户培训与技术支撑 ，建立长期合作关系 ，推动产品迭代与二次销售。
五 、核心竞争力
技术融合能力 ：贯通底层技术攻关与顶层产品设计 ，平衡业务 、安全性与成本 。在LLM应用层面 ，具备从模型选型 、微调到推理部署与产品集成的全链路实践经验 ，能准确判断哪些问题适合大语言模型解决 、哪些应回归传统工程手段。
管理协同能力：统筹多团队协作 ，实现技术目标与商业目标对齐 ，在技术攻关与商业交付之间有效取舍 ，确保项目高效推进。
行业洞察力：精准把握嵌入式与高安全领域需求 ，将技术优势转化为市场优势 。熟悉军工 、航空航天 、金融等行业测试标准与采购模式 ，能将技术能力转化为可交付的解决方案。
编程语言与全栈能力：精通C/C++ ，熟悉Web开发 、Python等语言 ，具备全栈开发能力。
嵌入式领域 ：深入掌握TI DSP6713 、DSP28335等板型 、Rt-Thread 、天脉等实时操作系统 ，熟练飞控系统开发及TI DSP芯片仿真系统搭建 ，涵盖CPU指令级仿真 、外设建模 、中断时序模拟与激励注入。
浏览器内核：精通WebKit/Chromium架构 ，熟悉DOM解析 、渲染流程及V8引擎优化。
安全技术：擅长AFL++ 、Syzkaller 、AFLNet等模糊测试引擎 ，具备嵌入式 、内核及应用层漏洞挖掘经验 ，熟悉CodeQL代码审计与覆盖率插桩 。精通PKI密码体系 、国密算法与密评流程 ，深入理解SSL协议 、零信任安全与数据安全架构。
大语言模型工程化 ：具备大语言模型在测试与代码分析场景下的工程化落地经验 ，掌握模型微调与推理优化 ，熟悉提示工程与检索增强生成 ，能根据任务场景选择基座模型并控制推理成本。
二 、产品设计与开发管理
十年以上跨领域产品设计 、研发及团队管理经验 ，主导多款高安全性产品全生命周期管理 ，覆盖嵌入式系统安全 、浏览器内核定制 、模糊测试体系搭建 、密码产品开发等核心领域 。擅长敏捷开发与IPD流程融合 ，优化资源分配与跨部门协作 。在
LLM产品落地方面 ，能将大语言模型从技术可能性转化为可交付的产品功能。
三 、售前解决方案与招投标
深度参与公安 、军工 、航天航空 、政务等高安全行业技术方案设计 ，提供定制化安全解决方案 。精通售前技术交流与招投标策略 ，主导编写技术方案与标书 ，成功交付中航631 、中航601 、东方证券、JKY等重点项目 。结合零信任 、数据安全等前沿技术设计可落地的安全架构 。在LLM项目中 ，能向客户说明模型能力边界与部署约束 ，帮助建立合理预期。
四 、售后交付与客户服务
全流程参与项目交付 ，协调研发 、测试 、实施团队确保按时验收 。提供客户培训与技术支撑 ，建立长期合作关系 ，推动产品迭代与二次销售。
五 、核心竞争力
技术融合能力 ：贯通底层技术攻关与顶层产品设计 ，平衡业务 、安全性与成本 。在LLM应用层面 ，具备从模型选型 、微调到推理部署与产品集成的全链路实践经验 ，能准确判断哪些问题适合大语言模型解决 、哪些应回归传统工程手段。
管理协同能力：统筹多团队协作 ，实现技术目标与商业目标对齐 ，在技术攻关与商业交付之间有效取舍 ，确保项目高效推进。
行业洞察力：精准把握嵌入式与高安全领域需求 ，将技术优势转化为市场优势 。熟悉军工 、航空航天 、金融等行业测试标准与采购模式 ，能将技术能力转化为可交付的解决方案。
项目经验
一、嵌入式与系统类软件
·直放站管理软件及服务端
功能：上位机经 TCP/IP、USB、串口连接直放站设备，完成功率配置、协议在线更新与远程集中管理；服务端采集设备状态并下发远程升级。
技术：C/C++、多线程/多进程、网络编程、并发处理、MFC、自定义直放站通信协议。
·ipanel 智能电视中间件（嵌入式浏览器）
功能：机顶盒/智能电视的嵌入式浏览器中间件，处理页面请求、解析、音视频编解码、图像合成与显示，向电视厂商提供页面运行能力。
技术：C/C++、智能指针、多线程、消息循环、WebKit 内核、绘图与渲染、HTTPS。
·金石安全浏览器
功能：基于 Chromium 内核的跨平台安全浏览器，通信与本地用户数据经商用密码加密，提供算法自测试、程序完整性保护、插件管控与账户体系，支持多终端同步与隔离。
技术：C++、Chromium 内核、商用密码体系、GMSSL、PKI、Sqlite 加密、多进程/多线程、跨 CPU 架构适配、nginx、mysql。
二、网络安全与通信产品
·安全应用网关
功能：基于商用密码与自研 PCIe 卡的高性能反向代理网关，为 APP/Web 应用提供安全接入代理。
技术：nginx、商用密码体系、PKI、SM2/SM3/SM4、PCIe 卡、GMSSL、多进程/多线程。
·安通+ 加密即时通信
功能：基于商用密码的分布式加密 IM，含后台消息推送、存储与 Windows/Linux/Android 多端客户端。
技术：一致性哈希、RabbitMQ、MQTT、MySQL、Redis、分布式消息架构。
·云智会远程会议系统
功能：政企加密远程会议系统，管理端发起会议并以短信/邮件通知，会议文档全程商用密码加密，参会方于平板同步文档并圈批。
技术：MQTT 推送、PDF 圈批、nginx、mysql。
·零信任安全访问控制系统
功能：SDP 整体方案，含 SPA 单包认证、SDP 网关、API 网关、IAM 身份认证、动态访问控制、环境感知与微隔离，实现网络隐身与最小权限访问。
技术：SDP、端口敲门、零信任架构、IAM、微隔离、策略控制引擎。
·芯片管家/密盘/安全邮件等密码中间件
功能：密码生成/分发/存储中间件、加密磁盘与加密邮件等组件，构成商用密码应用基础件。
技术：商用密码体系、PKI、Sqlite 安全数据库。
三、测试与 AI 工具链
·嵌入式模糊测试产品线
功能：面向 DSP/ARM 等多板型的嵌入式模糊测试产品，提供全数字仿真、RTOS 源码级插桩与边/行/函数/分支覆盖率统计，支撑缺陷复现与漏洞定位。
技术：全数字仿真（CPU 指令级、外设建模、中断时序、激励注入）、AFL++/Syzkaller 类引擎、源码插桩、多节点分布式调度、天脉/RT-Thread/TTOS 适配。
·天脉3 系统内核技改测试鉴定环境
功能：搭建全数字仿真环境，构造内核接口级用例与异常激励，覆盖任务调度、中断、内存、同步通信等模块，输出鉴定报告并跟踪回归。
技术：全数字仿真、源码插桩、覆盖率统计、根因分析。
·飞控程序仿真测试平台
功能：构建多目标板仿真平台，梳理飞控软件全流程测试项，设计正常/边界/故障注入三类场景，量化测试充分性。
技术：CPU/外设/中断/激励仿真建模、源码级插桩、覆盖率统计、缺陷评审回归。
·国产操作系统内核与金融系统漏洞挖掘工具
功能：针对国产桌面 OS 内核与金融业务系统的动态模糊测试，配置变异策略与任务调度，开展长时间稳定性测试并评估充分性。
技术：动态模糊测试环境、变异策略、任务调度、覆盖率评估、告警分类复现。
·国产实时操作系统与灰盒模糊测试工具
功能：覆盖国产 RTOS 源码级与二进制无源码两类场景的灰盒模糊测试。
技术：源码级插桩、二进制灰盒插桩、异构架构适配。
·大模型×单元测试/模糊测试融合工具
功能：将大模型用例生成与传统模糊测试变异/执行/覆盖率反馈打通，以代码上下文与接口签名构造提示，生成语义合法输入并回灌变异引擎降低误报。
技术：大模型微调与推理、RAG、提示工程、编译校验与结果过滤、覆盖率反馈闭环。
·AI 代码质量与一致性检测平台
功能：覆盖代码需求理解、函数功能一致性验证、缺陷检测与补丁推荐的自动化平台，解决"逻辑跑通但不符合设计"的隐性问题。
技术：B/S 架构、规则引擎（GJB 8114/MISRA C）、静态分析（数据流/控制流）、大模型语义分析、RAG、CoT-JSON、波束搜索补丁生成、DevOps 集成、支持 C/C++/Java/Python。
·智能软件缺陷检测验证平台
功能：构建缺陷检测基准集与对比验证环境，量化检出率/误报率/覆盖率增益，明确大模型能力边界，支撑验收与产品化决策。
技术：Juliet/SARD 基准、插件化架构、提示工程与结果校验、传统静态分析/大模型/融合三模式对比。
·直放站管理软件及服务端
功能：上位机经 TCP/IP、USB、串口连接直放站设备，完成功率配置、协议在线更新与远程集中管理；服务端采集设备状态并下发远程升级。
技术：C/C++、多线程/多进程、网络编程、并发处理、MFC、自定义直放站通信协议。
·ipanel 智能电视中间件（嵌入式浏览器）
功能：机顶盒/智能电视的嵌入式浏览器中间件，处理页面请求、解析、音视频编解码、图像合成与显示，向电视厂商提供页面运行能力。
技术：C/C++、智能指针、多线程、消息循环、WebKit 内核、绘图与渲染、HTTPS。
·金石安全浏览器
功能：基于 Chromium 内核的跨平台安全浏览器，通信与本地用户数据经商用密码加密，提供算法自测试、程序完整性保护、插件管控与账户体系，支持多终端同步与隔离。
技术：C++、Chromium 内核、商用密码体系、GMSSL、PKI、Sqlite 加密、多进程/多线程、跨 CPU 架构适配、nginx、mysql。
二、网络安全与通信产品
·安全应用网关
功能：基于商用密码与自研 PCIe 卡的高性能反向代理网关，为 APP/Web 应用提供安全接入代理。
技术：nginx、商用密码体系、PKI、SM2/SM3/SM4、PCIe 卡、GMSSL、多进程/多线程。
·安通+ 加密即时通信
功能：基于商用密码的分布式加密 IM，含后台消息推送、存储与 Windows/Linux/Android 多端客户端。
技术：一致性哈希、RabbitMQ、MQTT、MySQL、Redis、分布式消息架构。
·云智会远程会议系统
功能：政企加密远程会议系统，管理端发起会议并以短信/邮件通知，会议文档全程商用密码加密，参会方于平板同步文档并圈批。
技术：MQTT 推送、PDF 圈批、nginx、mysql。
·零信任安全访问控制系统
功能：SDP 整体方案，含 SPA 单包认证、SDP 网关、API 网关、IAM 身份认证、动态访问控制、环境感知与微隔离，实现网络隐身与最小权限访问。
技术：SDP、端口敲门、零信任架构、IAM、微隔离、策略控制引擎。
·芯片管家/密盘/安全邮件等密码中间件
功能：密码生成/分发/存储中间件、加密磁盘与加密邮件等组件，构成商用密码应用基础件。
技术：商用密码体系、PKI、Sqlite 安全数据库。
三、测试与 AI 工具链
·嵌入式模糊测试产品线
功能：面向 DSP/ARM 等多板型的嵌入式模糊测试产品，提供全数字仿真、RTOS 源码级插桩与边/行/函数/分支覆盖率统计，支撑缺陷复现与漏洞定位。
技术：全数字仿真（CPU 指令级、外设建模、中断时序、激励注入）、AFL++/Syzkaller 类引擎、源码插桩、多节点分布式调度、天脉/RT-Thread/TTOS 适配。
·天脉3 系统内核技改测试鉴定环境
功能：搭建全数字仿真环境，构造内核接口级用例与异常激励，覆盖任务调度、中断、内存、同步通信等模块，输出鉴定报告并跟踪回归。
技术：全数字仿真、源码插桩、覆盖率统计、根因分析。
·飞控程序仿真测试平台
功能：构建多目标板仿真平台，梳理飞控软件全流程测试项，设计正常/边界/故障注入三类场景，量化测试充分性。
技术：CPU/外设/中断/激励仿真建模、源码级插桩、覆盖率统计、缺陷评审回归。
·国产操作系统内核与金融系统漏洞挖掘工具
功能：针对国产桌面 OS 内核与金融业务系统的动态模糊测试，配置变异策略与任务调度，开展长时间稳定性测试并评估充分性。
技术：动态模糊测试环境、变异策略、任务调度、覆盖率评估、告警分类复现。
·国产实时操作系统与灰盒模糊测试工具
功能：覆盖国产 RTOS 源码级与二进制无源码两类场景的灰盒模糊测试。
技术：源码级插桩、二进制灰盒插桩、异构架构适配。
·大模型×单元测试/模糊测试融合工具
功能：将大模型用例生成与传统模糊测试变异/执行/覆盖率反馈打通，以代码上下文与接口签名构造提示，生成语义合法输入并回灌变异引擎降低误报。
技术：大模型微调与推理、RAG、提示工程、编译校验与结果过滤、覆盖率反馈闭环。
·AI 代码质量与一致性检测平台
功能：覆盖代码需求理解、函数功能一致性验证、缺陷检测与补丁推荐的自动化平台，解决"逻辑跑通但不符合设计"的隐性问题。
技术：B/S 架构、规则引擎（GJB 8114/MISRA C）、静态分析（数据流/控制流）、大模型语义分析、RAG、CoT-JSON、波束搜索补丁生成、DevOps 集成、支持 C/C++/Java/Python。
·智能软件缺陷检测验证平台
功能：构建缺陷检测基准集与对比验证环境，量化检出率/误报率/覆盖率增益，明确大模型能力边界，支撑验收与产品化决策。
技术：Juliet/SARD 基准、插件化架构、提示工程与结果校验、传统静态分析/大模型/融合三模式对比。
ID:433364
复制
Andy
产品线负责人 · 14年经验 · 国投智能西安研究院
0
累计接单
0
用户评价
0
被收藏
信用行为
0
接单数
0
评价数
0
收藏数
技术能力
一 、技术栈掌握
编程语言与全栈能力：精通C/C++ ，熟悉Web开发 、Python等语言 ，具备全栈开发能力。
嵌入式领域 ：深入掌握TI DSP6713 、DSP28335等板型 、Rt-Thread 、天脉等实时操作系统 ，熟练飞控系统开发及TI DSP芯片仿真系统搭建 ，涵盖CPU指令级仿真 、外设建模 、中断时序模拟与激励注入。
浏览器内核：精通WebKit/Chromium架构 ，熟悉DOM解析 、渲染流程及V8引擎优化。
安全技术：擅长AFL++ 、Syzkaller 、AFLNet等模糊测试引擎 ，具备嵌入式 、内核及应用层漏洞挖掘经验 ，熟悉CodeQL代码审计与覆盖率插桩 。精通PKI密码体系 、国密算法与密评流程 ，深入理解SSL协议 、零信任安全与数据安全架构。
大语言模型工程化 ：具备大语言模型在测试与代码分析场景下的工程化落地经验 ，掌握模型微调与推理优化 ，熟悉提示工程与检索增强生成 ，能根据任务场景选择基座模型并控制推理成本。
二 、产品设计与开发管理
十年以上跨领域产品设计 、研发及团队管理经验 ，主导多款高安全性产品全生命周期管理 ，覆盖嵌入式系统安全 、浏览器内核定制 、模糊测试体系搭建 、密码产品开发等核心领域 。擅长敏捷开发与IPD流程融合 ，优化资源分配与跨部门协作 。在
LLM产品落地方面 ，能将大语言模型从技术可能性转化为可交付的产品功能。
三 、售前解决方案与招投标
深度参与公安 、军工 、航天航空 、政务等高安全行业技术方案设计 ，提供定制化安全解决方案 。精通售前技术交流与招投标策略 ，主导编写技术方案与标书 ，成功交付中航631 、中航601 、东方证券、JKY等重点项目 。结合零信任 、数据安全等前沿技术设计可落地的安全架构 。在LLM项目中 ，能向客户说明模型能力边界与部署约束 ，帮助建立合理预期。
四 、售后交付与客户服务
全流程参与项目交付 ，协调研发 、测试 、实施团队确保按时验收 。提供客户培训与技术支撑 ，建立长期合作关系 ，推动产品迭代与二次销售。
五 、核心竞争力
技术融合能力 ：贯通底层技术攻关与顶层产品设计 ，平衡业务 、安全性与成本 。在LLM应用层面 ，具备从模型选型 、微调到推理部署与产品集成的全链路实践经验 ，能准确判断哪些问题适合大语言模型解决 、哪些应回归传统工程手段。
管理协同能力：统筹多团队协作 ，实现技术目标与商业目标对齐 ，在技术攻关与商业交付之间有效取舍 ，确保项目高效推进。
行业洞察力：精准把握嵌入式与高安全领域需求 ，将技术优势转化为市场优势 。熟悉军工 、航空航天 、金融等行业测试标准与采购模式 ，能将技术能力转化为可交付的解决方案。
编程语言与全栈能力：精通C/C++ ，熟悉Web开发 、Python等语言 ，具备全栈开发能力。
嵌入式领域 ：深入掌握TI DSP6713 、DSP28335等板型 、Rt-Thread 、天脉等实时操作系统 ，熟练飞控系统开发及TI DSP芯片仿真系统搭建 ，涵盖CPU指令级仿真 、外设建模 、中断时序模拟与激励注入。
浏览器内核：精通WebKit/Chromium架构 ，熟悉DOM解析 、渲染流程及V8引擎优化。
安全技术：擅长AFL++ 、Syzkaller 、AFLNet等模糊测试引擎 ，具备嵌入式 、内核及应用层漏洞挖掘经验 ，熟悉CodeQL代码审计与覆盖率插桩 。精通PKI密码体系 、国密算法与密评流程 ，深入理解SSL协议 、零信任安全与数据安全架构。
大语言模型工程化 ：具备大语言模型在测试与代码分析场景下的工程化落地经验 ，掌握模型微调与推理优化 ，熟悉提示工程与检索增强生成 ，能根据任务场景选择基座模型并控制推理成本。
二 、产品设计与开发管理
十年以上跨领域产品设计 、研发及团队管理经验 ，主导多款高安全性产品全生命周期管理 ，覆盖嵌入式系统安全 、浏览器内核定制 、模糊测试体系搭建 、密码产品开发等核心领域 。擅长敏捷开发与IPD流程融合 ，优化资源分配与跨部门协作 。在
LLM产品落地方面 ，能将大语言模型从技术可能性转化为可交付的产品功能。
三 、售前解决方案与招投标
深度参与公安 、军工 、航天航空 、政务等高安全行业技术方案设计 ，提供定制化安全解决方案 。精通售前技术交流与招投标策略 ，主导编写技术方案与标书 ，成功交付中航631 、中航601 、东方证券、JKY等重点项目 。结合零信任 、数据安全等前沿技术设计可落地的安全架构 。在LLM项目中 ，能向客户说明模型能力边界与部署约束 ，帮助建立合理预期。
四 、售后交付与客户服务
全流程参与项目交付 ，协调研发 、测试 、实施团队确保按时验收 。提供客户培训与技术支撑 ，建立长期合作关系 ，推动产品迭代与二次销售。
五 、核心竞争力
技术融合能力 ：贯通底层技术攻关与顶层产品设计 ，平衡业务 、安全性与成本 。在LLM应用层面 ，具备从模型选型 、微调到推理部署与产品集成的全链路实践经验 ，能准确判断哪些问题适合大语言模型解决 、哪些应回归传统工程手段。
管理协同能力：统筹多团队协作 ，实现技术目标与商业目标对齐 ，在技术攻关与商业交付之间有效取舍 ，确保项目高效推进。
行业洞察力：精准把握嵌入式与高安全领域需求 ，将技术优势转化为市场优势 。熟悉军工 、航空航天 、金融等行业测试标准与采购模式 ，能将技术能力转化为可交付的解决方案。
项目经验
一、嵌入式与系统类软件
·直放站管理软件及服务端
功能：上位机经 TCP/IP、USB、串口连接直放站设备，完成功率配置、协议在线更新与远程集中管理；服务端采集设备状态并下发远程升级。
技术：C/C++、多线程/多进程、网络编程、并发处理、MFC、自定义直放站通信协议。
·ipanel 智能电视中间件（嵌入式浏览器）
功能：机顶盒/智能电视的嵌入式浏览器中间件，处理页面请求、解析、音视频编解码、图像合成与显示，向电视厂商提供页面运行能力。
技术：C/C++、智能指针、多线程、消息循环、WebKit 内核、绘图与渲染、HTTPS。
·金石安全浏览器
功能：基于 Chromium 内核的跨平台安全浏览器，通信与本地用户数据经商用密码加密，提供算法自测试、程序完整性保护、插件管控与账户体系，支持多终端同步与隔离。
技术：C++、Chromium 内核、商用密码体系、GMSSL、PKI、Sqlite 加密、多进程/多线程、跨 CPU 架构适配、nginx、mysql。
二、网络安全与通信产品
·安全应用网关
功能：基于商用密码与自研 PCIe 卡的高性能反向代理网关，为 APP/Web 应用提供安全接入代理。
技术：nginx、商用密码体系、PKI、SM2/SM3/SM4、PCIe 卡、GMSSL、多进程/多线程。
·安通+ 加密即时通信
功能：基于商用密码的分布式加密 IM，含后台消息推送、存储与 Windows/Linux/Android 多端客户端。
技术：一致性哈希、RabbitMQ、MQTT、MySQL、Redis、分布式消息架构。
·云智会远程会议系统
功能：政企加密远程会议系统，管理端发起会议并以短信/邮件通知，会议文档全程商用密码加密，参会方于平板同步文档并圈批。
技术：MQTT 推送、PDF 圈批、nginx、mysql。
·零信任安全访问控制系统
功能：SDP 整体方案，含 SPA 单包认证、SDP 网关、API 网关、IAM 身份认证、动态访问控制、环境感知与微隔离，实现网络隐身与最小权限访问。
技术：SDP、端口敲门、零信任架构、IAM、微隔离、策略控制引擎。
·芯片管家/密盘/安全邮件等密码中间件
功能：密码生成/分发/存储中间件、加密磁盘与加密邮件等组件，构成商用密码应用基础件。
技术：商用密码体系、PKI、Sqlite 安全数据库。
三、测试与 AI 工具链
·嵌入式模糊测试产品线
功能：面向 DSP/ARM 等多板型的嵌入式模糊测试产品，提供全数字仿真、RTOS 源码级插桩与边/行/函数/分支覆盖率统计，支撑缺陷复现与漏洞定位。
技术：全数字仿真（CPU 指令级、外设建模、中断时序、激励注入）、AFL++/Syzkaller 类引擎、源码插桩、多节点分布式调度、天脉/RT-Thread/TTOS 适配。
·天脉3 系统内核技改测试鉴定环境
功能：搭建全数字仿真环境，构造内核接口级用例与异常激励，覆盖任务调度、中断、内存、同步通信等模块，输出鉴定报告并跟踪回归。
技术：全数字仿真、源码插桩、覆盖率统计、根因分析。
·飞控程序仿真测试平台
功能：构建多目标板仿真平台，梳理飞控软件全流程测试项，设计正常/边界/故障注入三类场景，量化测试充分性。
技术：CPU/外设/中断/激励仿真建模、源码级插桩、覆盖率统计、缺陷评审回归。
·国产操作系统内核与金融系统漏洞挖掘工具
功能：针对国产桌面 OS 内核与金融业务系统的动态模糊测试，配置变异策略与任务调度，开展长时间稳定性测试并评估充分性。
技术：动态模糊测试环境、变异策略、任务调度、覆盖率评估、告警分类复现。
·国产实时操作系统与灰盒模糊测试工具
功能：覆盖国产 RTOS 源码级与二进制无源码两类场景的灰盒模糊测试。
技术：源码级插桩、二进制灰盒插桩、异构架构适配。
·大模型×单元测试/模糊测试融合工具
功能：将大模型用例生成与传统模糊测试变异/执行/覆盖率反馈打通，以代码上下文与接口签名构造提示，生成语义合法输入并回灌变异引擎降低误报。
技术：大模型微调与推理、RAG、提示工程、编译校验与结果过滤、覆盖率反馈闭环。
·AI 代码质量与一致性检测平台
功能：覆盖代码需求理解、函数功能一致性验证、缺陷检测与补丁推荐的自动化平台，解决"逻辑跑通但不符合设计"的隐性问题。
技术：B/S 架构、规则引擎（GJB 8114/MISRA C）、静态分析（数据流/控制流）、大模型语义分析、RAG、CoT-JSON、波束搜索补丁生成、DevOps 集成、支持 C/C++/Java/Python。
·智能软件缺陷检测验证平台
功能：构建缺陷检测基准集与对比验证环境，量化检出率/误报率/覆盖率增益，明确大模型能力边界，支撑验收与产品化决策。
技术：Juliet/SARD 基准、插件化架构、提示工程与结果校验、传统静态分析/大模型/融合三模式对比。
·直放站管理软件及服务端
功能：上位机经 TCP/IP、USB、串口连接直放站设备，完成功率配置、协议在线更新与远程集中管理；服务端采集设备状态并下发远程升级。
技术：C/C++、多线程/多进程、网络编程、并发处理、MFC、自定义直放站通信协议。
·ipanel 智能电视中间件（嵌入式浏览器）
功能：机顶盒/智能电视的嵌入式浏览器中间件，处理页面请求、解析、音视频编解码、图像合成与显示，向电视厂商提供页面运行能力。
技术：C/C++、智能指针、多线程、消息循环、WebKit 内核、绘图与渲染、HTTPS。
·金石安全浏览器
功能：基于 Chromium 内核的跨平台安全浏览器，通信与本地用户数据经商用密码加密，提供算法自测试、程序完整性保护、插件管控与账户体系，支持多终端同步与隔离。
技术：C++、Chromium 内核、商用密码体系、GMSSL、PKI、Sqlite 加密、多进程/多线程、跨 CPU 架构适配、nginx、mysql。
二、网络安全与通信产品
·安全应用网关
功能：基于商用密码与自研 PCIe 卡的高性能反向代理网关，为 APP/Web 应用提供安全接入代理。
技术：nginx、商用密码体系、PKI、SM2/SM3/SM4、PCIe 卡、GMSSL、多进程/多线程。
·安通+ 加密即时通信
功能：基于商用密码的分布式加密 IM，含后台消息推送、存储与 Windows/Linux/Android 多端客户端。
技术：一致性哈希、RabbitMQ、MQTT、MySQL、Redis、分布式消息架构。
·云智会远程会议系统
功能：政企加密远程会议系统，管理端发起会议并以短信/邮件通知，会议文档全程商用密码加密，参会方于平板同步文档并圈批。
技术：MQTT 推送、PDF 圈批、nginx、mysql。
·零信任安全访问控制系统
功能：SDP 整体方案，含 SPA 单包认证、SDP 网关、API 网关、IAM 身份认证、动态访问控制、环境感知与微隔离，实现网络隐身与最小权限访问。
技术：SDP、端口敲门、零信任架构、IAM、微隔离、策略控制引擎。
·芯片管家/密盘/安全邮件等密码中间件
功能：密码生成/分发/存储中间件、加密磁盘与加密邮件等组件，构成商用密码应用基础件。
技术：商用密码体系、PKI、Sqlite 安全数据库。
三、测试与 AI 工具链
·嵌入式模糊测试产品线
功能：面向 DSP/ARM 等多板型的嵌入式模糊测试产品，提供全数字仿真、RTOS 源码级插桩与边/行/函数/分支覆盖率统计，支撑缺陷复现与漏洞定位。
技术：全数字仿真（CPU 指令级、外设建模、中断时序、激励注入）、AFL++/Syzkaller 类引擎、源码插桩、多节点分布式调度、天脉/RT-Thread/TTOS 适配。
·天脉3 系统内核技改测试鉴定环境
功能：搭建全数字仿真环境，构造内核接口级用例与异常激励，覆盖任务调度、中断、内存、同步通信等模块，输出鉴定报告并跟踪回归。
技术：全数字仿真、源码插桩、覆盖率统计、根因分析。
·飞控程序仿真测试平台
功能：构建多目标板仿真平台，梳理飞控软件全流程测试项，设计正常/边界/故障注入三类场景，量化测试充分性。
技术：CPU/外设/中断/激励仿真建模、源码级插桩、覆盖率统计、缺陷评审回归。
·国产操作系统内核与金融系统漏洞挖掘工具
功能：针对国产桌面 OS 内核与金融业务系统的动态模糊测试，配置变异策略与任务调度，开展长时间稳定性测试并评估充分性。
技术：动态模糊测试环境、变异策略、任务调度、覆盖率评估、告警分类复现。
·国产实时操作系统与灰盒模糊测试工具
功能：覆盖国产 RTOS 源码级与二进制无源码两类场景的灰盒模糊测试。
技术：源码级插桩、二进制灰盒插桩、异构架构适配。
·大模型×单元测试/模糊测试融合工具
功能：将大模型用例生成与传统模糊测试变异/执行/覆盖率反馈打通，以代码上下文与接口签名构造提示，生成语义合法输入并回灌变异引擎降低误报。
技术：大模型微调与推理、RAG、提示工程、编译校验与结果过滤、覆盖率反馈闭环。
·AI 代码质量与一致性检测平台
功能：覆盖代码需求理解、函数功能一致性验证、缺陷检测与补丁推荐的自动化平台，解决"逻辑跑通但不符合设计"的隐性问题。
技术：B/S 架构、规则引擎（GJB 8114/MISRA C）、静态分析（数据流/控制流）、大模型语义分析、RAG、CoT-JSON、波束搜索补丁生成、DevOps 集成、支持 C/C++/Java/Python。
·智能软件缺陷检测验证平台
功能：构建缺陷检测基准集与对比验证环境，量化检出率/误报率/覆盖率增益，明确大模型能力边界，支撑验收与产品化决策。
技术：Juliet/SARD 基准、插件化架构、提示工程与结果校验、传统静态分析/大模型/融合三模式对比。
立即沟通
