Code

Merge dev into master#1586

Code

Merged

montyly merged 167 commits intomastercrytic/slither:masterfrom devcrytic/slither:devCopy head branch name to clipboardJan 11, 2023

+5,776-1,046

Commits

Commits on Aug 25, 2022

• Improve using for support

  smonicas

  committed
  f043990

Commits on Aug 26, 2022

• Add parsing tests

  smonicas

  committed
  90520c5

Commits on Aug 27, 2022

• Fix ir for top level function

  smonicas

  committed
  cc3b342

Commits on Sep 19, 2022

• Run black

  smonicas

  committed
  928d7f2

Commits on Oct 3, 2022

• Merge branch 'dev' into dev-fix-usingfor

  montyly

  committed
  aa68cac

• run black

  montyly

  committed
  6571ada

• Refactor parsing

  smonicas

  committed
  3278417

Commits on Nov 4, 2022

• upgradeability: include inherited private variables, ignore immutables

  0xalpharush

  committed
  2a6c145

Commits on Nov 7, 2022

• update constable-states to consider constructor vars which can be immutable

  0xalpharush

  committed
  faed6d7

Commits on Nov 28, 2022

• ignore openzeppelin contracts

  0xalpharush

  committed
  cf5d04f

Commits on Dec 3, 2022

• support ternary in call value

  0xalpharush

  committed
  cfb53e8

Commits on Dec 5, 2022

• Use Codex to generate solidity documentation

  montyly

  committed
  e7aa92b

• Fix CI

  montyly

  committed
  c38c4cb

• Update ci.yml

  montyly

  authored
  b484bde

Commits on Dec 6, 2022

• Merge branch 'dev' into dev-doc

  montyly

  committed
  05fb191

• Merge branch 'dev-doc' of github.com:crytic/slither into dev-doc

  montyly

  committed
  f4299f7

• Reenable dapp

  montyly

  committed
  2d64e16

Commits on Dec 7, 2022

• Merge branch 'dev' into dev-doc

  montyly

  committed
  bc2b176

• Improvements

  montyly

  committed
  3537b95

Commits on Dec 10, 2022

• support ternaries in both call options, refactor index access

  0xalpharush

  committed
  eb49e39

Commits on Dec 12, 2022

• support parenthetical ternary expr and update tests

  0xalpharush

  committed
  a1a0abe

• update function name

  0xalpharush

  committed
  a1343a8

• spelling and linting

  0xalpharush

  committed
  ca252f1

Commits on Dec 13, 2022

• analyze all inherited contracts' using for directives first

  0xalpharush

  committed
  59b9b03

• Merge branch 'dev' into dev-fix-usingfor

  0xalpharush

  authored
  819fb77

• rename FileScope.usingFor to using_for_directives

  smonicas

  committed
  2d41b96

Commits on Dec 16, 2022

• fold binary expressions with constant operands for fuzzing guidance

  0xalpharush

  committed
  74122a6

• support bitwise and logical ops in constant folding, add tests

  0xalpharush

  committed
  fcd7b68

• convert to int for operations not supported by Fraction

  0xalpharush

  committed
  8870024

• format tests

  0xalpharush

  committed
  9d811e4

• make pylint happy

  0xalpharush

  committed
  43aba2a

• emulate wrapped arithmetic behavior

  0xalpharush

  committed
  e065fbe

• move folding logic out of Literal class

  0xalpharush

  committed
  a59f4f1

Commits on Dec 20, 2022

• remove unnecessary return

  0xalpharush

  authored
  2684717

Commits on Dec 22, 2022

• Merge branch 'dev' into dev-doc

  montyly

  committed
  e3c69e1

• Update to the latest crytic-compile source unit API

  montyly

  committed
  f12e367

Commits on Dec 23, 2022

• Implement --detect and --exclude

  Show description for 9c339a6
  webthethird

  committed
  9c339a6

• Implement --exclude-<impact>

  Show description for 194b1bd
  webthethird

  committed
  194b1bd

• Import CheckClassification

  Show description for c66f2dc
  webthethird

  committed
  c66f2dc

