-
Notifications
You must be signed in to change notification settings - Fork 1k
Issues: crytic/slither
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Filter paths before parsing and lowering AST when possible
enhancement
New feature or request
High Priority
#2421
opened Apr 11, 2024 by
izcoser
More robust triage mode
enhancement
New feature or request
High Priority
#2300
opened Feb 8, 2024 by
mds1
[Bug]: Issue with last_name function not identifying assignments in inline assembly
bug
Something isn't working
High Priority
yul
#2160
opened Oct 7, 2023 by
BradMoonUESTC
[Feature Request]: Printer to report all external calls in a contract
enhancement
New feature or request
High Priority
#2074
opened Aug 1, 2023 by
mds1
add support for filtering results by passing New feature or request
High Priority
git diff
output
enhancement
#1954
opened Jun 8, 2023 by
0xalpharush
documentation tracking issue
High Priority
tracking
#1859
opened Apr 24, 2023 by
0xalpharush
5 tasks
refactor New feature or request
High Priority
meta
AbstractDetector
to use the visitor pattern
design
enhancement
#1751
opened Mar 13, 2023 by
0xalpharush
[Bug]: Library call function is not an instance of Something isn't working
High Priority
Function
bug
test suite for slither-check-upgradeability
High Priority
testing
#1580
opened Jan 10, 2023 by
0xalpharush
[bug]:version 0.9.1 crashes "AttributeError: 'NoneType' object has no attribute 'context'" related to using for/ constant folding
bug
Something isn't working
High Priority
#1467
opened Nov 13, 2022 by
thedavidmeister
Create detectors for semantic changes due to Solidity IR
help wanted
Extra attention is needed
High Priority
#1169
opened Apr 14, 2022 by
montyly
Buidler/hardat output: filter New feature or request
High Priority
console
contract
enhancement
#767
opened Jan 12, 2021 by
montyly
[Tracking] Ideas for Printer CLI & API improvements
High Priority
tracking
ux
#759
opened Jan 6, 2021 by
snd
Add --exclude-test flag
enhancement
New feature or request
help wanted
Extra attention is needed
High Priority
#691
opened Nov 17, 2020 by
montyly
Create PR template for detectors
enhancement
New feature or request
High Priority
#689
opened Nov 15, 2020 by
montyly
Slither incorrectly lifts a low level call as reference variable member IR
bug
Something isn't working
High Priority
new detector
#525
opened Jul 5, 2020 by
priyankabose
Fails to parse certain tuple assignments
bug
Something isn't working
High Priority
#306
opened Jul 29, 2019 by
arxenix
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.