crytic/slither

Issues

• [Bug]: ERROR:ContractSolcParsing when using same alias for import

  #2454 opened 11 days ago by MarHalborn
  2

• remove deprecated flags for next breaking release

  #2351 opened 13 days ago by 0xalpharush
  1

• expose virtual and override attributes from AST in solidity `Function`

  #2327 opened 14 days ago by 0xalpharush
  0

• [Bug-Candidate]: ERROR:SlitherSolcParsing

  #2456 opened 16 days ago by rayInfinex
  2

• [Bug- Candidate]: Failed to generate IR

  #2443 opened a month ago by sasiyaluba
  1

• [Bug]: detectors `unused-import`, `solc-version` and `pragma` ignore `filter_paths` config

  #2415 opened 2 months ago by cruzdanilo
  2

• Storage method of control flow diagram

  #2364 opened 2 months ago by zhangzone
  2

• [Bug-Candidate]: Fail to scan in a project that supports both Hardhat and Foundry, keeps deleting the `build-info` folder when `slither .` is used

  #2446 opened a month ago by SquilliamX
  7

• Add Support for Integer overflow and underflow detection

  #2451 opened a month ago by Akshat-Mishra101
  4

• Monthly issue metrics report

  #2450 opened a month ago by github-actions
  0

• [Bug]: ERROR:root:Top level EventDefinition not supported

  #2445 opened a month ago by SquilliamX
  5

• [False-Positive]: `Block timestamp` and `Dangerous strict equalities`

  #2425 opened 2 months ago by pcaversaccio
  2

• Regarding the issues during the slither detection process

  #2437 opened a month ago by zhangzone
  1

• Monthly issue metrics report

  #2434 opened a month ago by github-actions
  0

• [Bug]: EVM printer fails for Abstract Contracts

  #2430 opened a month ago by DarkaMaul
  0

• Sarif error output

  #2337 opened 3 months ago by JoranHonig
  1

• add `detectors_to_include` which overrides `exclude_*`

  #2429 opened a month ago by 0xalpharush
  0

• [Bug]: slither.core.expressions.new_contract.NewContract object's contract_name field is not str

  #2424 opened 2 months ago by Tiko7454
  3

• [Bug-Candidate]: Slither calls solc with non-existant option "--evm-version"

  #2422 opened 2 months ago by izcoser
  2

• Filter paths before parsing and lowering AST when possible

  #2421 opened 2 months ago by izcoser
  2

• add diagnostic when `KeyError` is thrown by crytic-compile

  #2328 opened 3 months ago by 0xalpharush
  0

• [Bug]: MetaMorpho

  #2399 opened 2 months ago by Jean-Grimal
  1

• Detector 'Too Many Digits' is confusing, change name to 'Quantifier amount is ambiguous'

  #2352 opened 2 months ago by sambacha
  5

• [Bug]: Slither cannot process file aliases

  #2309 opened 2 months ago by Tiko7454
  1

• use pytest parameterize instead of list of booleans

  #2350 opened 2 months ago by 0xalpharush
  1

• filter `name-reused` to only run on Truffle projects

  #2390 opened 2 months ago by 0xalpharush
  0

• [Bug]: High level call does not always have function

  #2307 opened 2 months ago by Tiko7454
  1

• API change: rename sons/father to next/predecessor in nodes

  #2398 opened 2 months ago by montyly
  0

• Failed to generate IR for L2UsdcBridge.onlyEOA.

  #2377 opened 2 months ago by xxeonge
  3

• [Bug-Candidate]: pip install fails when run against fresh install due to hexbytes version mismatch

  #2395 opened 2 months ago by BramSrna
  2

• [Bug]: Failed to generate IR for a function

  #2369 opened 2 months ago by dnkolegov
  3

• Record name location for declarations

  #2380 opened 2 months ago by frabert
  2

• [False-Positive]: Vyper constant-states

  #2379 opened 2 months ago by trocher
  0

• [Bug-Candidate]: Vyper unpacking call's returned values crash Slither

  #2378 opened 2 months ago by trocher
  0

• [Bug-Candidate]: Vyper interfaces with default argument crash Slither

  #2375 opened 2 months ago by trocher
  0

• [Bug]: Slither cannot parse event arguments from global scope

  #2359 opened 2 months ago by Tiko7454
  0

• [Bug]: Events not recognizing type aliases

  #2362 opened 2 months ago by Tiko7454
  1

• Failed to generate IR

  #2354 opened 2 months ago by AaronLee22
  20

• error slither: command not found.

  #2355 opened 3 months ago by kartik-giri
  0

• support for cancun: transient storage opcodes, blobhash

  #2345 opened 3 months ago by d1onys1us
  2

• [False-Positive]: Erroneous "should be constant" detector

  #2325 opened 3 months ago by mds1
  0

• Allow users to filter files under test

  #2336 opened 3 months ago by JoranHonig
  2

• Starter foundry project fails

  #2335 opened 3 months ago by JoranHonig
  2

• [Question] Whats the difference between running slither with optimize flag and without

  #2322 opened 3 months ago by Tiko7454
  4

• Detect unused local variables (including in Yul blocks)

  #2324 opened 3 months ago by mds1
  2

• [Bug]: None when requested immediate inheritance

  #2304 opened 3 months ago by Tiko7454
  4

• Increase granularity dataflow analysis

  #2313 opened 3 months ago by JoranHonig
  1

• [Bug-Candidate]: Fail to scan in a project that supports both Hardhat and Foundry

  #2316 opened 3 months ago by 0xmichalis
  15

• More robust triage mode

  #2300 opened 4 months ago by mds1
  2

• [Bug-Candidate]: `KeyError: 7468` after fixing report

  #2296 opened 4 months ago by mds1
  3