Code

Merge 0.9.3#38

Code

Merged

duckki merged 218 commits intocertikCertiKProject/slither-certik:certikfrom merge-0.9.3CertiKProject/slither-certik:merge-0.9.3Copy head branch name to clipboardApr 10, 2023

+5,198-1,530

Commits

Commits on Dec 16, 2022

• detect local shadowing of named returns vars

  0xalpharush

  committed
  841f460

  Copy full SHA for 841f460

Commits on Dec 28, 2022

• Implement __eq__() for Structure class

  webthethird

  committed
  4b315ff

  Copy full SHA for 4b315ff

• Add test contracts for storage layout

  Show description for f8f71ec
  webthethird

  committed
  f8f71ec

  Copy full SHA for f8f71ec

• Update CI test for upgradeability

  Show description for e91fc2f
  webthethird

  committed
  e91fc2f

  Copy full SHA for e91fc2f

• Fix indent in test_13.txt

  webthethird

  committed
  a6ef052

  Copy full SHA for a6ef052

• Compare struct element types as strings

  Show description for 969274f
  webthethird

  committed
  969274f

  Copy full SHA for 969274f

• Also compare the number of struct elements

  webthethird

  committed
  2ab7667

  Copy full SHA for 2ab7667

Commits on Dec 29, 2022

• Fix UserDefinedType.__eq__() for Contracts

  webthethird

  committed
  5705018

  Copy full SHA for 5705018

• Implement Structure.__hash__()

  webthethird

  committed
  1d6efae

  Copy full SHA for 1d6efae

Commits on Jan 10, 2023

• Merge remote-tracking branch 'crytic/slither/dev' into slither/dev-upgradeability-complex-datatype

  webthethird

  committed
  19b3af3

  Copy full SHA for 19b3af3

Commits on Jan 12, 2023

• 'No uppercase' warning for public vars removed

  bart1e

  committed
  62902d7

  Copy full SHA for 62902d7

• Tests added

  bart1e

  committed
  d400d19

  Copy full SHA for d400d19

Commits on Jan 13, 2023

• Clarify requirement of installing solc

  CodeSandwich

  authored
  2a5f05a

  Copy full SHA for 2a5f05a

• Clarify no need solc on supported platforms

  CodeSandwich

  authored
  a5f0485

  Copy full SHA for a5f0485

• Minor codex improvements

  montyly

  committed
  2102725

  Copy full SHA for 2102725

• Minor API improvements

  montyly

  committed
  ea8d232

  Copy full SHA for ea8d232

• Tests fixed

  bart1e

  committed
  1af71e6

  Copy full SHA for 1af71e6

• Old tests removed

  bart1e

  committed
  df912be

  Copy full SHA for df912be

• test_detectors updated

  bart1e

  committed
  339d661

  Copy full SHA for 339d661

• Fix CI badge in README.md

  Show description for 60fd088
  elopez

  authored
  60fd088

  Copy full SHA for 60fd088

Commits on Jan 19, 2023

• Fix support for constant variable lookup in yul

  Show description for fb3c863
  montyly

  committed
  fb3c863

  Copy full SHA for fb3c863

Commits on Jan 21, 2023

• Strongly connected components algorithm fix + cyclomatic complexity algorithm fix

  bart1e

  committed
  9d510ec

  Copy full SHA for 9d510ec

Commits on Jan 23, 2023

• Black on test file

  montyly

  committed
  676901a

  Copy full SHA for 676901a

• Merge pull request crytic#1603 from crytic/dev-fix-readme-badge

  Show description for e02b1f2
  montyly

  authored
  e02b1f2

  Copy full SHA for e02b1f2

• Merge pull request crytic#1599 from CodeSandwich/patch-1

  Show description for 818c485
  montyly

  authored
  818c485

  Copy full SHA for 818c485

• Merge pull request crytic#1617 from bart1e/strongly_connected_components_fix

  Show description for b6d6294
  montyly

  authored
  b6d6294

  Copy full SHA for b6d6294

• High cyclomatic complexity detector added

  bart1e

  committed
  a87c3bc

  Copy full SHA for a87c3bc

