Issues

• [Bug-Candidate]: "Impossible to generate IR" when a using for library function is called on a mixed-width sum whose left operand is narrower

  bug-candidate
  crytic/slither#3103 · Filter by author vbar opened on Sep 24, 2026

• 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.

  enhancement
  crytic/slither#3095 · Filter by author saintparish4 opened on Sep 6, 2026

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

  crytic/slither#3082 · Filter by author oladoteth opened on Aug 17, 2026
  2

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

  enhancement
  crytic/slither#3070 · Filter by author peakyvin opened on Aug 5, 2026
  1

• solidity_signature is wrong for structs with repeated convertible field types (shared seen set)

  crytic/slither#3064 · Filter by author ataberk-xyz opened on Jul 29, 2026

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

  crytic/slither#3055 · Filter by author holistis opened on Jul 20, 2026

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

  crytic/slither#3054 · Filter by author holistis opened on Jul 20, 2026
  2

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

  enhancement
  crytic/slither#3041 · Filter by author MarkLee131 opened on May 29, 2026
  1

• AssertionError in resolve_remapping_and_renaming when analyzing contract with import aliasing

  crytic/slither#3019 · Filter by author Aniket-Engg opened on May 11, 2026
  1

• Enhancement: Add ACN Mutator (assert(...) Condition Negation)

  enhancement
  crytic/slither#2999 · Filter by author sidarth16 opened on Apr 3, 2026

• Enhancement: Add RCN Mutator (require(...) Condition Negation)

  enhancement
  crytic/slither#2997 · Filter by author sidarth16 opened on Apr 2, 2026

• Structs.ShiftChanges

  bug-candidate
  crytic/slither#2954 · Filter by author alaskanking19 opened on Jan 24, 2026

• add mutator to swap argument calling order if arguments are of the same type

  enhancement
  crytic/slither#2947 · Filter by author bsamuels453 opened on Jan 22, 2026

• [Bug-Candidate]: Slither failed to reference external function using the IdentifierPath approach

  bug-candidate
  crytic/slither#2839 · Filter by author lum7na opened on Dec 19, 2025

• [Bug-Candidate]: Slither is unable to locate the Modifier referenced in the IdentifierPath format.

  bug-candidate
  crytic/slither#2838 · Filter by author lum7na opened on Dec 19, 2025

• [Bug-Candidate]: Slither cannot recognize the selector of locally declared functions.

  bug-candidate
  crytic/slither#2837 · Filter by author lum7na opened on Dec 19, 2025
  1

• [Bug-Candidate]: The ternary operator does not support structs.

  bug-candidate
  crytic/slither#2836 · Filter by author lum7na opened on Dec 19, 2025

• [Bug-Candidate]: SlithIR Incorrect Tuple Order of Evaluation

  bug-candidate
  crytic/slither#2810 · Filter by author mathcelo opened on Oct 22, 2025

• [Bug-Candidate]: Foundry project with node module dependencies can not be analyzed in github action.

  bug-candidate
  crytic/slither#2798 · Filter by author Supeeerpower opened on Sep 15, 2025
  6

• [Bug-Candidate]: Slither fails to correctly parse Vyper function parameters in IR

  bug-candidate
  crytic/slither#2796 · Filter by author Subway2023 opened on Sep 9, 2025

• [Bug-Candidate]: parsing foundry's scoped remapping syntax for conflict resolution

  bug-candidate
  crytic/slither#2791 · Filter by author penandlim opened on Sep 1, 2025

• Enhancement: Add Language Server Protocol (LSP) Support

  enhancement
  crytic/slither#2785 · Filter by author dguido opened on Aug 29, 2025

• Enhancement: Add Automatic Token Standard Detection Printer

  enhancement
  crytic/slither#2783 · Filter by author dguido opened on Aug 29, 2025
  1

• Enhancement: Comprehensive Dead Code Detection for Errors, Events, and Modifiers

  enhancement
  crytic/slither#2782 · Filter by author dguido opened on Aug 29, 2025

• Enhancement: Detect msg.value Usage in Non-Payable Functions

  enhancement
  crytic/slither#2781 · Filter by author dguido opened on Aug 29, 2025
  2