Shen Tianqi

icon company Nanjing University SEG

Results 2 comments of Shen Tianqi

invalid redefinition of function 'eclair_btree_insert_range_delta_*'

Thanks for the swift response! I'm just running some simple performance benchmarks on Eclair at the moment. No rush on the updates—I understand how busy life can get.

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

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