Leading Scientist : Zhang Bing

Affiliation of Participant(s) : 304

Project Level : 厅局级

Type of Research Outcome : 基础研究

Sub-Class of Project : 省、市、自治区科技项目

Status : 进行

Type of Project : 基础研究

Nature of Project : 基于符号执行的软件源代码和二进制代码漏洞分析方法研究

Project Number : BJK2022029

Date of Project Approval : 2022-03-30

Expected Date of Project Completion : 2024-12-31