• Black

  webthethird

  committed
  1965d26

• Don't sort checks by impact

  Show description for cd8c638
  webthethird

  committed
  cd8c638

Commits on Jan 3, 2023

• Additional updates

  montyly

  committed
  d9ea635

• Improvements

  montyly

  committed
  feafd9b

• Use latest setuptools in CI

  Show description for 518137a
  montyly

  authored
  518137a

• Black

  montyly

  committed
  217970f

• Merge remote-tracking branch 'origin/dev-pip-audit-fix' into dev-source_unit

  montyly

  committed
  af2fb96

• Merge pull request #1542 from crytic/dev-pip-audit-fix

  Show description for 56096a2
  montyly

  authored
  56096a2

• Merge pull request #1528 from crytic/dev-source_unit

  Show description for 2e1b508
  montyly

  authored
  2e1b508

• Merge branch 'dev-doc' of github.com:crytic/slither into dev

  montyly

  committed
  1da0bdc

• Merge branch 'dev' into dev-doc

  montyly

  committed
  53dfedd

• Fix top level struct parsing

  smonicas

  committed
  45e90dc

• Add test

  smonicas

  committed
  680c914

• Minor

  montyly

  committed
  0494954

• chore(CI):removing solc-select install all lines

  Pavan-Nambi

  committed
  656f214

• better error handling of malformed symbol alias AST node for solc <0.6.0

  0xalpharush

  committed
  df896e8

• only check for local alias if foreign isn't dict

  0xalpharush

  committed
  f92cb37

• format

  0xalpharush

  committed
  1b6acfa

