Code

Generalize pairwise race detection#529

Code

Merged

michael-schwarz merged 23 commits intomastergoblint/analyzer:masterfrom part-access-refactorgoblint/analyzer:part-access-refactorCopy head branch name to clipboardJan 20, 2022

+673-557

Commits

Commits on Jan 12, 2022

• Add access component to MCPSpec (issue #526)

  sim642

  committed
  e3033d4

  Copy full SHA for e3033d4

• Use A module for race detection (issue #526)

  sim642

  committed
  a101067

  Copy full SHA for a101067

• Use partitions set in A module for race detection (issue #526)

  sim642

  committed
  bec3b1d

  Copy full SHA for bec3b1d

• Remove partitioning component from accesses

  sim642

  committed
  54ebacf

  Copy full SHA for 54ebacf

• Move MCP DomainList to MCPRegistry

  sim642

  committed
  535eec1

  Copy full SHA for 535eec1

• Add combined MCP A module (issue #526)

  sim642

  committed
  271f246

  Copy full SHA for 271f246

• Use UnitA by default

  sim642

  committed
  587aa00

  Copy full SHA for 587aa00

• Refactor mutex analysis access

  sim642

  committed
  9029d6b

  Copy full SHA for 9029d6b

• Refactor threadFlag analysis access

  sim642

  committed
  2152860

  Copy full SHA for 2152860

• Refactor threadId analysis access

  sim642

  committed
  be7373a

  Copy full SHA for be7373a

• Refactor symbLocks analysis access

  sim642

  committed
  90f010e

  Copy full SHA for 90f010e

• Refactor region analysis access

  sim642

  committed
  2a48956

  Copy full SHA for 2a48956

• Make region access unknown index more readable

  sim642

  committed
  f8ed9f2

  Copy full SHA for f8ed9f2

• Move MHP race detection into threadId analysis access

  sim642

  committed
  0e9651c

  Copy full SHA for 0e9651c

• Remove hardcoded MHP component from access (issue #526)

  sim642

  committed
  dabb84f

  Copy full SHA for dabb84f

Commits on Jan 13, 2022

• Filter useless unit components from race output

  sim642

  committed
  d70806e

  Copy full SHA for d70806e

• Implement should_print for most access modules

  sim642

  committed
  0194448

  Copy full SHA for 0194448

• Rename conflict -> may_race

  sim642

  committed
  d97756f

  Copy full SHA for d97756f

• Refactor and comment access handling

  sim642

  committed
  fb67f9a

  Copy full SHA for fb67f9a

• Separate arguments for MCPSpec.access

  sim642

  committed
  a47c8dc

  Copy full SHA for a47c8dc

• Include MHP directly in threadId analysis A

  sim642

  committed
  b07de15

  Copy full SHA for b07de15

Commits on Jan 18, 2022

• Merge branch 'master' into part-access-refactor

  sim642

  committed
  466d3a4

  Copy full SHA for 466d3a4

Commits on Jan 19, 2022

• Simplify MCPAccess.A.may_race

  Show description for f2b1e5f
  

  sim642

  and

  michael-schwarz

  committed
  f2b1e5f

  Copy full SHA for f2b1e5f