• Requested changes added

  bart1e

  committed
  a1f85c3

  Copy full SHA for a1f85c3

• Fix for 'Type not subscriptable' issue

  bart1e

  committed
  bb556ba

  Copy full SHA for bb556ba

• add issue template for trouble with installation

  0xalpharush

  committed
  e415501

  Copy full SHA for e415501

• add more info

  0xalpharush

  committed
  71f4064

  Copy full SHA for 71f4064

• quotes, unique ids

  0xalpharush

  committed
  28b5bcd

  Copy full SHA for 28b5bcd

• move to discussions

  0xalpharush

  committed
  7466f89

  Copy full SHA for 7466f89

Commits on Jan 24, 2023

• Add more types hints

  montyly

  committed
  b57be52

  Copy full SHA for b57be52

• Monkeytype

  montyly

  committed
  d4e2f36

  Copy full SHA for d4e2f36

• Black + pylint

  montyly

  committed
  faba84e

  Copy full SHA for faba84e

Commits on Jan 25, 2023

• Types improvements

  montyly

  committed
  8eec95b

  Copy full SHA for 8eec95b

• Types improvements

  montyly

  committed
  b9ad502

  Copy full SHA for b9ad502

• Merge pull request crytic#1530 from bart1e/no_uppercase_for_public_vars

  Show description for 2caf510
  montyly

  authored
  2caf510

  Copy full SHA for 2caf510

• More types

  montyly

  committed
  f16d098

  Copy full SHA for f16d098

• Fix pylint/black

  montyly

  committed
  38a46fa

  Copy full SHA for 38a46fa

Commits on Jan 31, 2023

• use enum strings instead of impl. __str__

  0xalpharush

  committed
  fb964e7

  Copy full SHA for fb964e7

• run tests in parallel

  0xalpharush

  committed
  0058614

  Copy full SHA for 0058614

• use enum value

  0xalpharush

  committed
  6b50684

  Copy full SHA for 6b50684

• only run python linters when .py changed

  0xalpharush

  committed
  537f11c

  Copy full SHA for 537f11c

• remove as tests aren't thread safe

  0xalpharush

  authored
  4e04eb5

  Copy full SHA for 4e04eb5

• fix compilation unit missing in source API

  0xalpharush

  committed
  0b20aca

  Copy full SHA for 0b20aca

Commits on Feb 1, 2023

• do not consider string types as immut cand.

  0xalpharush

  committed
  21a0ba8

  Copy full SHA for 21a0ba8

• more types

  0xalpharush

  committed
  ce8e502

  Copy full SHA for ce8e502

• fix tuple

  0xalpharush

  authored
  d6af2ea

  Copy full SHA for d6af2ea

• consider constants in divide-before-multiply

  Show description for 4e8066c
  0xalpharush

  authored
  4e8066c

  Copy full SHA for 4e8066c

Commits on Feb 2, 2023

• References of user defined aliases updated + references added when casting to user defined types

  bart1e

  committed
  1c81171

  Copy full SHA for 1c81171

• Unused imports removed

  bart1e

  committed
  63bd0dc

  Copy full SHA for 63bd0dc

• Tests added

  bart1e

  committed
  5b09336

  Copy full SHA for 5b09336

• Revert "show ignored findings by default for checklist"

  0xalpharush

  authored
  47ce273

  Copy full SHA for 47ce273

Commits on Feb 7, 2023

• Merge pull request crytic#1623 from crytic/slither-doctor-issue-template

  Show description for d1f17f9
  montyly

  authored
  d1f17f9

  Copy full SHA for d1f17f9

Commits on Feb 9, 2023

• fix ternary in nested expr with index access

  0xalpharush

  committed
  3bf8bfb

  Copy full SHA for 3bf8bfb

• use dynamic property

  0xalpharush

  authored
  9361a7b

  Copy full SHA for 9361a7b

• fix

  0xalpharush

  authored
  8475083

  Copy full SHA for 8475083

Commits on Feb 13, 2023

• Merge pull request crytic#1600 from crytic/dev-codex-improvements

  Show description for 6b9fac3
  montyly

  authored
  6b9fac3

  Copy full SHA for 6b9fac3

