BurtonQin/lockbud

Issues

• FP UseAfterFree Warning

  #69 opened 2 months ago by stoneman258
  1

• Next goals of lockbud

  #58 opened 4 months ago by BurtonQin
  5

• Fail to find UAF toy bugs

  #66 opened 2 months ago by BurtonQin
  1

• Why is `cargo clean` needed to run lockbud?

  #63 opened 2 months ago by zjp-CN
  3

• Prepare code and data release of TSE

  #52 opened 3 months ago by BurtonQin
  0

• FP Panic Warning

  #62 opened 3 months ago by stoneman258
  2

• Detection on `atomic-violation` toy code emits a possible AtomicityViolation on getrandom

  #61 opened 4 months ago by zjp-CN
  2

• Error with GitHub Action

  #57 opened 8 months ago by MathieuSoysal
  3

• Possible to create GitHub Action

  #56 opened 8 months ago by MathieuSoysal
  2

• Detect Rayon deadlocks

  #55 opened a year ago by michaelsproul
  0

• Support for Tokio::sync primitives

  #53 opened a year ago by agourlay
  3

• Add github action

  #48 opened 2 years ago by Borber
  5

• Keep up to date with rustc?

  #46 opened 2 years ago by Millione
  2

• run ./detect.sh failed

  #44 opened 2 years ago by wasd96040501
  1

• On Mac OS: `lockbud/cargo_dir.txt: No such file or directory`

  #43 opened 2 years ago by gitmalong
  1

• why use the "instance" rather than implementing a block visitor to build the callgraph?

  #42 opened 2 years ago by ffanyq
  2

• Keep up to date with rustc

  #40 opened 2 years ago by BurtonQin
  0

• FPs caused by passing LockGuard directly as parameters

  #34 opened 2 years ago by BurtonQin
  0

• FPs caused by the same lock in a loop or recursive function

  #38 opened 2 years ago by BurtonQin
  0

• FPs with RwLock::read_recursive

  #33 opened 2 years ago by BurtonQin
  0

• FPs in condvar deadlock detector when the two locks are the same

  #35 opened 2 years ago by BurtonQin
  0

• Integration in Clippy ?

  #14 opened 2 years ago by Urgau
  4

• Maybe link to specific examples of bugs found?

  #13 opened 3 years ago by bjorn3
  0

• [Feature Request] Make it a cargo subcommand

  #1 opened 3 years ago by wangrunji0408
  2

• Update the callgraph generation with an ICSE'20 paper

  #4 opened 3 years ago by BurtonQin
  1

• Improve the precision of automata

  #5 opened 3 years ago by BurtonQin
  1

• Linking Error

  #8 opened 4 years ago by obraunsdorf
  2