Code

Add code scanner tool#3120

Code

Merged

celinval merged 7 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-xxxx-std-analysiscelinval/kani-dev:issue-xxxx-std-analysisCopy head branch name to clipboardAug 1, 2024

+1,067-1

Commits

Commits on Apr 2, 2024

• Add code scanner tool

  Show description for f3f90be
  celinval

  committed
  f3f90be

  Copy full SHA for f3f90be

Commits on May 9, 2024

• Merge remote-tracking branch 'origin/main' into issue-xxxx-std-analysis

  Show description for 3cb3085
  celinval

  committed
  3cb3085

  Copy full SHA for 3cb3085

• Fix dependencies

  celinval

  committed
  a0ff058

  Copy full SHA for a0ff058

Commits on May 11, 2024

• Add license to scanner's Cargo.toml

  celinval

  committed
  e2a3a31

  Copy full SHA for e2a3a31

Commits on Jul 31, 2024

• Apply suggestions from code review

  Show description for 9baaf0d
  

  celinval

  and

  qinheping

  authored
  9baaf0d

  Copy full SHA for 9baaf0d

• Merge remote-tracking branch 'origin/main' into issue-xxxx-std-analysis

  celinval

  committed
  d56559e

  Copy full SHA for d56559e

• Merge branch 'main' into issue-xxxx-std-analysis

  celinval

  authored
  7cb0d43

  Copy full SHA for 7cb0d43