• Merge pull request crytic#1601 from crytic/dev-api-improvements

  Show description for 540985d
  montyly

  authored
  540985d

  Copy full SHA for 540985d

• Create static.yml

  montyly

  authored
  977d7bf

  Copy full SHA for 977d7bf

• add github pages docs

  0xalpharush

  committed
  ead5397

  Copy full SHA for ead5397

• remove auto-generated docs

  0xalpharush

  committed
  5136af6

  Copy full SHA for 5136af6

• add pdoc to dev dependencies

  0xalpharush

  committed
  e65bab9

  Copy full SHA for e65bab9

• use static action

  0xalpharush

  committed
  63b4199

  Copy full SHA for 63b4199

• black format

  0xalpharush

  committed
  8f7b3e0

  Copy full SHA for 8f7b3e0

Commits on Feb 14, 2023

• Update lint rules

  montyly

  committed
  edc7804

  Copy full SHA for edc7804

• Merge pull request crytic#1656 from crytic/gh-pages-2

  Show description for 3383e39
  montyly

  authored
  3383e39

  Copy full SHA for 3383e39

• Merge pull request crytic#1636 from crytic/simplify-enums

  Show description for 8548bed
  montyly

  authored
  8548bed

  Copy full SHA for 8548bed

• Merge pull request crytic#1640 from crytic/dev-types-2

  Show description for f7e087d
  montyly

  authored
  f7e087d

  Copy full SHA for f7e087d

• Merge pull request crytic#1650 from crytic/ternary-func-arg

  Show description for 8052899
  montyly

  authored
  8052899

  Copy full SHA for 8052899

• Merge pull request crytic#1637 from crytic/parallelize-tests

  Show description for 6a3435f
  montyly

  authored
  6a3435f

  Copy full SHA for 6a3435f

• Merge remote-tracking branch 'origin/dev-add-types' into HEAD

  montyly

  committed
  c8c7566

  Copy full SHA for c8c7566

• Merge pull request crytic#1604 from bart1e/missing_references_fix

  Show description for 04a6b0f
  montyly

  authored
  04a6b0f

  Copy full SHA for 04a6b0f

• Merge pull request crytic#1611 from crytic/dev-yul-constant-variable

  Show description for 9997808
  montyly

  authored
  9997808

  Copy full SHA for 9997808

• Merge pull request crytic#1639 from crytic/no-warn-immut-string

  Show description for c2cb22d
  montyly

  authored
  c2cb22d

  Copy full SHA for c2cb22d

• Merge pull request crytic#1638 from crytic/add-path-to-lint

  Show description for 023464e
  montyly

  authored
  023464e

  Copy full SHA for 023464e

• Merge pull request crytic#1641 from crytic/divide-before-multiply-todo

  Show description for fa2889d
  montyly

  authored
  fa2889d

  Copy full SHA for fa2889d

• Merge branch 'dev' into dev-add-types

  montyly

  committed
  28af162

  Copy full SHA for 28af162

• move assertion to proper branch

  0xalpharush

  committed
  8bb4ffa

  Copy full SHA for 8bb4ffa

Commits on Feb 15, 2023

• Remove unused import

  montyly

  committed
  82f761c

  Copy full SHA for 82f761c

• Merge pull request crytic#1535 from webthethird/slither/dev-upgradeability-complex-datatype

  Show description for 1d52aea
  montyly

  authored
  1d52aea

  Copy full SHA for 1d52aea

• Merge branch 'detector_for_cc' of github.com:bart1e/slither into bart1e-detector_for_cc

  montyly

  committed
  24df353

  Copy full SHA for 24df353

• Minor improvements

  montyly

  committed
  d0c0a17

  Copy full SHA for d0c0a17

• Merge branch 'dev' into dev-add-types

  montyly

  committed
  b0f9045

  Copy full SHA for b0f9045

• Cancel action on new commits

  montyly

  committed
  b7ecc01

  Copy full SHA for b7ecc01

• Merge pull request crytic#1661 from crytic/dev-cancel-action-on-commit

  Show description for 485bae9
  montyly

  authored
  485bae9

  Copy full SHA for 485bae9

