Search results

LockBud fails to detect a double lock bug in the closure

Status: Open.

#131 In BurtonQin/lockbud;

· chisa22 opened on Feb 10, 2026

[ConflictLock] False Negative: Detection fails when ownership is moved (renamed).

Status: Open.

#130 In BurtonQin/lockbud;

· lynae99 opened on Jan 23, 2026

[Double Lock] Assisgment is misclassified as a second lock acquisition

Status: Open.

#129 In BurtonQin/lockbud;

· rikki322 opened on Jan 20, 2026

Duplicated warnings in ConflictLock Detector

Status: Open.

#128 In BurtonQin/lockbud;

· soyo114 opened on Nov 3, 2025

FN Bug in CondvarDeadlock Detection

Status: Open.

#127 In BurtonQin/lockbud;

· soyo114 opened on Oct 15, 2025

LockBud False Negative for AtomicityViolation Vulnerability

Status: Open.

#126 In BurtonQin/lockbud;

· RJerrica opened on Oct 4, 2025

LockBud fails to detect UAF issue in Some and match

Status: Open.

#124 In BurtonQin/lockbud;

· jiayiw2008 opened on Sep 2, 2025

A False Negative Bug in the Use After Free Detector

Status: Open.

#123 In BurtonQin/lockbud;

· jiayiw2008 opened on Sep 2, 2025

Summarize the old issues and cleanup the separate issues

Status: Open.

#122 In BurtonQin/lockbud;

· BurtonQin opened on May 27, 2025

A false positive in double lock detector

Status: Open.

#103 In BurtonQin/lockbud;

· soyo114 opened on May 13, 2025

An issue where LockBud fails to detect a double-lock vulnerability

bugSomething isn't workingSomething isn't working

Status: Open.

#105 In BurtonQin/lockbud;

· stoneman258 opened on May 2, 2025

FP DoubleLock caused by macro

Status: Open.

#106 In BurtonQin/lockbud;

· stoneman258 opened on Apr 21, 2025