Code

Feat/virtual override with refs#2376

Code

Merged

0xalpharush merged 17 commits intodevcrytic/slither:devfrom feat/virtual-override-with-refscrytic/slither:feat/virtual-override-with-refsCopy head branch name to clipboardMar 28, 2024

+559-57

Commits

Commits on Feb 21, 2024

• Add virtual and override attributes

  smonicas

  committed
  81054b1

  Copy full SHA for 81054b1

• Remove duplicated code

  smonicas

  committed
  86de161

  Copy full SHA for 86de161

Commits on Mar 21, 2024

• register references for HighLevelCall's

  0xalpharush

  committed
  14f4a32

  Copy full SHA for 14f4a32

• fix: add offsets for state variables

  0xalpharush

  committed
  28688b3

  Copy full SHA for 28688b3

Commits on Mar 22, 2024

• fix: attach references for inheritance specifier and top level types

  0xalpharush

  committed
  fc9416c

  Copy full SHA for fc9416c

• fix pylint

  0xalpharush

  committed
  db6ff66

  Copy full SHA for db6ff66

• split test into its own file

  0xalpharush

  committed
  209df4e

  Copy full SHA for 209df4e

• add regression tests for reference API on windows

  0xalpharush

  committed
  84c3199

  Copy full SHA for 84c3199

• use crytic-compile master with windows path fix

  0xalpharush

  committed
  93bbb22

  Copy full SHA for 93bbb22

Commits on Mar 23, 2024

• feat: which contracts' function defs are overridden with refs

  0xalpharush

  committed
  757d892

  Copy full SHA for 757d892

• Merge branch 'fix/references-high-level-call' into feat/virtual-override-with-refs

  0xalpharush

  committed
  09dd74a

  Copy full SHA for 09dd74a

Commits on Mar 28, 2024

• feat: add is_abstract

  0xalpharush

  committed
  20ed490

  Copy full SHA for 20ed490

• reference API handles abstract contract, interface, and virtual func

  0xalpharush

  committed
  0933dfa

  Copy full SHA for 0933dfa

• add test

  0xalpharush

  committed
  759a4fc

  Copy full SHA for 759a4fc

• add override for all instance of virtual, inherited functions

  0xalpharush

  committed
  e7edac5

  Copy full SHA for e7edac5

• refactor for linter

  0xalpharush

  committed
  b4260b1

  Copy full SHA for b4260b1

• fix lints

  0xalpharush

  committed
  98f37bc

  Copy full SHA for 98f37bc