• Improvements to GH actions

  montyly

  committed
  209a07c

  Copy full SHA for 209a07c

• Merge pull request crytic#1660 from crytic/bart1e-detector_for_cc

  Show description for 90efe7a
  montyly

  authored
  90efe7a

  Copy full SHA for 90efe7a

• Merge pull request crytic#1662 from crytic/dev-ci-minor-improvements

  Show description for 9bd166f
  montyly

  authored
  9bd166f

  Copy full SHA for 9bd166f

• Merge branch 'dev' into dev-add-types

  montyly

  committed
  83d4d50

  Copy full SHA for 83d4d50

• Improve types in detectors

  montyly

  committed
  8b6ac75

  Copy full SHA for 8b6ac75

• Further CI improvements

  montyly

  committed
  8aa6c2b

  Copy full SHA for 8aa6c2b

• Rename doctor

  montyly

  committed
  af9bde0

  Copy full SHA for af9bde0

• Run pylint only on new files

  montyly

  committed
  a58fa3d

  Copy full SHA for a58fa3d

• Use base ref branch for pylint

  montyly

  committed
  d42a748

  Copy full SHA for d42a748

• Merge pull request crytic#1663 from crytic/dev-further-ci-improvements

  Show description for 797735c
  montyly

  authored
  797735c

  Copy full SHA for 797735c

• Merge branch 'dev' into dev-add-types

  montyly

  committed
  486c9ec

  Copy full SHA for 486c9ec

• Fix last 0xalpharush comments

  montyly

  committed
  4e5e184

  Copy full SHA for 4e5e184

• Minor

  montyly

  committed
  abf9312

  Copy full SHA for abf9312

• Minor

  montyly

  committed
  18e094c

  Copy full SHA for 18e094c

• Merge pull request crytic#1624 from crytic/dev-add-types

  Show description for 20a7951
  montyly

  authored
  20a7951

  Copy full SHA for 20a7951

• add enums to echidna list of constants

  samalws-tob

  committed
  3ad2633

  Copy full SHA for 3ad2633

Commits on Feb 21, 2023

• Merge pull request crytic#1665 from samalws/echidna-enum

  Show description for 9779380
  montyly

  authored
  9779380

  Copy full SHA for 9779380

Commits on Feb 22, 2023

• improve TypeAlias support for echidna

  smonicas

  committed
  8135a23

  Copy full SHA for 8135a23

• Fix TypeAlias in solidity signature

  smonicas

  committed
  56aaa4d

  Copy full SHA for 56aaa4d

Commits on Feb 23, 2023

• Add cyclomatic complexity to function-summary

  smonicas

  committed
  143223a

  Copy full SHA for 143223a

• Add cyclomatic complexity to modifiers

  smonicas

  committed
  05defa8

  Copy full SHA for 05defa8

Commits on Feb 24, 2023

• update and reorganize README

  Show description for dc7eb70
  0xalpharush

  authored
  dc7eb70

  Copy full SHA for dc7eb70

• fix spelling

  0xalpharush

  authored
  a65ce56

  Copy full SHA for a65ce56

Commits on Feb 25, 2023

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

  Show description for 6356492
  montyly

  authored
  6356492

  Copy full SHA for 6356492

• Merge pull request crytic#1685 from crytic/dev-fun-summary-printer-complexity

  Show description for b74f64a
  montyly

  authored
  b74f64a

  Copy full SHA for b74f64a

Commits on Feb 26, 2023

• WIKI URL fixed

  bart1e

  committed
  4474bc2

  Copy full SHA for 4474bc2

• Black run

  bart1e

  committed
  5f6551d

  Copy full SHA for 5f6551d

Commits on Mar 3, 2023

• Update reentrancy_eth.py

  Show description for 715826e
  sidarth16

  authored
  715826e

  Copy full SHA for 715826e

Commits on Mar 6, 2023

• upgrade nix installation to fix CI installation

  0xalpharush

  authored
  331cc24

  Copy full SHA for 331cc24

• Merge pull request crytic#1711 from crytic/CI-nix-install

  Show description for cd9b212
  montyly

  authored
  cd9b212

  Copy full SHA for cd9b212

