Code

Sync master with dev#1768

Code

Merged

montyly merged 69 commits intomastercrytic/slither:masterfrom devcrytic/slither:devCopy head branch name to clipboardMar 17, 2023

+1,529-116

Commits

Commits on Dec 16, 2022

• detect local shadowing of named returns vars

  0xalpharush

  committed
  841f460

Commits on Jan 31, 2023

• fix compilation unit missing in source API

  0xalpharush

  committed
  0b20aca

Commits on Feb 2, 2023

• Revert "show ignored findings by default for checklist"

  0xalpharush

  authored
  47ce273

Commits on Feb 14, 2023

• move assertion to proper branch

  0xalpharush

  committed
  8bb4ffa

Commits on Feb 22, 2023

• improve TypeAlias support for echidna

  smonicas

  committed
  8135a23

• Fix TypeAlias in solidity signature

  smonicas

  committed
  56aaa4d

Commits on Mar 6, 2023

• support duplicated func name for diff types in global using for

  0xalpharush

  committed
  9e7ff8f

• only look for library functions in the current scope

  0xalpharush

  committed
  fdd4232

• add test files

  0xalpharush

  committed
  166a8ce

• fix import

  0xalpharush

  committed
  3cc5510

• add test

  0xalpharush

  committed
  1751091

• fmt

  0xalpharush

  committed
  3c0ef74

• rm misc files

  0xalpharush

  committed
  1616f93

Commits on Mar 7, 2023

• lint

  0xalpharush

  committed
  98d1c50

Commits on Mar 8, 2023

• deregister_detector

  Show description for a42c2cc
  sidarth16

  authored
  a42c2cc

• deregister_printer

  Show description for 4e2f1ac
  sidarth16

  authored
  4e2f1ac

• update deregister_detector()

  Show description for 611798c
  sidarth16

  authored
  611798c

• pylint: disable unidiomatic-typecheck

  sidarth16

  authored
  181ee42

• pylint: disable unidiomatic-typecheck

  sidarth16

  authored
  646fb1e

Commits on Mar 9, 2023

• restrict variable-scope detector to only solc 0.4.x

  Show description for 09a9b90
  0xalpharush

  authored
  09a9b90

• black

  sidarth16

  committed
  e483513

• black

  sidarth16

  authored
  d5a8436

• Improve parsing of contract's comment

  montyly

  committed
  76d8321

• renaming to unregister_detector()

  Show description for 3850cf5
  

  sidarth16

  and

  0xalpharush

  authored
  3850cf5

Commits on Mar 10, 2023

• isinstance()

  sidarth16

  authored
  275be58

• isinstance()

  sidarth16

  authored
  9b69da1

• rename to unregister_printer()

  sidarth16

  authored
  660ccb9

• fix stdout capture

  Show description for 5498e1b
  0xalpharush

  authored
  5498e1b

• Merge pull request #1740 from crytic/fix-stdout-capture

  Show description for 2d6c4ee
  montyly

  authored
  2d6c4ee

• Merge pull request #1691 from crytic/low-level-call-conversion-fix

  Show description for e11ae90
  montyly

  authored
  e11ae90

• Merge branch 'master' into HEAD

  montyly

  committed
  ef2b707

• Merge branch 'dev' into dev-echidna-usertype

  montyly

  committed
  528e2d2

• Fix linters

  montyly

  committed
  8c58abe

• Merge pull request #1510 from crytic/local-shadowing-return-vars

  Show description for d4a7254
  montyly

  authored
  d4a7254

• Merge branch 'dev' into revert-1082-ignored-findings

  montyly

  committed
  76f86a1

• Print warning

  montyly

  committed
  ae5af4e

• Merge pull request #1690 from crytic/dev-echidna-usertype

  Show description for 6b1b4ed
  montyly

  authored
  6b1b4ed

• Merge pull request #1625 from crytic/using-for-global-lib-collision

  Show description for af39ca9
  montyly

  authored
  af39ca9

• Merge pull request #1643 from crytic/revert-1082-ignored-findings

  Show description for fc47bf2
  montyly

  authored
  fc47bf2

• Improve tests from 1625

  montyly

  committed
  2f155e7

• lint

  0xalpharush

  committed
  20ca599

• Merge pull request #1731 from crytic/restrict-variable-scope

  Show description for 295d128
  montyly

  authored
  295d128

• Merge pull request #1741 from crytic/fix-1625

  Show description for 829f7eb
  montyly

  authored
  829f7eb

• Test with legacy AST too

  montyly

  committed
  7aba140

• make slither-read-storage dependencies explicit

  0xalpharush

  committed
  12682c3

• inspect whether package is installed

  0xalpharush

  committed
  3861029

• make dev install read-storage deps

  0xalpharush

  committed
  d9fda0b

• Merge pull request #1722 from sidarth16/patch-3

  Show description for 462da76
  montyly

  authored
  462da76

• Merge pull request #1724 from sidarth16/patch-4

  Show description for 6ff1774
  montyly

  authored
  6ff1774

• Merge pull request #1734 from crytic/dev-contract-comment

  Show description for cb37650
  montyly

  authored
  cb37650

• Improve top level functions format

  smonicas

  committed
  6236e54

Commits on Mar 13, 2023

• update filter-paths help

  0xalpharush

  authored
  f67c96b

Commits on Mar 14, 2023

• add issue template for false neg. and positive

  0xalpharush

  committed
  517d36e

• Update .github/ISSUE_TEMPLATE/false_negative.yml

  0xalpharush

  authored
  4a69025

Commits on Mar 15, 2023

• Merge pull request #1749 from crytic/filter-paths-help

  Show description for 137bee1
  montyly

  authored
  137bee1

• Merge pull request #1744 from crytic/dev-printer-slithir-tl-format

  Show description for 5c52921
  montyly

  authored
  5c52921

• Merge pull request #1753 from crytic/fn-fp-templates

  Show description for 979f307
  montyly

  authored
  979f307

• make web3>=6.0.0 a dependency

  0xalpharush

  committed
  a31282b

Commits on Mar 16, 2023

• Merge pull request #1743 from crytic/slr-deps

  Show description for 096769b
  montyly

  authored
  096769b

• include salt in NewContract op, add test infra

  0xalpharush

  committed
  cd1ec36

Commits on Mar 17, 2023

• fix evm printer

  0xalpharush

  committed
  20fbfd4

• update printer tests

  0xalpharush

  committed
  d6adbca

• merge dev

  0xalpharush

  committed
  bc65997

• Merge pull request #1762 from crytic/fix-new-contract-reads

  Show description for 8a01247
  montyly

  authored
  8a01247

• Merge pull request #1765 from crytic/declaration-printer

  Show description for f0603b4
  montyly

  authored
  f0603b4

• Merge branch 'master' into dev

  montyly

  committed
  337ed45

• update linter.yml name

  0xalpharush

  authored
  9dccce3

• Minor

  montyly

  committed
  400dfd6

• Merge pull request #1770 from crytic/0xalpharush-patch-1

  Show description for 081056c
  montyly

  authored
  081056c