今日研究 Rudra 源代码，越看越不对劲，感觉整个分析算法就是在扯淡。

掏出论文翻到 evaluation，果然误报率上天了。

然而这篇论文已经被 Rust 中文社区吹到了天上，估计还是因为提出的 pattern 很新颖的原因。

p.s. 正经人谁看怎么静态分析的啊（