• Merge pull request crytic#1695 from bart1e/detector_for_cc_fix

  Show description for cf5e3be
  montyly

  authored
  cf5e3be

  Copy full SHA for cf5e3be

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

  0xalpharush

  committed
  9e7ff8f

  Copy full SHA for 9e7ff8f

• only look for library functions in the current scope

  0xalpharush

  committed
  fdd4232

  Copy full SHA for fdd4232

• add test files

  0xalpharush

  committed
  166a8ce

  Copy full SHA for 166a8ce

• fix import

  0xalpharush

  committed
  3cc5510

  Copy full SHA for 3cc5510

• add test

  0xalpharush

  committed
  1751091

  Copy full SHA for 1751091

• fmt

  0xalpharush

  committed
  3c0ef74

  Copy full SHA for 3c0ef74

• rm misc files

  0xalpharush

  committed
  1616f93

  Copy full SHA for 1616f93

Commits on Mar 7, 2023

• lint

  0xalpharush

  committed
  98d1c50

  Copy full SHA for 98d1c50

Commits on Mar 8, 2023

• Sync cc@master

  Show description for 36052fd
  montyly

  committed
  36052fd

  Copy full SHA for 36052fd

• deregister_detector

  Show description for a42c2cc
  sidarth16

  authored
  a42c2cc

  Copy full SHA for a42c2cc

• deregister_printer

  Show description for 4e2f1ac
  sidarth16

  authored
  4e2f1ac

  Copy full SHA for 4e2f1ac

• update deregister_detector()

  Show description for 611798c
  sidarth16

  authored
  611798c

  Copy full SHA for 611798c

• pylint: disable unidiomatic-typecheck

  sidarth16

  authored
  181ee42

  Copy full SHA for 181ee42

• pylint: disable unidiomatic-typecheck

  sidarth16

  authored
  646fb1e

  Copy full SHA for 646fb1e

• Merge pull request crytic#1723 from crytic/dev-sync-cc

  Show description for 61b7feb
  montyly

  authored
  61b7feb

  Copy full SHA for 61b7feb

• include return variables in uninit ptr detector

  0xalpharush

  committed
  9acddc3

  Copy full SHA for 9acddc3

• exclude storage params

  0xalpharush

  committed
  e26a520

  Copy full SHA for e26a520

• Merge pull request crytic#1725 from crytic/unitialized-storage-fix

  Show description for 65f1312
  montyly

  authored
  65f1312

  Copy full SHA for 65f1312

Commits on Mar 9, 2023

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

  Show description for 09a9b90
  0xalpharush

  authored
  09a9b90

  Copy full SHA for 09a9b90

• black

  sidarth16

  committed
  e483513

  Copy full SHA for e483513

• black

  sidarth16

  authored
  d5a8436

  Copy full SHA for d5a8436

• Improve parsing of contract's comment

  montyly

  committed
  76d8321

  Copy full SHA for 76d8321

• renaming to unregister_detector()

  Show description for 3850cf5
  

  sidarth16

  and

  0xalpharush

  authored
  3850cf5

  Copy full SHA for 3850cf5

• Update README.md

  montyly

  authored
  a9d399f

  Copy full SHA for a9d399f

• Update README.md

  montyly

  authored
  3691be0

  Copy full SHA for 3691be0

• Merge branch 'master' into dev

  montyly

  committed
  2cc92d7

  Copy full SHA for 2cc92d7

Commits on Mar 10, 2023

• isinstance()

  sidarth16

  authored
  275be58

  Copy full SHA for 275be58

• isinstance()

  sidarth16

  authored
  9b69da1

  Copy full SHA for 9b69da1

• rename to unregister_printer()

  sidarth16

  authored
  660ccb9

  Copy full SHA for 660ccb9

• fix stdout capture

  Show description for 5498e1b
  0xalpharush

  authored
  5498e1b

  Copy full SHA for 5498e1b

• Merge pull request crytic#1739 from crytic/dev

  Show description for 99cb0fb
  montyly

  authored
  99cb0fb

  Copy full SHA for 99cb0fb

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

  Show description for 2d6c4ee
  montyly

  authored
  2d6c4ee

  Copy full SHA for 2d6c4ee

