static-analysis icon indicating copy to clipboard operation
static-analysis copied to clipboard
verified publisher icon JacyCui

10 基于 Datalog 的程序分析 | 静态分析

Open JacyCui opened this issue 2 years ago • 1 comments

https://static-analysis.cuijiacai.com/10-datalog/?

基于南京大学软件分析课程的静态分析基础教程

JacyCui avatar May 06 '23 09:05 JacyCui

datalog可以做的不只指针分析 可以了解一下CODEQL 另外就我用doop的经验 我非常怀疑datalog是不是一条正确的道路——datalog求解器的算法突破没有希望，soufflé也几乎是最佳实现，但是仍然严重缺乏可拓展性，此时datalog表达能力还很弱

Price1999a avatar Jun 30 '23 15:06 Price1999a