Code

Thread Wrappers#1021

Code

Merged

michael-schwarz merged 35 commits intogoblint:mastergoblint/analyzer:masterfrom just-max:thread_wrappersjust-max/goblint-analyzer:thread_wrappersCopy head branch name to clipboardMay 30, 2023

+574-211

Commits

Commits on May 1, 2023

• messing around for thread wrappers

  just-max

  committed
  e19c51b

• more bits

  just-max

  committed
  ff54a06

• working, probably

  just-max

  committed
  f8b5735

• rename module, remove unused file

  just-max

  committed
  8ea858a

• working more or less

  just-max

  committed
  2e683c9

• more work

  just-max

  committed
  2d1b0fb

• add reference to commit

  just-max

  committed
  cef41b3

• fix queries

  just-max

  committed
  b9e4129

Commits on May 3, 2023

• remove debugging code

  just-max

  committed
  baffd93

• use prev_node in both malloc and thread create analyses

  just-max

  committed
  b2624c8

• move tests

  just-max

  committed
  26413e0

• remove TODO

  just-max

  committed
  bae4850

• remove module type annotations

  just-max

  committed
  8e1c7ee

• remove TODO

  just-max

  committed
  06bb1eb

• properly track previous counter values to account for different context in threadcreate and threadspawn

  just-max

  committed
  21c18d7

• only need unique count of 1 for these tests

  just-max

  committed
  b5c9306

• your wish is my command, ocp-indent

  just-max

  committed
  1ca5f78

• show #top instead of #?? when unique counter is top (matches malloc wrappers), promote new output

  just-max

  committed
  878472b

Commits on May 24, 2023

• pull out the counter Chain module, remove now redundant Int lattice

  just-max

  committed
  8e5ff9e

• formatting

  just-max

  committed
  61c4fa6

• remove GobList.span

  just-max

  committed
  39ab8c1

• cleanup

  just-max

  committed
  4fbfbbd

• use IdentitySpec

  just-max

  committed
  8fea30a

• use fctx, remove the previous/next hack

  just-max

  committed
  8fe0933

• Merge branch 'master' into thread_wrappers

  just-max

  committed
  07be950

• whitespace

  just-max

  committed
  ccdc021

• more tests

  Show description for 68b2267
  just-max

  committed
  68b2267

Commits on May 29, 2023

• ctx.local instead of bottom in wrapper function threadenter

  just-max

  committed
  441fec2

• Merge branch 'master' into thread_wrappers

  just-max

  committed
  28d584f

• add back adapted synopsis

  just-max

  committed
  ca381af

• Revert "ctx.local instead of bottom in wrapper function threadenter"

  Show description for ab3b027
  just-max

  committed
  ab3b027

• include wrapper node that created thread in ThreadId domain

  just-max

  committed
  bc36eee

• format

  just-max

  committed
  24aad8b

Commits on May 30, 2023

• 71-thread_create_wrapper -> 72-thread_create_wrapper

  just-max

  committed
  7eed44d

• Merge branch 'master' into thread_wrappers

  just-max

  committed
  7b5afa0