Code

Feat/vyper support#2099

Code

Merged

montyly merged 71 commits intodevcrytic/slither:devfrom feat/vyper-supportcrytic/slither:feat/vyper-supportCopy head branch name to clipboardOct 12, 2023

+4,892-119

Commits

Commits on Aug 18, 2023

• WIP

  0xalpharush

  committed
  7b3e064

• improve parse_types

  0xalpharush

  committed
  b264512

Commits on Aug 20, 2023

• fix interface referring to constants, plus comments

  0xalpharush

  committed
  90dc42f

Commits on Aug 22, 2023

• check in progress on comparison operators and builtins

  0xalpharush

  committed
  b142d23

Commits on Aug 23, 2023

• aug assign op

  0xalpharush

  committed
  6fd82fe

Commits on Aug 24, 2023

• wip rewrite of for loops

  0xalpharush

  committed
  75c3389

• more builtins; support params, state vars in loop iterators

  0xalpharush

  committed
  2f94d1c

• support enum bitwise comparison operations

  0xalpharush

  committed
  872d9b5

Commits on Aug 28, 2023

• add some builtin variables for vyper

  0xalpharush

  committed
  7549341

• allow type conversion to array type for vyper

  0xalpharush

  committed
  fd7c130

• add anon. local for return signature

  0xalpharush

  committed
  a8641d2

• support conversion of interface to address, lookup interface funcs

  0xalpharush

  committed
  4c78fe0

Commits on Aug 29, 2023

• handle stldib interfaces

  0xalpharush

  committed
  cff917f

• initialized vars with expr

  0xalpharush

  committed
  3e461ca

• perform ssa conversion and analysis

  0xalpharush

  committed
  71894ba

• remove unused code

  0xalpharush

  committed
  b1cb181

• fix type

  0xalpharush

  committed
  b537b70

• fix div symbol

  0xalpharush

  committed
  8a3fb6a

• improve comparison operator support, set_offset of expressions

  0xalpharush

  committed
  472efb9

• control flow graph (loops and ifs)

  0xalpharush

  committed
  011c03a

• more builtins

  0xalpharush

  committed
  6bd52fa

• fix source mapping, set source code and source unit

  0xalpharush

  committed
  5443132

• parse bool op symbol

  0xalpharush

  committed
  a61ca34

Commits on Aug 30, 2023

• add support for self.balance

  0xalpharush

  committed
  4b07cbb

• fmt

  0xalpharush

  committed
  db88cd5

• rename fixture

  0xalpharush

  committed
  85e63c6

• convert raw_call to LowLevelCall

  0xalpharush

  committed
  55ab580

• handle edge case for vyper Expr nodes

  0xalpharush

  committed
  4c1ad51

• add ability to perform filtering by language to AbstractDetector

  0xalpharush

  committed
  2bfe829

• delete unused code, misc. notes

  0xalpharush

  committed
  77637d9

• delete more unused code

  0xalpharush

  committed
  3725792

• add IncorrectSolc detector to solidity-only detectors

  0xalpharush

  committed
  917c5d6

• fix filtering to use string value of enum

  0xalpharush

  committed
  5197b15

• install vyper in CI

  0xalpharush

  committed
  baa3c98

• initial tests

  0xalpharush

  committed
  ae45f46

• use curl to support windows

  0xalpharush

  committed
  b5778ce

• follow redirects

  0xalpharush

  committed
  0fd1ed7

• point at vyper crytic-compile branch

  0xalpharush

  committed
  ce6d3c9

• add deprecated calls to solidity only detectors

  0xalpharush

  committed
  929c2af

• remove solc imports from vyper parsing

  0xalpharush

  committed
  eadcd46

Commits on Aug 31, 2023

• fix missing call to set_offset

  0xalpharush

  committed
  d368676

• add failing phi test

  0xalpharush

  committed
  36c60a9

• add test for parsing and cfgir

  0xalpharush

  committed
  0efef8b

• cleanup FunctionVyper

  0xalpharush

  committed
  08af1ee

• fix name resolution for shadowed state variable

  0xalpharush

  committed
  f9633ca

• correctly set indexed attribute for event variables

  0xalpharush

  committed
  2dbb912

• very simplistic support for reentrancy lock

  0xalpharush

  committed
  f7ef484

• delete commented out code

  0xalpharush

  committed
  4b10a0f

• try removing trailing comment

  0xalpharush

  committed
  e561d33

Commits on Sep 2, 2023

• convert tuple on lhs and index access to struct and field access

  0xalpharush

  committed
  3ca9d0f

• consider function unimplemented if body is only pass

  0xalpharush

  committed
  47e274c

• do not considered local variable that are reference types as in_storage

  0xalpharush

  committed
  66def31

• fix phi placement by calling SlitherCompilationUnit.add_function

  0xalpharush

  committed
  e287b2f

Commits on Sep 4, 2023

• support default args in calls

  0xalpharush

  committed
  81cb124

• fix and refactor comparison operator, add support for raise

  0xalpharush

  committed
  4845a3b

• conditionally apply refinements to Solidity

  0xalpharush

  committed
  9fdc7dc

• cleanup and formatting

  0xalpharush

  committed
  16140f2

Commits on Sep 5, 2023

• handle break/continue

  0xalpharush

  committed
  9c4bc50

• update tests

  0xalpharush

  committed
  9df54e9

• cleanup

  0xalpharush

  committed
  a6209df

• fix some lint warnings

  0xalpharush

  committed
  c217980

• add struct defs to file scope

  0xalpharush

  committed
  e80238d

• propagate return type on call to state variable with interface type

  0xalpharush

  committed
  239369c

• more cleanup

  0xalpharush

  committed
  e8fa8b8

• address lints and improve typing

  0xalpharush

  committed
  961db45

• link issues for TODO comments, lint

  0xalpharush

  committed
  404914c

Commits on Sep 8, 2023

• fix merge conflict

  0xalpharush

  committed
  21eca9d

Commits on Oct 12, 2023

• Update setup.py

  montyly

  authored
  37d714b

• Merge branch 'dev' into feat/vyper-support

  montyly

  authored
  26cfe00

• fix CI

  montyly

  committed
  4a83858

• Fix snapshot

  montyly

  committed
  2a7e514