Code

New detector: CellBounds#214

Code

Merged

jubnzv merged 32 commits intomasternowarp/misti:masterfrom 172-cell-underflownowarp/misti:172-cell-underflowCopy head branch name to clipboardNov 21, 2024

+1,545-643

Commits

Commits on Nov 11, 2024

• feat(detectors): Add CellUnderflow

  Show description for 48404e0
  jubnzv

  committed
  48404e0

  Copy full SHA for 48404e0

• chore: Update changelog

  jubnzv

  committed
  24a2bc8

  Copy full SHA for 24a2bc8

Commits on Nov 13, 2024

• feat(cellUnderflow): Interpret method calls in the transfer function

  jubnzv

  committed
  3d33a11

  Copy full SHA for 3d33a11

Commits on Nov 14, 2024

• feat(cellUnderflow): Interval-based store interpretation

  jubnzv

  committed
  02c50a9

  Copy full SHA for 02c50a9

Commits on Nov 15, 2024

• feat(cellUnderflow): Better analysis for loaded/stored calls

  jubnzv

  committed
  ee5509f

  Copy full SHA for ee5509f

• feat(cellUnderflow): Deep copy funcitons

  jubnzv

  committed
  8178195

  Copy full SHA for 8178195

• fix(cellUnderflow): Extra methods iteration

  jubnzv

  committed
  40676f4

  Copy full SHA for 40676f4

• chore(cellUnderflow): Remove debug prints

  jubnzv

  committed
  b539828

  Copy full SHA for b539828

• chore(cellUnderflow): Generalize storage construction

  jubnzv

  committed
  073b99b

  Copy full SHA for 073b99b

• chore: run yarn fix-all

  jubnzv

  committed
  14d990d

  Copy full SHA for 14d990d

• feat(cellUnderflow): Add simple test

  jubnzv

  committed
  1320bef

  Copy full SHA for 1320bef

Commits on Nov 16, 2024

• fix(cellUnderflow): Avoid double iterations

  jubnzv

  committed
  b85f949

  Copy full SHA for b85f949

• feat(cellUnderflow): Additional variable kind checks

  jubnzv

  committed
  eb7c867

  Copy full SHA for eb7c867

Commits on Nov 17, 2024

• fix(cellUnderflow): Logic error

  jubnzv

  committed
  1e46be5

  Copy full SHA for 1e46be5

• fix(util): getMethodCallsChain implementation

  jubnzv

  committed
  083f5e8

  Copy full SHA for 083f5e8

• fix(cellUnderflow): Dataflow processing of intermediate variables

  jubnzv

  committed
  54a35d1

  Copy full SHA for 54a35d1

• feat(cellUnderflow): Support CellOverflow

  jubnzv

  committed
  43669fd

  Copy full SHA for 43669fd

• feat(cellUnderflow): Support storing local builders/slices

  jubnzv

  committed
  6f3b112

  Copy full SHA for 6f3b112

Commits on Nov 19, 2024

• fix(cellOverflow): Create deep copies of the state

  jubnzv

  committed
  2998552

  Copy full SHA for 2998552

• fix(cellUnderflow): comma is not logical &&

  jubnzv

  committed
  1ecfd29

  Copy full SHA for 1ecfd29

• fix(cellUnderflow): Don't track processed calls

  jubnzv

  committed
  38dbe95

  Copy full SHA for 38dbe95

• fix(cellUnderflow): Don't add extra intermediate variables

  jubnzv

  committed
  f94582f

  Copy full SHA for f94582f

• fix(cellUnderflow): Don't copy intermediate values to out

  Show description for 0897a15
  jubnzv

  committed
  0897a15

  Copy full SHA for 0897a15

• chore(cellUnderflow): Simplify

  jubnzv

  committed
  bbe06e5

  Copy full SHA for bbe06e5

• feat(cellUnderflow): Support assignments to beginCell(), emptySlice(), ....

  jubnzv

  committed
  abc462f

  Copy full SHA for abc462f

• fix(cellUnderflow): Processing of unused assignments

  jubnzv

  committed
  dd46ac7

  Copy full SHA for dd46ac7

• feat(cellBounds): Create a CellBounds lint that combines overflows and underflow detectors

  jubnzv

  committed
  ce0a5fa

  Copy full SHA for ce0a5fa

• chore: Add expected output for the test

  jubnzv

  committed
  ad671f6

  Copy full SHA for ad671f6

Commits on Nov 21, 2024

• feat(cellBounds): Support reference under/overflow in struct/message

  jubnzv

  committed
  45da8db

  Copy full SHA for 45da8db

• chore(cellBounds): refactor, nfc

  jubnzv

  committed
  fe76ef3

  Copy full SHA for fe76ef3

• fix(cellBounds): Intermediate variables

  jubnzv

  committed
  5d8fa85

  Copy full SHA for 5d8fa85

• fix: prettier

  jubnzv

  committed
  56ff517

  Copy full SHA for 56ff517