On 5/23/26 11:00 PM, Yunseong Kim wrote:
I've previously experimented with running DEPT alongside syzkaller fuzzing, and many hung tasks missed by lockdep are caught by DEPT, but the resulting high volume of reports makes it easy for issues to get lost in the massive log output. Sorting through that output manually is a huge bottleneck, so leveraging a well-crafted AI prompt to triage the warnings and filter out the false positives would be incredibly valuable.
I mean both 1) detection of deadlock issues AND 2) false positive elimination with AI.
If the review prompt is only used to eliminate DEPT's false positives, I think that would be quite hard to get broad use.
Someone would have to build out-of-tree DEPT, collect the reports, and then feed those back into the AI. I don't think building that kind of pipeline would actually work well in practice.
-- Cheers, Harry / Hyeonggon
