Skip to content

Pull requests: crytic/slither

New pull request New
71 Open 1,467 Closed
71 Open 1,467 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat: add C3 linearization printer for inheritance analysis
#2917 opened Jan 16, 2026 by ep0chzer0 Loading…
1
fix: handle unhashable types in using_for lookup
#2916 opened Jan 16, 2026 by ep0chzer0 Loading…
1
fix: only exclude unoverridden virtual functions in inheritance-graph
#2915 opened Jan 16, 2026 by ep0chzer0 Loading…
fix: correct NewContract expression type annotation
#2914 opened Jan 16, 2026 by ep0chzer0 Loading…
1
fix: output to stdout instead of stderr
#2912 opened Jan 16, 2026 by ep0chzer0 Loading…
1
3
fix: handle TypeAlias in read_storage for custom value types
#2911 opened Jan 16, 2026 by ep0chzer0 Loading…
1
1
feat: add reference URL to JSON output
#2910 opened Jan 16, 2026 by ep0chzer0 Loading…
1
1
Fix call-graph printer to distinguish overloaded functions
#2909 opened Jan 16, 2026 by ep0chzer0 Loading…
3 tasks done
1
1
Add enum ranges to echidna printer output
#2908 opened Jan 16, 2026 by ep0chzer0 Loading…
3 tasks done
1
1
Fix inheritance printer output formatting
#2907 opened Jan 16, 2026 by ep0chzer0 Loading…
2 tasks done
1
1
Fix external_calls_as_expressions to exclude builtins and library calls
#2906 opened Jan 16, 2026 by ep0chzer0 Loading…
2 tasks done
1
1
Fix dead-code detector incorrectly flagging library functions
#2905 opened Jan 16, 2026 by ep0chzer0 Loading…
2 tasks done
1
1
Fix call-graph printer to support top-level functions
#2904 opened Jan 16, 2026 by ep0chzer0 Loading…
3 tasks done
1
1
Show detector name with exclude flag in output
#2903 opened Jan 16, 2026 by ep0chzer0 Loading…
1
1
Add detector for unused custom error definitions
#2902 opened Jan 16, 2026 by ep0chzer0 Loading…
4 of 5 tasks
1
2
fix: raise exception for malformed disable comments
#2897 opened Jan 16, 2026 by dguido Loading…
2 tasks done
1
Add --exclude-location flag to hide file locations in detector messages
#2872 opened Jan 15, 2026 by ep0chzer0 Loading…
1
4
Add detector for msg.value usage unreachable from payable entry points
#2867 opened Jan 14, 2026 by sidarth16 Loading…
1
1
Do not update a contract in scope if already present
#2862 opened Jan 8, 2026 by smonicas • Draft
Fix function-summary printer incorrectly reporting internal calls as external
#2840 opened Dec 20, 2025 by edlsh Loading…
1
2
fix: use block comments in CR mutator to prevent compilation errors
#2830 opened Dec 5, 2025 by stevennevins Loading…
1
Bug Fix: Overloaded functions broke when array literals were called. #2209
#2806 opened Oct 18, 2025 by quirps Loading…
2
Add data flow analysis engine enhancement New feature or request
#2801 opened Sep 19, 2025 by mathcelo Loading…
@smonicas
1
feat: Add Function module to detect functions returning msg.sender directly or via alias
#2753 opened Jul 12, 2025 by sidarth16 Loading…
1
2
Add TypeAliasTopLevel support to read_storage
#2746 opened Jul 3, 2025 by cabreraam Loading…
4
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.