crytic / crytic/slither

dead-code detector: FP on function pointer

Open
#891 1 comment 0 reactions 0 assignees View on GitHub
enhancement false-positive
Dominant language
Python
Stars
6.4k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

If a function is used as a function pointer, the `dead-code` detector will report FP

Contributor guide

Open the contributing guide

Research direction

Start with the dead-code detector and reproduce the function-pointer case described in the issue, then inspect how function-pointer uses are classified. Done means the detector no longer reports a false positive for a function used as a function pointer, with a regression test covering that case.

Written by the indexing model from the issue text.

Assessment

Tech stack
python, solidity
Domain
devtools, security
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.