search

BurtonQin / lockbud

Statically detect memory, concurrency bugs and possible panic locations for Rust.
BSD 3-Clause "New" or "Revised" License
445 stars 25 forks source link

Prepare code and data release of TSE #52

Closed BurtonQin closed 1 month ago

BurtonQin commented 1 year ago
  1. Move all the checkers to master branch
  2. Move the original double-lock and conflicting-lock detectors to the lock branch
  3. Create a Data directory for experimental data release