• Merge branch 'master' into external-publications

  montyly

  committed
  ed4eada

  Copy full SHA for ed4eada

• Merge pull request crytic#1738 from crytic/external-publications

  Show description for 64b2e0c
  montyly

  authored
  64b2e0c

  Copy full SHA for 64b2e0c

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

  Show description for e11ae90
  montyly

  authored
  e11ae90

  Copy full SHA for e11ae90

• Merge branch 'master' into HEAD

  montyly

  committed
  ef2b707

  Copy full SHA for ef2b707

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

  montyly

  committed
  528e2d2

  Copy full SHA for 528e2d2

• Fix linters

  montyly

  committed
  8c58abe

  Copy full SHA for 8c58abe

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

  Show description for d4a7254
  montyly

  authored
  d4a7254

  Copy full SHA for d4a7254

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

  montyly

  committed
  76f86a1

  Copy full SHA for 76f86a1

• Print warning

  montyly

  committed
  ae5af4e

  Copy full SHA for ae5af4e

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

  Show description for 6b1b4ed
  montyly

  authored
  6b1b4ed

  Copy full SHA for 6b1b4ed

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

  Show description for af39ca9
  montyly

  authored
  af39ca9

  Copy full SHA for af39ca9

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

  Show description for fc47bf2
  montyly

  authored
  fc47bf2

  Copy full SHA for fc47bf2

• Improve tests from 1625

  montyly

  committed
  2f155e7

  Copy full SHA for 2f155e7

• lint

  0xalpharush

  committed
  20ca599

  Copy full SHA for 20ca599

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

  Show description for 295d128
  montyly

  authored
  295d128

  Copy full SHA for 295d128

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

  Show description for 829f7eb
  montyly

  authored
  829f7eb

  Copy full SHA for 829f7eb

• Test with legacy AST too

  montyly

  committed
  7aba140

  Copy full SHA for 7aba140

• make slither-read-storage dependencies explicit

  0xalpharush

  committed
  12682c3

  Copy full SHA for 12682c3

• inspect whether package is installed

  0xalpharush

  committed
  3861029

  Copy full SHA for 3861029

• make dev install read-storage deps

  0xalpharush

  committed
  d9fda0b

  Copy full SHA for d9fda0b

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

  Show description for 462da76
  montyly

  authored
  462da76

  Copy full SHA for 462da76

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

  Show description for 6ff1774
  montyly

  authored
  6ff1774

  Copy full SHA for 6ff1774

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

  Show description for cb37650
  montyly

  authored
  cb37650

  Copy full SHA for cb37650

• Improve top level functions format

  smonicas

  committed
  6236e54

  Copy full SHA for 6236e54

Commits on Mar 13, 2023

• update filter-paths help

  0xalpharush

  authored
  f67c96b

  Copy full SHA for f67c96b

• add abstract contract property

  

  bsamuels453

  authored and

  0xalpharush

  committed
  fc20b43

  Copy full SHA for fc20b43

• change prop name to is_fully_implemented

  

  bsamuels453

  authored and

  0xalpharush

  committed
  94b42ee

  Copy full SHA for 94b42ee

• Add tests

  

  montyly

  authored and

  0xalpharush

  committed
  c08cbee

  Copy full SHA for c08cbee

• fmt

  0xalpharush

  committed
  5a37d30

  Copy full SHA for 5a37d30

• fix merge mistake

  0xalpharush

  committed
  dc28a1e

  Copy full SHA for dc28a1e

• select solc version for test_ternary_conversions

  0xalpharush

  committed
  9e79ec6

  Copy full SHA for 9e79ec6

• add import

  0xalpharush

  committed
  ba6ef45

  Copy full SHA for ba6ef45

Commits on Mar 14, 2023

• add issue template for false neg. and positive

  0xalpharush

  committed
  517d36e

  Copy full SHA for 517d36e

• Update .github/ISSUE_TEMPLATE/false_negative.yml

  0xalpharush

  authored
  4a69025

  Copy full SHA for 4a69025

