仓颉程序分析

在华为企业项目中，我参与构建了国产编程语言逻辑与概率结合的程序分析框架的开发。

我主要使用该框架实现了一个数据竞争分析，以此验证框架的有效性，工作内容包括从编译器中提取前端谓词、使用 Datalog 实现分析、在第三方库上面评估，以及将分析模块与周边组件集成。