1 paper · 1 filter
Junyoung Park, Insu Yun
Fuzzers and static analyzers find many bugs but struggle with logic bugs in mature codebases. Triggering such a bug often requires multi-step reasoning that produces no distinctive…