文件下载

在这里，您可以查阅、下载由鉴释首席架构师、首席技术官及专业团队撰写的白皮书，内容涵盖了在代码分析中使用的关键概念和理论解释等。除此之外，您还可以下载到鉴释的创始人、技术专家出席行业会议或活动所发表的演讲原文。

2022-11-01

|

演讲

鉴释参加seL4 2022全球峰会演讲

详情

2021-11-24

|

网络研讨会

seL4基金会主席做客地平线：共同探讨车载OS开源操作系统生态建设

详情

2021-11-23

|

演讲

全球架构师峰会2021｜从工程师到架构师：高质量和安全代码的工程规范

详情

2021-09-16

|

演讲

下一代汽车操作系统微内核seL4：seL4基金会主席谈物理系统安全工程实践

详情

2021-07-30

|

网络研讨会

为什么在开发流程中应用静态代码分析工具？

详情

2021-06-25

|

网络研讨会

想弄明白应用安全？我们为你准备了5个锦囊

详情

2021-05-25

|

网络研讨会

如何将“第一性原则”应用到程序开发和源代码质量

详情

2021-04-21

|

演讲

鉴释 x RT-Thread 技术沙龙｜嵌入式代码的典型漏洞分析和识别

详情

2020-12-20

|

演讲

RT-Thread开发者大会演讲全文

详情