Code

Add sanity checks#32

Code

Merged

mokita-j merged 18 commits intomainASSERT-KTH/sb-heists:mainfrom add-sanity-checksASSERT-KTH/sb-heists:add-sanity-checksCopy head branch name to clipboardOct 30, 2024

+1,909-435

Commits

Commits on Oct 12, 2024

• add sanity checks

  mokita-j

  committed
  833619c

  Copy full SHA for 833619c

Commits on Oct 14, 2024

• fix tests

  mokita-j

  committed
  b8e1512

  Copy full SHA for b8e1512

Commits on Oct 17, 2024

• fix sanity tests

  mokita-j

  committed
  f6b396e

  Copy full SHA for f6b396e

Commits on Oct 21, 2024

• merge

  mokita-j

  committed
  167be68

  Copy full SHA for 167be68

Commits on Oct 22, 2024

• add arithmetic sanity checks

  mokita-j

  committed
  056c1b2

  Copy full SHA for 056c1b2

• add access control sanity checks

  mokita-j

  committed
  5e973be

  Copy full SHA for 5e973be

• add bad randomness sanity checkes

  mokita-j

  committed
  ebd04cb

  Copy full SHA for ebd04cb

• add denial of service sanity checks

  mokita-j

  committed
  dc8440e

  Copy full SHA for dc8440e

• add front running sanity checks

  mokita-j

  committed
  e661202

  Copy full SHA for e661202

• add other sanity check

  mokita-j

  committed
  cd251a8

  Copy full SHA for cd251a8

• remove console.log from contract

  mokita-j

  committed
  8e33168

  Copy full SHA for 8e33168

• add reentrancy sanity checks

  mokita-j

  committed
  d9f7691

  Copy full SHA for d9f7691

• add time manipulation sanity checks

  mokita-j

  committed
  32f4759

  Copy full SHA for 32f4759

• add benign contract for sanity check

  mokita-j

  committed
  044d0cd

  Copy full SHA for 044d0cd

Commits on Oct 28, 2024

• add unchecked low lvl call sanity checks

  mokita-j

  committed
  c85d5c0

  Copy full SHA for c85d5c0

• fix ether lotto sanity check

  mokita-j

  committed
  eddd150

  Copy full SHA for eddd150

Commits on Oct 30, 2024

• fix CustomReporter

  mokita-j

  committed
  40b2f2a

  Copy full SHA for 40b2f2a

• reset chain before sanity check

  mokita-j

  committed
  ebba204

  Copy full SHA for ebba204