Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 8, 2022

• Update rustc version in README

  Chain-Fox

  committed
  69e1399

  Copy full SHA for 69e1399

Commits on Oct 6, 2022

• Merge pull request #41 from BurtonQin/nightly-2022-10-06

  Show description for 42b38ab
  

  Boqin@MetaSecureLabs

  authored
  42b38ab

  Copy full SHA for 42b38ab

• Bump to rustc nightly-2022-10-06

  Chain-Fox

  committed
  07e8c5c

  Copy full SHA for 07e8c5c

• Merge pull request #39 from BurtonQin/lock-source

  Show description for ed71f58
  

  Boqin@MetaSecureLabs

  authored
  ed71f58

  Copy full SHA for ed71f58

• Fix FPs where a lock in a loop or recursive fn

  Chain-Fox

  committed
  dd804a7

  Copy full SHA for dd804a7

• Merge pull request #37 from BurtonQin/lock-source

  Show description for 2c962ff
  

  Boqin@MetaSecureLabs

  authored
  2c962ff

  Copy full SHA for 2c962ff

• Fix FPs due to RwLock::read_recursive

  Chain-Fox

  committed
  81ff730

  Copy full SHA for 81ff730

Commits on Sep 14, 2022

• Merge pull request #36 from BurtonQin/aptos

  Show description for ff88ff2
  

  Boqin@MetaSecureLabs

  authored
  ff88ff2

  Copy full SHA for ff88ff2

• Generalize the detected lock types

  Chain-Fox

  committed
  fb23edd

  Copy full SHA for fb23edd

Commits on Aug 31, 2022

• Add locks specific to aptos

  Chain-Fox

  committed
  2ee4d22

  Copy full SHA for 2ee4d22

Commits on Aug 25, 2022

• Update license info in README.md

  

  BurtonQin

  committed
  f833fb4

  Copy full SHA for f833fb4

• Remove condar missing-lock detectors due to high FP

  

  BurtonQin

  committed
  ad56e62

  Copy full SHA for ad56e62

Commits on Aug 23, 2022

• Merge pull request #31 from BurtonQin/dev

  Show description for 692e2a3
  

  Boqin Qin(秦 伯钦)

  authored
  692e2a3

  Copy full SHA for 692e2a3

• Merge branch 'master' into dev

  

  Boqin Qin(秦 伯钦)

  authored
  55fef96

  Copy full SHA for 55fef96

• Add unit-tests

  

  BurtonQin

  committed
  dc95718

  Copy full SHA for dc95718

• Merge pull request #30 from BurtonQin/dev

  Show description for e6ef7d1
  

  Boqin Qin(秦 伯钦)

  authored
  e6ef7d1

  Copy full SHA for e6ef7d1

• Update LICENSE to BSD-3

  

  BurtonQin

  committed
  f00f7ff

  Copy full SHA for f00f7ff

Commits on Aug 18, 2022

• Merge pull request #29 from BurtonQin/condvar

  Show description for bde2338
  Chain-Fox

  authored
  bde2338

  Copy full SHA for bde2338

Commits on Aug 17, 2022

• Add condar deadlock and missing-lock detectors with test cases

  Chain-Fox

  committed
  a93bc68

  Copy full SHA for a93bc68

• Merge pull request #28 from BurtonQin/condvar

  Show description for 108a9eb
  Chain-Fox

  authored
  108a9eb

  Copy full SHA for 108a9eb

Commits on Aug 16, 2022

• Update points-to analysis.

  Show description for a64931d
  Chain-Fox

  committed
  a64931d

  Copy full SHA for a64931d

Commits on Aug 8, 2022

• Create alias-analysis outside; add CallgraphNode; use rust-toolchain.toml

  Chain-Fox

  committed
  4150e2d

  Copy full SHA for 4150e2d

Commits on Jun 30, 2022

• Merge pull request #25 from BurtonQin/dev

  Show description for 4fe9cdd
  Chain-Fox

  authored
  4fe9cdd

  Copy full SHA for 4fe9cdd

• Update README.md: rustc version, detected bugs, usage demo of blacklists

  Chain-Fox

  committed
  7fcfea7

  Copy full SHA for 7fcfea7

• Merge pull request #24 from BurtonQin/dev

  Show description for 7901e77
  Chain-Fox

  authored
  7901e77

  Copy full SHA for 7901e77

• Bump to rustc nightly-2022-06-14

  Chain-Fox

  committed
  a7b4db6

  Copy full SHA for a7b4db6

Commits on Jun 19, 2022

• Merge pull request #23 from BurtonQin/dependabot/cargo/toys/inter/smallvec-1.8.0

  Show description for ba9cddf
  Chain-Fox

  authored
  ba9cddf

  Copy full SHA for ba9cddf

• Bump smallvec from 1.4.0 to 1.8.0 in /toys/inter

  Show description for 139f87b
  dependabot[bot]

  authored
  139f87b

  Copy full SHA for 139f87b

Commits on Jun 12, 2022

• Merge pull request #22 from BurtonQin/dev

  Show description for 287c0f5
  Chain-Fox

  authored
  287c0f5

  Copy full SHA for 287c0f5

• Fix a conflict-lock FP

  Chain-Fox

  committed
  893e1a1

  Copy full SHA for 893e1a1

• Merge branch 'dev' of github.com:BurtonQin/lockbud into dev

  Chain-Fox

  committed
  444eba1

  Copy full SHA for 444eba1

Commits on Jun 10, 2022

• Merge pull request #21 from BurtonQin/dev

  Show description for 3f6c805
  Chain-Fox

  authored
  3f6c805

  Copy full SHA for 3f6c805

• Upgrade dep lock_api to stop the security warning, used only in toys

  Chain-Fox

  committed
  ed9151b

  Copy full SHA for ed9151b

• Upgrade dep lock_api to stop the security warning, used only in toys

  Chain-Fox

  committed
  93b1ae0

  Copy full SHA for 93b1ae0

Commits on May 22, 2022

• Merge pull request #20 from BurtonQin/dev

  Show description for c056c60
  Chain-Fox

  authored
  c056c60

  Copy full SHA for c056c60

Pagination

Previous

Next