All pull requests

Pull requests

• docs: fix broken relative links in static analysis and tutorials pages

  #3128·imitater-dou opened Oct 23, 2026·

  ·
  1

• chore(deps): bump the all group across 1 directory with 6 updates

  dependenciespython:uv
  #3126·dependabot[bot] opened Oct 21, 2026Bot·

  ·

• fix: skip inline assembly in incorrect-exp detector

  #3125·theamanullahdev opened Oct 21, 2026·

  ·

• fix: handle tuple returns from Vyper interface variables

  #3124·er-s-an opened Oct 21, 2026·

  ·
  1

• feat: identify cacheable accumulators in costly-loop

  #3123·demis1997 opened Oct 20, 2026·

  ·

• feat: detect invariant scalar storage reads in loops

  #3122·demis1997 opened Oct 20, 2026·

  ·

• feat: detect read-only external memory parameters

  #3121·demis1997 opened Oct 20, 2026·

  ·

• feat: detect storage layouts that can use fewer slots

  #3120·demis1997 opened Oct 20, 2026·

  ·

• feat: detect literal revert strings eligible for custom errors

  #3119·demis1997 opened Oct 20, 2026·

  ·

• chore(deps): bump multidict from 6.7.1 to 6.9.1

  dependenciespython:uv
  #3118·dependabot[bot] opened Oct 20, 2026Bot·

  ·

• chore(deps): bump aiohttp from 3.14.3 to 3.14.4

  dependenciespython:uv
  #3117·dependabot[bot] opened Oct 20, 2026Bot·

  ·

• IR: tolerate unresolved internal library calls (widened parenthesized using for target)

  #3116·HusseinAdeiza opened Oct 19, 2026·

  ·
  1

  1

• fix: build ROR mutants from the comparison, not the statement

  #3115·pucedoteth opened Oct 16, 2026·

  ·
  1

• fix: detect reentrancy through internal calls

  #3114·atahabilder1 opened Oct 15, 2026·

  ·
  1

  1

• chore(deps): bump the all group across 1 directory with 12 updates

  dependenciesgithub_actions
  #3112·dependabot[bot] opened Oct 14, 2026Bot·

  ·

• fix: detect tx.origin authorization in modifiers

  #3111·AkhilY opened Oct 12, 2026·

  ·
  1

• docs: regenerate README detector table from slither --markdown

  #3110·mikeua opened Oct 12, 2026·

  ·
  1

• fix: convert every convertible field in solidity_signature structs

  #3108·JackLee992 opened Oct 10, 2026·

  ·
  1

  1

• chore(deps): bump urllib3 from 2.7.0 to 2.8.0

  dependenciespython:uv
  #3106·dependabot[bot] opened Oct 6, 2026Bot·

  ·

• Add properties printer for echidna/manticore-verifier properties

  #3105·bingtang9 opened Sep 29, 2026·

  ·
  1

  1

• fix: typing for mixed-width sum whose left operand is narrower

  #3104·vbar opened Sep 24, 2026·

  ·
  1

  2

• Add erc7562-banned-opcodes detector for ERC-4338 validation functions

  #3096·saintparish4 opened Sep 7, 2026·

  ·
  1

• Merge inherited using-for directives instead of overwriting them

  #3094·DefiAudit0x opened Sep 6, 2026·

  ·
  1

• Add quantum-vulnerable-signatures detector (ecrecover / ECDSA.recover)

  #3093·DefiAudit0x opened Sep 5, 2026·

  ·
  1

  1

• fix(detectors): recognize Chainlink version function

  #3090·elonfliter opened Aug 31, 2026·

  ·
  2