News for hackers. Stuff that matters.

A comment on Soufflé: A Datalog Synthesis Tool for Static Analysis. Parent comment

Re:Soufflé: A Datalog Synthesis Tool for Static Analysis by yababa_y on Thursday December 01, 2022 @12:31AM (#33812729)
https://github.com/kframework/c-semantics while you can do static analysis with this the dynamic instrumentation of UB isnfar more thorough than ubsan
[ Parent | on HN ]
Re:Soufflé: A Datalog Synthesis Tool for Static Analysis by gavinray on Thursday December 01, 2022 @11:06AM (#33818151)
This is great and I'd also never seen this either -- thank you!
[ Parent | on HN ]