Repository Issue Activity (beta)

#1737 RecursionError: maximum recursion depth exceeded

#3095 A detector for [ERC-7562](https://eips.ethereum.org/EIPS/eip-7562) banned opcodes reachable from an ERC-4337 validation function (`validateUserOp`, `validatePaymasterUserOp`), following internal calls, library calls and modifiers.

#3082 [Bug]: IR generation crashes on ERC7739-style calldata tuple destructuring ('NoneType' object has no attribute 'parameters'), silently dropping inheriting contracts from analysis

#3070 Feature request: detector for quantum-vulnerable signature schemes (ecrecover / ECDSA.recover)

#857 slither-doc: generate doc from natspec

#3054 [False-Positive]: incorrect-shift and incorrect-exp produce 24 High-severity false positives on lib/solady

#3047 [Bug-Candidate]: Slither not compatível with new Hardhat Versions

#3064 solidity_signature is wrong for structs with repeated convertible field types (shared `seen` set)

#595 Support slither.conf.json and slither.config.json

#1136 Slither claims an upgradeTo function is exposed when it (likely?) is not

#1206 Fix typos in detectors documentation

#1780 update register printer to consider multiple compilation units

#3034 [False-Positive]: incorrect-modifier — modifiers ending in revert("string") or custom-error revert

#1815 [False-Positive]: assembly function parameters that are mixed case get flagged as not mixed case

#3037 [False-Positive]: naming-convention flags Yul-local function parameters by their parser-mangled name

#3039 [False-Positive]: divide-before-multiply fires when the divided variable is fully reassigned before the multiplication

#3055 [False-Positive]: arbitrary-send-erc20 fires on EIP-712 signed order patterns

#2759 [False-Positive]: incorrect-equality

#2283 Detectors related to improper usage of Oracle APIs

#3019 AssertionError in resolve_remapping_and_renaming when analyzing contract with import aliasing

#3041 incorrect-equality: gate on callee mutability to suppress view/pure helper FPs

#3042 Support newer crytic-compile releases

#1155 [Bug-Candidate]: Wiki "Configuration File" section missing supported flags

#3009 ReferenceVariable.points_to setter rejects ElementaryType propagated from Member placeholder (paired with member.py crash)

#3008 Member IR rejects StructureTopLevel variable_left on modern-solc external-self-call (solc 0.8.33 Gateway.this{gas}(..))