DOITAPP
DOIT数据智能产业媒体与服务平台
立即打开
DOITAPP
DOIT数据智能产业媒体与服务平台
立即打开

标签:陈新中

业界

代码质量与安全–架起程序语义和业务逻辑之间的桥梁

谢 世诚 发布于 2021-01-13

我在编译器技术领域深耕已有30多年之久,包括MIPS和Intel等公司。目前,我领导着鉴释科技静态应用程序安全测试(SAST)工具的核心开发工作。该工具能够分析处于静态状态的源代码,即在软件编译和运行之前检查软件是否存在错误。为了做到这一点,我们的工作已经超越了编程语言的语法范围...