NESA 框架

NESA 是一个结合确定性信息与不确定性信息的程序分析框架。

NESA尝试将变量名信息、测试得到的信息，以及大模型反馈的信息等不确定性信息综合到确定性的程序分析方法当中，以此提高程序分析的精度。

我的工作主要包括扩展大语言模型对程序的理解作为不确定性证据，并评估其在数据竞争分析中的效果；通过对比硬证据与软证据，说明软证据的有效性。