Code

Categorize Remaining Warnings#783

Code

Merged

michael-schwarz merged 25 commits intomastergoblint/analyzer:masterfrom issue_55goblint/analyzer:issue_55Copy head branch name to clipboardJul 19, 2022

+145-187

Commits

Commits on Jul 13, 2022

• Rm commented out warning

  michael-schwarz

  committed
  7b4c198

  Copy full SHA for 7b4c198

• Categorize warning from uninit analysis

  michael-schwarz

  committed
  b0ceb19

  Copy full SHA for b0ceb19

• Add unsound category to region warning

  michael-schwarz

  committed
  e6dd1a8

  Copy full SHA for e6dd1a8

• Categorize symbLocks warnings

  michael-schwarz

  committed
  0ce24de

  Copy full SHA for 0ce24de

• varEq remove commented out warnings

  michael-schwarz

  committed
  d5a1034

  Copy full SHA for d5a1034

• Add unsound category to inconsistent state in intDomain

  michael-schwarz

  committed
  530c465

  Copy full SHA for 530c465

• Add analzyer category to incompatible ikinds

  michael-schwarz

  committed
  83cbc51

  Copy full SHA for 83cbc51

• Add unsoundness warning to region domain

  michael-schwarz

  committed
  ce85359

  Copy full SHA for ce85359

• Add analyzer category for unknown calculated state

  michael-schwarz

  committed
  4674ee4

  Copy full SHA for 4674ee4

• mark about to crash message as Analyzer

  michael-schwarz

  committed
  b401f40

  Copy full SHA for b401f40

• Categorize more warnings

  michael-schwarz

  committed
  47bf5b5

  Copy full SHA for 47bf5b5

• Fix typo

  michael-schwarz

  committed
  45c24eb

  Copy full SHA for 45c24eb

Commits on Jul 14, 2022

• Categorize warnings from spec analysis

  michael-schwarz

  committed
  40370cb

  Copy full SHA for 40370cb

• Cleanup thread escape

  michael-schwarz

  committed
  448021a

  Copy full SHA for 448021a

• Catgeorize messages in uninit

  michael-schwarz

  committed
  ff62166

  Copy full SHA for ff62166

• Categorize arinc warnings

  michael-schwarz

  committed
  e52994d

  Copy full SHA for e52994d

• Remaining annotations in base

  michael-schwarz

  committed
  d0970d4

  Copy full SHA for d0970d4

• Categorize more warnings

  michael-schwarz

  committed
  9278f3d

  Copy full SHA for 9278f3d

• More categories

  michael-schwarz

  committed
  909727e

  Copy full SHA for 909727e

• Remaining categorization

  michael-schwarz

  committed
  4a477d0

  Copy full SHA for 4a477d0

Commits on Jul 19, 2022

• Merge branch 'master' into issue_55

  michael-schwarz

  committed
  32f2eae

  Copy full SHA for 32f2eae

• Change categories for some warnings

  michael-schwarz

  committed
  9a6f7d4

  Copy full SHA for 9a6f7d4

• Fix indentation

  michael-schwarz

  committed
  4f22560

  Copy full SHA for 4f22560

• spec.ml: rm outdated comment

  michael-schwarz

  committed
  236f3c9

  Copy full SHA for 236f3c9

• Unify warnings in base for eval_funvar

  michael-schwarz

  committed
  9b6c6d3

  Copy full SHA for 9b6c6d3