• update(#1546)

  Pavan-Nambi

  committed
  3e67fff

• update2(#1546)

  Pavan-Nambi

  committed
  4180607

• move nested logic into functions

  0xalpharush

  committed
  baf4143

• pylint

  0xalpharush

  authored
  b68f4c1

Commits on Jan 4, 2023

• Merge pull request #1545 from crytic/dev-top-level-struct

  Show description for 222e382
  montyly

  authored
  222e382

• Fix markdown@

  montyly

  committed
  bd3e450

• refractor(ver-in-path_filterin)

  Pavan-Nambi

  committed
  23d77e2

• Revert "refractor(ver-in-path_filterin)"

  Show description for 8388597
  Pavan-Nambi

  committed
  8388597

• update(adding-more-installations)

  Pavan-Nambi

  committed
  9015e73

• Merge branch 'dev' of github.com:crytic/slither into dev

  montyly

  committed
  7067c6d

• slither-doctor: remove LegacyVersion import, add packaging dependency

  Show description for 020d863
  elopez

  committed
  020d863

• slither-doctor: add new PATH checks

  Show description for 4c759ca
  elopez

  committed
  4c759ca

• ci: slither-doctor: add workflow

  elopez

  committed
  c531681

• slither-doctor: fix "unsupported format string passed to Version.__format__"

  elopez

  committed
  b2ce731

• slither-doctor: log on stdout

  Show description for 21daf73
  elopez

  committed
  21daf73

• slither-doctor: fix is_relative_to on Python 3.8

  elopez

  committed
  20198b9

• ci: slither-doctor: fix Windows venv execution

  elopez

  committed
  e65031e

• ci: slither-doctor: group output

  elopez

  committed
  21967c2

• ci: slither-doctor: disable on branches, add dispatch

  elopez

  committed
  d753879

• ci: slither-doctor: disable Windows with Python 3.8

  elopez

  committed
  b01ba03

• slither-doctor: fix lint error

  elopez

  committed
  407d35c

Commits on Jan 5, 2023

• Update expression_manipulations.py

  montyly

  authored
  254f02b

• Merge pull request #1501 from crytic/call-value-ternary

  Show description for 81c2a46
  montyly

  authored
  81c2a46

• Merge pull request #1532 from webthethird/dev-upgradeability-filter-checks

  Show description for 16ebaf6
  montyly

  authored
  16ebaf6

• Fix edge case + code quality

  smonicas

  committed
  75ee80c

• make it easier to run specific tests and document

  0xalpharush

  committed
  7798f47

• typo

  0xalpharush

  committed
  e524b72

• add tests

  0xalpharush

  committed
  10085c1

• add missing check in other places

  0xalpharush

  committed
  92bad4c

• ci: etherscan: add output grouping

  elopez

  committed
  8d3aa94

• lint

  0xalpharush

  committed
  52daece

• ci: etherscan: sleep briefly when the API key is not available

  Show description for d72302f
  elopez

  committed
  d72302f

• ci: etherscan: fix test check

  elopez

  committed
  2109b5f

• Merge branch 'dev' into handle-malformed-alias

  0xalpharush

  authored
  cc79f04

• ci: etherscan: re-enable test

  elopez

  committed
  ac624bf

• Fix implicit conversion

  smonicas

  committed
  1c869df

• Add tests

  smonicas

  committed
  2ee6d0a

• Merge branch 'dev' into dev-fix-usingfor

  smonicas

  committed
  fe2b0ca

• Fix testing feature

  smonicas

  committed
  ea681f9

• fix overwriting test_file

  0xalpharush

  committed
  d4fd85a

• Merge pull request #1378 from crytic/dev-fix-usingfor

  Show description for f55cf6d
  montyly

  authored
  f55cf6d

• Merge branch 'dev' of github.com:crytic/slither into dev

  montyly

  committed
  4f0b74b

• Merge pull request #1451 from 0xalpharush/fix/upgradeability-private-immutable

  Show description for 250c73e
  montyly

  authored
  250c73e

• Merge branch 'dev' of github.com:crytic/slither into dev

  montyly

  committed
  ed72163

• WIP fix yul parsing

  montyly

  committed
  c715463

• minor

  montyly

  committed
  0b99b34

• update

  Pavan-Nambi

  committed
  d1b875d

Commits on Jan 6, 2023

• Fix using for with alias import

  smonicas

  committed
  cbc3077

• Create CODEOWNERS

  montyly

  authored
  b595d8f

• Add tests

  smonicas

  committed
  794b3b9

• Add missing file

  montyly

  committed
  53eea1d

• Add --no-fail mode

  montyly

  committed
  7c97d2e

• Fix types

  montyly

  committed
  ed9cbf8

• Merge branch 'fix-usingfor' into dev-add-no-fail

  montyly

  committed
  c81cc0c

• Merge branch 'dev-fix-yul-parsing' into dev-add-no-fail

  montyly

  committed
  21384d1

• improve import

  montyly

  committed
  8e4d388

• Merge pull request #1561 from crytic/codeowners

  Show description for 994cb5f
  montyly

  authored
  994cb5f

• Merge pull request #1556 from elopez/dev-fix-etherscan-test

  Show description for bb19bce
  montyly

  authored
  bb19bce

• Merge pull request #1563 from crytic/fix-usingfor

  Show description for a9ee137
  montyly

  authored
  a9ee137

• Merge pull request #1555 from crytic/feat/test-ids

  Show description for ceba99f
  montyly

  authored
  ceba99f

• tests: source_unit: add missing foundry submodule

  elopez

  committed
  1c12f2a

• Merge branch 'dev' into detect/add-immutable-opti

  0xalpharush

  committed
  c23c0c4

• Revert "tests: source_unit: add missing foundry submodule"

  Show description for d875eff
  elopez

  committed
  d875eff

• fix constructor var not detected as candidate, separate detectors

  0xalpharush

  committed
  afb7342

• parse semver

  0xalpharush

  committed
  4685eac

• fix artifact

  0xalpharush

  committed
  cfb5c4e

• tests: source_unit: remove submodule

  elopez

  committed
  55c2428

• ci: fix Docker build

  Show description for 024729a
  elopez

  committed
  024729a

• tests: source_unit: add skipif for requirements

  elopez

  committed
  48c7548

Commits on Jan 7, 2023

• track type aliases at top level

  0xalpharush

  committed
  78caeb6

• Fix analyze library using for directives

  smonicas

  committed
  c548dfd

• Run black

  smonicas

  committed
  f47f682

Commits on Jan 9, 2023

• Merge pull request #1568 from crytic/fix-usingfor-libraries

  Show description for 8670f17
  montyly

  authored
  8670f17

• Merge branch 'dev' of github.com:crytic/slither into dev

  montyly

  committed
  d243fcc

• Merge pull request #1494 from crytic/dev-doc

  Show description for 36bad7c
  montyly

  authored
  36bad7c

• Merge pull request #1564 from crytic/dev-fix-docker-build

  Show description for 5c375a8
  montyly

  authored
  5c375a8

• Merge pull request #1547 from crytic/handle-malformed-alias

  Show description for e492b29
  montyly

  authored
  e492b29

• Merge pull request #1546 from Pavan-Nambi/dev-ci

  Show description for a6ca165
  montyly

  authored
  a6ca165

• Merge branch 'dev' of github.com:crytic/slither into dev

  montyly

  committed
  cee26bc

• Merge branch 'dev' into dev-fix-yul-parsing

  montyly

  committed
  17d3e8f

• Merge pull request #1550 from crytic/dev-doctor-paths

  Show description for 0fd24c0
  montyly

  authored
  0fd24c0

• Update CODEOWNERS

  montyly

  authored
  2263545

• Update CODEOWNERS

  montyly

  authored
  c5299d6

• Update literal.py

  montyly

  authored
  811dd78

• Merge pull request #1569 from crytic/codeowner

  Show description for b0b1c6a
  montyly

  authored
  b0b1c6a

• Merge pull request #1508 from crytic/binary-constant-folding

  Show description for 2e41679
  montyly

  authored
  2e41679

• Merge pull request #1455 from crytic/detect/add-immutable-opti

  Show description for 45c5ed9
  montyly

  authored
  45c5ed9

• Merge pull request #1559 from crytic/dev-fix-yul-parsing

  Show description for aee2a78
  montyly

  authored
  aee2a78

• Merge branch 'dev' into dev-add-no-fail

  montyly

  committed
  fac905b

• Merge pull request #1571 from crytic/dev-add-no-fail

  Show description for 5323860
  montyly

  authored
  5323860

• fix type conversion of alias so library function can be found

  0xalpharush

  committed
  7569131

• resolve error referenced as member of contract

  0xalpharush

  committed
  b189951

• add changes

  0xalpharush

  committed
  cf7c62b

• add ast test

  0xalpharush

  committed
  e21d6eb

Commits on Jan 10, 2023

• Merge pull request #1573 from crytic/type-alias-using-for

  Show description for 1c63aa1
  montyly

  authored
  1c63aa1

• Improve lookup for state variables

  montyly

  committed
  4ed2a6a

• Add files

  montyly

  committed
  33c1fd2

• Add type to type_alias

  montyly

  committed
  2cb4985

• Improve convert_type_of_high_and_internal_level_call

  montyly

  committed
  20206a8

• Merge pull request #1574 from crytic/contract-error-selector

  Show description for b8ff0b0
  montyly

  authored
  b8ff0b0

• add tests

  0xalpharush

  committed
  3646ea4

• Merge branch 'dev' into top-level-type-aliases

  0xalpharush

  authored
  c2a397e

• add test case

  0xalpharush

  committed
  4206739

• Merge pull request #1577 from crytic/dev-convert_type_of_high_and_internal_level_call

  Show description for fcf9367
  montyly

  authored
  fcf9367

• Merge pull request #1575 from crytic/dev-private-variable

  Show description for b8ee314
  montyly

  authored
  b8ee314

Commits on Jan 11, 2023

• Merge pull request #1579 from crytic/top-level-type-aliases

  Show description for cacfefd
  montyly

  authored
  cacfefd

• Merge pull request #1576 from crytic/dev-improve-type-alias

  Show description for ac4742f
  montyly

  authored
  ac4742f

• Use crytic-compile@master

  montyly

  committed
  e7cbfa9

• Update README

  montyly

  committed
  7c3d8de

• Merge pull request #1584 from crytic/README

  Show description for 9642d02
  montyly

  authored
  9642d02