Commits on Mar 15, 2023

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

  Show description for 137bee1
  montyly

  authored
  137bee1

  Copy full SHA for 137bee1

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

  Show description for 5c52921
  montyly

  authored
  5c52921

  Copy full SHA for 5c52921

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

  Show description for 979f307
  montyly

  authored
  979f307

  Copy full SHA for 979f307

• make web3>=6.0.0 a dependency

  0xalpharush

  committed
  a31282b

  Copy full SHA for a31282b

Commits on Mar 16, 2023

• add bug revealing test for crytic#1748

  Troublor

  committed
  547a804

  Copy full SHA for 547a804

• fix crytic#1748

  Troublor

  committed
  6eab0b2

  Copy full SHA for 6eab0b2

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

  Show description for 096769b
  montyly

  authored
  096769b

  Copy full SHA for 096769b

• include salt in NewContract op, add test infra

  0xalpharush

  committed
  cd1ec36

  Copy full SHA for cd1ec36

Commits on Mar 17, 2023

• fix evm printer

  0xalpharush

  committed
  20fbfd4

  Copy full SHA for 20fbfd4

• update printer tests

  0xalpharush

  committed
  d6adbca

  Copy full SHA for d6adbca

• merge dev

  0xalpharush

  committed
  bc65997

  Copy full SHA for bc65997

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

  Show description for 8a01247
  montyly

  authored
  8a01247

  Copy full SHA for 8a01247

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

  Show description for f0603b4
  montyly

  authored
  f0603b4

  Copy full SHA for f0603b4

• Merge branch 'master' into dev

  montyly

  committed
  337ed45

  Copy full SHA for 337ed45

• update linter.yml name

  0xalpharush

  authored
  9dccce3

  Copy full SHA for 9dccce3

• Minor

  montyly

  committed
  400dfd6

  Copy full SHA for 400dfd6

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

  Show description for 081056c
  montyly

  authored
  081056c

  Copy full SHA for 081056c

• Merge pull request crytic#1768 from crytic/dev

  Show description for 5869d74
  montyly

  authored
  5869d74

  Copy full SHA for 5869d74

• correct web3 to be required, not dev dep

  0xalpharush

  committed
  462396e

  Copy full SHA for 462396e

• Merge pull request crytic#1771 from crytic/fix-required-deps

  Show description for d43580a
  montyly

  authored
  d43580a

  Copy full SHA for d43580a

• Merge pull request crytic#1679 from crytic/abstract-contract

  Show description for d35b10b
  montyly

  authored
  d35b10b

  Copy full SHA for d35b10b

• Merge pull request crytic#1706 from sidarth16/patch-2

  Show description for 785699e
  montyly

  authored
  785699e

  Copy full SHA for 785699e

• Merge branch 'issue_1748' of github.com:Troublor/slither into Troublor-issue_1748

  montyly

  committed
  baf9005

  Copy full SHA for baf9005

• Merge pull request crytic#1772 from crytic/Troublor-issue_1748

  Show description for d128523
  montyly

  authored
  d128523

  Copy full SHA for d128523

• Update solc version recommendations

  montyly

  committed
  b2240b8

  Copy full SHA for b2240b8

• Improve error message

  montyly

  committed
  be68b6f

  Copy full SHA for be68b6f

• Minor

  montyly

  committed
  fba4f7d

  Copy full SHA for fba4f7d

• Merge pull request crytic#1773 from crytic/dev-solc

  Show description for 1b601c5
  montyly

  authored
  1b601c5

  Copy full SHA for 1b601c5

• Update readme

  montyly

  committed
  efeea53

  Copy full SHA for efeea53

• Merge pull request crytic#1774 from crytic/dev

  Show description for 776dcab
  montyly

  authored
  776dcab

  Copy full SHA for 776dcab

• 0.9.3

  montyly

  committed
  e6b8af8

  Copy full SHA for e6b8af8

Commits on Apr 8, 2023

• Merge tag '0.9.3' into certik

  Show description for d98d102
  

  Duckki Oe

  committed
  d98d102

  Copy full SHA for d98d102

• fix: reverted an upstream change (crytic/pull/1761)

  Show description for b9edcc4
  

  Duckki Oe

  committed
  b9edcc4

  Copy full SHA for b9edcc4