Code

Use AddressDomain for queries #1144

Code

Merged

sim642 merged 21 commits intomastergoblint/analyzer:masterfrom queries-ad-contgoblint/analyzer:queries-ad-contCopy head branch name to clipboardSep 27, 2023

+113-139

Commits

Commits on Aug 29, 2023

• Add MustLocksetA and MustProtectedVarsA to queries

  karoliineh

  committed
  dc0df88

  Copy full SHA for dc0df88

• Use MustLocksetA and MustProtectedVarsA in mutexAnalysis

  karoliineh

  committed
  326b8e6

  Copy full SHA for 326b8e6

• Use MustProtectedVarsA in mutexAnalysis

  karoliineh

  committed
  2bf9353

  Copy full SHA for 2bf9353

• Remove MustLockset and MustProtectedVars from queries

  karoliineh

  committed
  65567a6

  Copy full SHA for 65567a6

• Rename MustLocksetA -> MustLockset, MustProtectedVarsA -> MustProtectedVars

  karoliineh

  committed
  4bf3680

  Copy full SHA for 4bf3680

• Add EvalFunvarA to queries

  karoliineh

  committed
  586a595

  Copy full SHA for 586a595

• Use EvalFunvarA in base

  karoliineh

  committed
  f15b41f

  Copy full SHA for f15b41f

• Use EvalFunvarA in constraints

  karoliineh

  committed
  bdd90b4

  Copy full SHA for bdd90b4

• Remove EvalFunvar queries

  karoliineh

  committed
  e9e53a7

  Copy full SHA for e9e53a7

• Rename EvalFunvarA -> EvalFunvar

  karoliineh

  committed
  9fef594

  Copy full SHA for 9fef594

• Add MayBeTaintedA to queries

  karoliineh

  committed
  8e42121

  Copy full SHA for 8e42121

• Use MayBeTaintedA in base

  karoliineh

  committed
  392834b

  Copy full SHA for 392834b

• Use MayBeTaintedA

  karoliineh

  committed
  224615f

  Copy full SHA for 224615f

• Remove MayBeTainted from queries

  karoliineh

  committed
  26151ef

  Copy full SHA for 26151ef

• Rename MayBeTaintedA -> MayBeTainted

  karoliineh

  committed
  0d3af6c

  Copy full SHA for 0d3af6c

Commits on Sep 15, 2023

• Merge branch 'queries-ad' into queries-ad-cont

  sim642

  committed
  fb1be83

  Copy full SHA for fb1be83

• Simplify some AD conversions, add TODOs

  sim642

  committed
  cb08d33

  Copy full SHA for cb08d33

Commits on Sep 18, 2023

• Use AddressDomain in eval_funvar

  karoliineh

  committed
  a32be38

  Copy full SHA for a32be38

• Use relevants_from_ad instead of relevants_from_ls

  karoliineh

  committed
  3879fdc

  Copy full SHA for 3879fdc

• Use VS domain instead of AD for MustProtectedVars

  karoliineh

  committed
  2917999

  Copy full SHA for 2917999

Commits on Sep 26, 2023

• Merge branch 'master' into queries-ad-cont

  sim642

  committed
  e718562

  Copy full SHA for e718562