-
Notifications
You must be signed in to change notification settings - Fork 1.1k
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
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.enhancementNew feature or requestNew feature or requestStatus: Open.#3095 In crytic/slither;- Status: Open.#3082 In crytic/slither;
Feature request: detector for quantum-vulnerable signature schemes (ecrecover / ECDSA.recover)
enhancementNew feature or requestNew feature or requestStatus: Open.#3070 In crytic/slither;- Status: Open.#3064 In crytic/slither;
- Status: Open.#3055 In crytic/slither;
- Status: Open.#3054 In crytic/slither;
incorrect-equality: gate on callee mutability to suppress view/pure helper FPs
enhancementNew feature or requestNew feature or requestStatus: Open.#3041 In crytic/slither;- Status: Open.#3019 In crytic/slither;
Enhancement: Add ACN Mutator (
assert(...)Condition Negation)enhancementNew feature or requestNew feature or requestStatus: Open.#2999 In crytic/slither;Enhancement: Add RCN Mutator (
require(...)Condition Negation)enhancementNew feature or requestNew feature or requestStatus: Open.#2997 In crytic/slither;Structs.ShiftChanges
bug-candidateBugs reports that are not yet confirmedBugs reports that are not yet confirmedStatus: Open.#2954 In crytic/slither;add mutator to swap argument calling order if arguments are of the same type
enhancementNew feature or requestNew feature or requestStatus: Open.#2947 In crytic/slither;