Code

Spot Price detector#2448

Code

Open

talfao wants to merge 60 commits intocrytic:devcrytic/slither:devfrom talfao:onchain_oraclestalfao/slither:onchain_oraclesCopy head branch name to clipboard

+756

Commits

Commits on Apr 27, 2024

• Update installation instrucitons

  

  0xalpharush

  authored and

  talfao

  committed
  38cc41a

• Update Dockerfile

  

  0xalpharush

  authored and

  talfao

  committed
  f0f1200

• Bump actions/setup-node from 3 to 4

  Show description for a9e52aa
  

  dependabot[bot]

  authored and

  talfao

  committed
  a9e52aa

• Error when a missing contract is specified to read-storage. Previously this just silently exited

  

  UsmannK

  authored and

  talfao

  committed
  c316a81

• Bump cachix/install-nix-action from 23 to 24

  Show description for 4bfb61e
  

  dependabot[bot]

  authored and

  talfao

  committed
  4bfb61e

• Bump actions/configure-pages from 3 to 4

  Show description for 72a8e4b
  

  dependabot[bot]

  authored and

  talfao

  committed
  72a8e4b

• Bump actions/deploy-pages from 2 to 3

  Show description for a2c5206
  

  dependabot[bot]

  authored and

  talfao

  committed
  a2c5206

• Bump pypa/gh-action-pypi-publish from 1.8.10 to 1.8.11

  Show description for 6d5def6
  

  dependabot[bot]

  authored and

  talfao

  committed
  6d5def6

• remove unused files

  

  0xalpharush

  authored and

  talfao

  committed
  12ac369

• fix is_reentrant for internal vyper functions

  

  0xalpharush

  authored and

  talfao

  committed
  435871f

• Substituted the letter 'z' with 'x' in pre-declaration

  

  ATREAY

  authored and

  talfao

  committed
  c225727

• updated mutator

  

  vishnuram1999

  authored and

  talfao

  committed
  a3dd9b1

• Updated replace string logic

  

  vishnuram1999

  authored and

  talfao

  committed
  7984ad3

• Added new mutant generators

  

  vishnuram1999

  authored and

  talfao

  committed
  4eba366

• Added new mutators

  

  vishnuram1999

  authored and

  talfao

  committed
  40305bb

• Updated mutators

  

  vishnuram1999

  authored and

  talfao

  committed
  107c42b

• Updated run_test_cmd

  

  vishnuram1999

  authored and

  talfao

  committed
  f001bad

• updated create patch

  

  vishnuram1999

  authored and

  talfao

  committed
  dfed543

• Added contract_names arg

  

  vishnuram1999

  authored and

  talfao

  committed
  25ed527

• updated quick

  

  vishnuram1999

  authored and

  talfao

  committed
  6ae8579

• Added README

  

  vishnuram1999

  authored and

  talfao

  committed
  9ce98f4

• Updated arguments

  

  vishnuram1999

  authored and

  talfao

  committed
  3db8da2

• Updated mutators

  

  vishnuram1999

  authored and

  talfao

  committed
  a51fd70

• Updated files

  

  vishnuram1999

  authored and

  talfao

  committed
  6f584ec

• Updated with formatting

  

  vishnuram1999

  authored and

  talfao

  committed
  89e90b7

• Formatted mutators

  

  vishnuram1999

  authored and

  talfao

  committed
  5c88d6e

• Formatted test_patch

  

  vishnuram1999

  authored and

  talfao

  committed
  31ef3f1

• Bump cachix/cachix-action from 12 to 14 (crytic#2275)

  Show description for 114e864
  

  dependabot[bot]

  authored and

  talfao

  committed
  114e864

• Bump actions/upload-artifact from 3 to 4 (crytic#2265)

  Show description for e944173
  

  dependabot[bot]

  authored and

  talfao

  committed
  e944173

• Bump actions/setup-python from 4 to 5 (crytic#2259)

  Show description for 8e4e634
  

  dependabot[bot]

  authored and

  talfao

  committed
  8e4e634

• Detect also in modifiers (crytic#2280)

  

  smonicas

  authored and

  talfao

  committed
  d0761a3

• Fix/iterative update (crytic#2206)

  Show description for 04426e0
  

  0xalpharush

  authored and

  talfao

  committed
  04426e0

• fix: detect selfdestruct in internal calls (crytic#2232)

  Show description for cda9a9d
  

  0xalpharush

  authored and

  talfao

  committed
  cda9a9d

• Bump actions/deploy-pages from 3 to 4 (crytic#2285)

  Show description for 5a8b636
  

  dependabot[bot]

  authored and

  talfao

  committed
  5a8b636

• Bump cachix/install-nix-action from 24 to 25 (crytic#2286)

  Show description for 9c2110e
  

  dependabot[bot]

  authored and

  talfao

  committed
  9c2110e

• Bump sigstore/gh-action-sigstore-python from 2.1.0 to 2.1.1 (crytic#2293)

  Show description for 2e089b6
  

  dependabot[bot]

  authored and

  talfao

  committed
  2e089b6

• Bump actions/upload-pages-artifact from 2 to 3 (crytic#2294)

  Show description for 565fa7c
  

  dependabot[bot]

  authored and

  talfao

  committed
  565fa7c

• Fix using for when used with "this" (crytic#2224)

  

  smonicas

  authored and

  talfao

  committed
  0ded68d

• fix: broken doc links (crytic#2299)

  Show description for 6449529
  

  mds1

  authored and

  talfao

  committed
  6449529

• feat: First version of Uniswap spot price detection

  talfao

  committed
  2450fbc

• feat: Test data with getReserves

  talfao

  committed
  20843df

• feat: balanceOF spot price detection

  talfao

  committed
  ee7055b

• feat: Add comments

  talfao

  committed
  fac7b33

• feat: making analysis faster

  talfao

  committed
  947e447

• fix: remove files which should be in different branch

  talfao

  committed
  2e5e4bc

• fix: balanceOf check

  talfao

  committed
  f640165

• fix: balanceOf issue

  talfao

  committed
  1fa07aa

• fix: pylint issues

  talfao

  committed
  51a58bf

• feat: improvement for detecting correct balanceOF scenario

  talfao

  committed
  89a6d75

• feat: getAmountOut add as problem + tainting vars

  talfao

  committed
  a21fc91

• feat: break loop earlier in tracking

  talfao

  committed
  784d0e4

• feat: remove cumulativePrice and case when slot0 does not return price

  talfao

  committed
  ead9998

• fix: slot0 must return price

  talfao

  committed
  921f6cb

• feat: get calculate functions

  talfao

  committed
  9e0d446

• fix: pure and view evaluating

  talfao

  committed
  f042e6c

• fix: reformating

  talfao

  committed
  70c187e

• Swap detection

  talfao

  committed
  0d1e276

• feat: add more comments before merge

  talfao

  committed
  070b785

• fix: rebase branch

  talfao

  committed
  a8a7722

• Merge dev to on-chain branch

  talfao

  committed
  f2c9409