Jianyuan Lab
本期将以VS Code的C语言插件为例，完整走过编辑器语言插件→LSP协议→插件架构→诊断与提示实现→TextMate高亮的全链路，并提炼出四条最有工程价值的经验：架构先行、内核为...
2026-09-24
本报告将深度探讨静态分析、动态测量及混合分析三大技术路线，并重点剖析基于符号执行与硬件在环测量的工业级混合分析方案，分析其优势、挑战及市面工具的对比
2026-08-18
数据是驱动智能网联汽车产业迭代的核心命脉，贯穿车辆行驶、用户使用、产业研发、国家治理全链条，数据安全决定智能化发展成败
2026-07-28
理解 Spin，不只是认识一个工具，更是理解一种思维方式
2026-06-25
相较于传统测试工具，TestGrid 不只是测试，更是在“自动理解代码行为”，是真正让符号执行走出实验室、走向生产的一步
2026-05-20
本文将系统剖析汽车数字钥匙面临的安全风险，结合实际渗透测试案例与行业标准动态，帮助读者建立对这一新兴安全领域的全面认知
2026-04-28
本文将深入探讨SmartRocket Modeler的核心功能之一——图形化建模
2026-04-08
深度剖析嵌入式软件安全的第一道防线——堆栈分析
2026-03-04
面向网联汽车的对外通信安全测试，正在从“单一接口或单一协议的检测”逐步走向“多通信机制协同验证”的阶段
2026-01-23
面对SDK泛滥带来的安全挑战，唯有通过开发者、厂商、研究社区与监管机构的协同努力，建立更严格的审核机制，推行隐私优先的设计理念，强化动态的监测响应能力，才能共同构筑一个既充满创新活...
2026-01-23
SmartRocket Modeler基于严谨的理论和工程实践，为高可信嵌入式软件的开发提供了从建模、验证到代码生成的全流程支持
2026-01-23
集成测试，正是我们构建高质量、高可靠性软件系统中那道承上启下、不可或缺的防火墙
2026-01-23
