René's URL Explorer Experiment


Title: GitHub - pyeth/slither: Static Analyzer for Solidity and Vyper

Open Graph Title: GitHub - pyeth/slither: Static Analyzer for Solidity and Vyper

X Title: GitHub - pyeth/slither: Static Analyzer for Solidity and Vyper

Description: Static Analyzer for Solidity and Vyper. Contribute to pyeth/slither development by creating an account on GitHub.

Open Graph Description: Static Analyzer for Solidity and Vyper. Contribute to pyeth/slither development by creating an account on GitHub.

X Description: Static Analyzer for Solidity and Vyper. Contribute to pyeth/slither development by creating an account on GitHub.

Mail addresses
opensource@trailofbits.com

Opengraph URL: https://github.com/pyeth/slither

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:125018f4-9896-fb23-2e46-a5463c1955e8
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idA31C:A5EEF:2D6F678:3A1DA3A:697FF66A
html-safe-nonce4fe4d45c1c569f2e86913ac4abf116950d52f44be8d281b836b50fb0353a647f
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBMzFDOkE1RUVGOjJENkY2Nzg6M0ExREEzQTo2OTdGRjY2QSIsInZpc2l0b3JfaWQiOiIxNzIzOTI5MTU3NzQ3ODY1MTk0IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmac86ae2b035170f418fed7a27f6103084df8164a0ab6cfb1f59dab1b50178bc8bd
hovercard-subject-tagrepository:901108131
github-keyboard-shortcutsrepository,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location//
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/pyeth/slither
twitter:imagehttps://opengraph.githubassets.com/06a4c503fafe7a6fa37f33559029dbadceeb2a964004ab3a369f95679c3c1ad6/pyeth/slither
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/06a4c503fafe7a6fa37f33559029dbadceeb2a964004ab3a369f95679c3c1ad6/pyeth/slither
og:image:altStatic Analyzer for Solidity and Vyper. Contribute to pyeth/slither development by creating an account on GitHub.
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None60279d4097367e16897439d16d6bbe4180663db828c666eeed2656988ffe59f6
turbo-cache-controlno-preview
go-importgithub.com/pyeth/slither git https://github.com/pyeth/slither.git
octolytics-dimension-user_id167359092
octolytics-dimension-user_loginpyeth
octolytics-dimension-repository_id901108131
octolytics-dimension-repository_nwopyeth/slither
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forktrue
octolytics-dimension-repository_parent_id147583941
octolytics-dimension-repository_parent_nwocrytic/slither
octolytics-dimension-repository_network_root_id147583941
octolytics-dimension-repository_network_root_nwocrytic/slither
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
release7c85641c598ad130c74f7bcc27f58575cac69551
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/pyeth/slither#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpyeth%2Fslither
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fpyeth%2Fslither
Sign up https://patch-diff.githubusercontent.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E&source=header-repo&source_repo=pyeth%2Fslither
Reloadhttps://patch-diff.githubusercontent.com/pyeth/slither
Reloadhttps://patch-diff.githubusercontent.com/pyeth/slither
Reloadhttps://patch-diff.githubusercontent.com/pyeth/slither
pyeth https://patch-diff.githubusercontent.com/pyeth
slitherhttps://patch-diff.githubusercontent.com/pyeth/slither
crytic/slitherhttps://patch-diff.githubusercontent.com/crytic/slither
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fpyeth%2Fslither
Fork 0 https://patch-diff.githubusercontent.com/login?return_to=%2Fpyeth%2Fslither
Star 0 https://patch-diff.githubusercontent.com/login?return_to=%2Fpyeth%2Fslither
blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/
AGPL-3.0 license https://patch-diff.githubusercontent.com/pyeth/slither/blob/master/LICENSE
0 stars https://patch-diff.githubusercontent.com/pyeth/slither/stargazers
1.1k forks https://patch-diff.githubusercontent.com/pyeth/slither/forks
Branches https://patch-diff.githubusercontent.com/pyeth/slither/branches
Tags https://patch-diff.githubusercontent.com/pyeth/slither/tags
Activity https://patch-diff.githubusercontent.com/pyeth/slither/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2Fpyeth%2Fslither
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fpyeth%2Fslither
Code https://patch-diff.githubusercontent.com/pyeth/slither
Pull requests 0 https://patch-diff.githubusercontent.com/pyeth/slither/pulls
Actions https://patch-diff.githubusercontent.com/pyeth/slither/actions
Projects 0 https://patch-diff.githubusercontent.com/pyeth/slither/projects
Security 0 https://patch-diff.githubusercontent.com/pyeth/slither/security
Insights https://patch-diff.githubusercontent.com/pyeth/slither/pulse
Code https://patch-diff.githubusercontent.com/pyeth/slither
Pull requests https://patch-diff.githubusercontent.com/pyeth/slither/pulls
Actions https://patch-diff.githubusercontent.com/pyeth/slither/actions
Projects https://patch-diff.githubusercontent.com/pyeth/slither/projects
Security https://patch-diff.githubusercontent.com/pyeth/slither/security
Insights https://patch-diff.githubusercontent.com/pyeth/slither/pulse
Brancheshttps://patch-diff.githubusercontent.com/pyeth/slither/branches
Tagshttps://patch-diff.githubusercontent.com/pyeth/slither/tags
https://patch-diff.githubusercontent.com/pyeth/slither/branches
https://patch-diff.githubusercontent.com/pyeth/slither/tags
4,572 Commitshttps://patch-diff.githubusercontent.com/pyeth/slither/commits/master/
https://patch-diff.githubusercontent.com/pyeth/slither/commits/master/
.githubhttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/.github
.githubhttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/.github
exampleshttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/examples
exampleshttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/examples
plugin_examplehttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/plugin_example
plugin_examplehttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/plugin_example
scriptshttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/scripts
scriptshttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/scripts
slitherhttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/slither
slitherhttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/slither
testshttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/tests
testshttps://patch-diff.githubusercontent.com/pyeth/slither/tree/master/tests
.coderabbit.yamlhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.coderabbit.yaml
.coderabbit.yamlhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.coderabbit.yaml
.dockerignorehttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.dockerignore
.dockerignorehttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.dockerignore
.gitattributeshttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.gitattributes
.gitattributeshttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.gitattributes
.gitignorehttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.gitignore
.gitignorehttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.gitignore
.pre-commit-hooks.yamlhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.pre-commit-hooks.yaml
.pre-commit-hooks.yamlhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/.pre-commit-hooks.yaml
CITATION.cffhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/CITATION.cff
CITATION.cffhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/CITATION.cff
CODEOWNERShttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/CODEOWNERS
CODEOWNERShttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/CODEOWNERS
CONTRIBUTING.mdhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/CONTRIBUTING.md
CONTRIBUTING.mdhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/CONTRIBUTING.md
Dockerfilehttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/Dockerfile
Dockerfilehttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/Dockerfile
FUNDING.jsonhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/FUNDING.json
FUNDING.jsonhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/FUNDING.json
LICENSEhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/LICENSE
LICENSEhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/LICENSE
Makefilehttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/Makefile
Makefilehttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/Makefile
README.mdhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/README.md
README.mdhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/README.md
logo.pnghttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/logo.png
logo.pnghttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/logo.png
pyproject.tomlhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/pyproject.toml
pyproject.tomlhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/pyproject.toml
setup.pyhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/setup.py
setup.pyhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/setup.py
trophies.mdhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/trophies.md
trophies.mdhttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/trophies.md
READMEhttps://patch-diff.githubusercontent.com/pyeth/slither
Contributinghttps://patch-diff.githubusercontent.com/pyeth/slither
Licensehttps://patch-diff.githubusercontent.com/pyeth/slither
Slither, the smart contract static analyzerhttps://crytic.github.io/slither/slither.html
https://patch-diff.githubusercontent.com/pyeth/slither#slither-the-smart-contract-static-analyzer
https://raw.githubusercontent.com/crytic/slither/master/logo.png
https://github.com/crytic/slither/actions?query=workflow%3ACI
https://camo.githubusercontent.com/184f6fac8c80444d7177a84785f319b4b1266060d7173a8e492cb64736c0242a/68747470733a2f2f696d672e736869656c64732e696f2f707970692f762f736c69746865722d616e616c797a65723f6c6f676f3d707974686f6e266c6f676f436f6c6f723d7768697465266c6162656c3d736c69746865722d616e616c797a6572
https://crytic.github.io/slither/slither.html
https://github.com/crytic/slither/wiki/SlithIR
https://slack.empirehacking.nyc/
Featureshttps://patch-diff.githubusercontent.com/pyeth/slither#features
Usagehttps://patch-diff.githubusercontent.com/pyeth/slither#usage
How to installhttps://patch-diff.githubusercontent.com/pyeth/slither#how-to-install
Using Piphttps://patch-diff.githubusercontent.com/pyeth/slither#using-pip
Using Githttps://patch-diff.githubusercontent.com/pyeth/slither#using-git
Using Dockerhttps://patch-diff.githubusercontent.com/pyeth/slither#using-docker
Integrationhttps://patch-diff.githubusercontent.com/pyeth/slither#integration
Detectorshttps://patch-diff.githubusercontent.com/pyeth/slither#detectors
Printershttps://patch-diff.githubusercontent.com/pyeth/slither#printers
Quick Review Printershttps://patch-diff.githubusercontent.com/pyeth/slither#quick-review-printers
In-Depth Review Printershttps://patch-diff.githubusercontent.com/pyeth/slither#in-depth-review-printers
Toolshttps://patch-diff.githubusercontent.com/pyeth/slither#tools
API Documentationhttps://patch-diff.githubusercontent.com/pyeth/slither#api-documentation
Getting Helphttps://patch-diff.githubusercontent.com/pyeth/slither#getting-help
FAQhttps://patch-diff.githubusercontent.com/pyeth/slither#faq
Licensehttps://patch-diff.githubusercontent.com/pyeth/slither#license
Publicationshttps://patch-diff.githubusercontent.com/pyeth/slither#publications
Trail of Bits publicationhttps://patch-diff.githubusercontent.com/pyeth/slither#trail-of-bits-publication
External publicationshttps://patch-diff.githubusercontent.com/pyeth/slither#external-publications
https://patch-diff.githubusercontent.com/pyeth/slither#features
trophieshttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/trophies.md
SlithIRhttps://github.com/trailofbits/slither/wiki/SlithIR
CIhttps://github.com/marketplace/actions/slither-action
https://patch-diff.githubusercontent.com/pyeth/slither#usage
https://patch-diff.githubusercontent.com/pyeth/slither#how-to-install
supported compilation frameworkshttps://github.com/crytic/crytic-compile
solchttps://github.com/ethereum/solidity/
solc-selecthttps://github.com/crytic/solc-select
https://patch-diff.githubusercontent.com/pyeth/slither#using-pip
https://patch-diff.githubusercontent.com/pyeth/slither#using-git
Developer Installation Instructionshttps://github.com/trailofbits/slither/wiki/Developer-installation
https://patch-diff.githubusercontent.com/pyeth/slither#using-docker
eth-security-toolboxhttps://github.com/trailofbits/eth-security-toolbox/
https://patch-diff.githubusercontent.com/pyeth/slither#integration
slither-actionhttps://github.com/marketplace/actions/slither-action
https://patch-diff.githubusercontent.com/pyeth/slither#detectors
Storage abiencoderv2 arrayhttps://github.com/crytic/slither/wiki/Detector-Documentation#storage-abiencoderv2-array
transferFrom uses arbitrary fromhttps://github.com/crytic/slither/wiki/Detector-Documentation#arbitrary-from-in-transferfrom
Modifying storage array by valuehttps://github.com/crytic/slither/wiki/Detector-Documentation#modifying-storage-array-by-value
ABI encodePacked Collisionhttps://github.com/crytic/slither/wiki/Detector-Documentation#abi-encodePacked-collision
The order of parameters in a shift instruction is incorrect.https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-shift-in-assembly
Multiple constructor schemeshttps://github.com/crytic/slither/wiki/Detector-Documentation#multiple-constructor-schemes
Contract's name reusedhttps://github.com/crytic/slither/wiki/Detector-Documentation#name-reused
Detected unprotected variableshttps://github.com/crytic/slither/wiki/Detector-Documentation#protected-variables
Public mappings with nested variableshttps://github.com/crytic/slither/wiki/Detector-Documentation#public-mappings-with-nested-variables
Right-To-Left-Override control character is usedhttps://github.com/crytic/slither/wiki/Detector-Documentation#right-to-left-override-character
State variables shadowinghttps://github.com/crytic/slither/wiki/Detector-Documentation#state-variable-shadowing
Functions allowing anyone to destruct the contracthttps://github.com/crytic/slither/wiki/Detector-Documentation#suicidal
Uninitialized state variableshttps://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-state-variables
Uninitialized storage variableshttps://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-storage-variables
Unprotected upgradeable contracthttps://github.com/crytic/slither/wiki/Detector-Documentation#unprotected-upgradeable-contract
Use Codex to find vulnerabilities.https://github.com/crytic/slither/wiki/Detector-Documentation#codex
transferFrom uses arbitrary from with permithttps://github.com/crytic/slither/wiki/Detector-Documentation#arbitrary-from-in-transferfrom-used-with-permit
Functions that send Ether to arbitrary destinationshttps://github.com/crytic/slither/wiki/Detector-Documentation#functions-that-send-ether-to-arbitrary-destinations
Tainted array length assignmenthttps://github.com/crytic/slither/wiki/Detector-Documentation#array-length-assignment
Controlled delegatecall destinationhttps://github.com/crytic/slither/wiki/Detector-Documentation#controlled-delegatecall
Payable functions using delegatecall inside a loophttps://github.com/crytic/slither/wiki/Detector-Documentation/#payable-functions-using-delegatecall-inside-a-loop
Incorrect exponentiationhttps://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-exponentiation
If a return is incorrectly used in assembly mode.https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-return-in-assembly
msg.value inside a loophttps://github.com/crytic/slither/wiki/Detector-Documentation/#msgvalue-inside-a-loop
Reentrancy vulnerabilities (theft of ethers)https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities
If a return is used instead of a leave.https://github.com/crytic/slither/wiki/Detector-Documentation#return-instead-of-leave-in-assembly
Signed storage integer array compiler bughttps://github.com/crytic/slither/wiki/Detector-Documentation#storage-signed-integer-array
Unchecked tokens transferhttps://github.com/crytic/slither/wiki/Detector-Documentation#unchecked-transfer
Weak PRNGhttps://github.com/crytic/slither/wiki/Detector-Documentation#weak-PRNG
Detects ERC20 tokens that have a function whose signature collides with EIP-2612's DOMAIN_SEPARATOR()https://github.com/crytic/slither/wiki/Detector-Documentation#domain-separator-collision
Detect dangerous enum conversionhttps://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-enum-conversion
Incorrect ERC20 interfaceshttps://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-erc20-interface
Incorrect ERC721 interfaceshttps://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-erc721-interface
Dangerous strict equalitieshttps://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-strict-equalities
Contracts that lock etherhttps://github.com/crytic/slither/wiki/Detector-Documentation#contracts-that-lock-ether
Deletion on mapping containing a structurehttps://github.com/crytic/slither/wiki/Detector-Documentation#deletion-on-mapping-containing-a-structure
State variables shadowing from abstract contractshttps://github.com/crytic/slither/wiki/Detector-Documentation#state-variable-shadowing-from-abstract-contracts
Comparing a variable to itself always returns true or false, depending on comparisonhttps://github.com/crytic/slither/wiki/Detector-Documentation#tautological-compare
Tautology or contradictionhttps://github.com/crytic/slither/wiki/Detector-Documentation#tautology-or-contradiction
Unused writehttps://github.com/crytic/slither/wiki/Detector-Documentation#write-after-write
Misuse of Boolean constanthttps://github.com/crytic/slither/wiki/Detector-Documentation#misuse-of-a-boolean-constant
Constant functions using assembly codehttps://github.com/crytic/slither/wiki/Detector-Documentation#constant-functions-using-assembly-code
Constant functions changing the statehttps://github.com/crytic/slither/wiki/Detector-Documentation#constant-functions-changing-the-state
Imprecise arithmetic operations orderhttps://github.com/crytic/slither/wiki/Detector-Documentation#divide-before-multiply
Out-of-order retryable transactionshttps://github.com/crytic/slither/wiki/Detector-Documentation#out-of-order-retryable-transactions
Reentrancy vulnerabilities (no theft of ethers)https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-1
Reused base constructorhttps://github.com/crytic/slither/wiki/Detector-Documentation#reused-base-constructors
Dangerous usage of tx.originhttps://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-usage-of-txorigin
Unchecked low-level callshttps://github.com/crytic/slither/wiki/Detector-Documentation#unchecked-low-level-calls
Unchecked sendhttps://github.com/crytic/slither/wiki/Detector-Documentation#unchecked-send
Uninitialized local variableshttps://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-local-variables
Unused return valueshttps://github.com/crytic/slither/wiki/Detector-Documentation#unused-return
Modifiers that can return the default valuehttps://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-modifier
Built-in symbol shadowinghttps://github.com/crytic/slither/wiki/Detector-Documentation#builtin-symbol-shadowing
Local variables shadowinghttps://github.com/crytic/slither/wiki/Detector-Documentation#local-variable-shadowing
Uninitialized function pointer calls in constructorshttps://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-function-pointers-in-constructors
Local variables used prior their declarationhttps://github.com/crytic/slither/wiki/Detector-Documentation#pre-declaration-usage-of-local-variables
Constructor called not implementedhttps://github.com/crytic/slither/wiki/Detector-Documentation#void-constructor
Multiple calls in a loophttps://github.com/crytic/slither/wiki/Detector-Documentation/#calls-inside-a-loop
Missing Events Access Controlhttps://github.com/crytic/slither/wiki/Detector-Documentation#missing-events-access-control
Missing Events Arithmetichttps://github.com/crytic/slither/wiki/Detector-Documentation#missing-events-arithmetic
Dangerous unary expressionshttps://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-unary-expressions
Missing Zero Address Validationhttps://github.com/crytic/slither/wiki/Detector-Documentation#missing-zero-address-validation
Benign reentrancy vulnerabilitieshttps://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-2
Reentrancy vulnerabilities leading to out-of-order Eventshttps://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-3
A low level callee may consume all callers gas unexpectedly.https://github.com/crytic/slither/wiki/Detector-Documentation#return-bomb
Dangerous usage of block.timestamphttps://github.com/crytic/slither/wiki/Detector-Documentation#block-timestamp
Assembly usagehttps://github.com/crytic/slither/wiki/Detector-Documentation#assembly-usage
Assert state changehttps://github.com/crytic/slither/wiki/Detector-Documentation#assert-state-change
Comparison to boolean constanthttps://github.com/crytic/slither/wiki/Detector-Documentation#boolean-equality
Detects functions with high (> 11) cyclomatic complexityhttps://github.com/crytic/slither/wiki/Detector-Documentation#cyclomatic-complexity
Deprecated Solidity Standardshttps://github.com/crytic/slither/wiki/Detector-Documentation#deprecated-standards
Un-indexed ERC20 event parametershttps://github.com/crytic/slither/wiki/Detector-Documentation#unindexed-erc20-event-parameters
Function initializing state variableshttps://github.com/crytic/slither/wiki/Detector-Documentation#function-initializing-state
Detects using-for statement usage when no function from a given library matches a given typehttps://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-using-for-usage
Low level callshttps://github.com/crytic/slither/wiki/Detector-Documentation#low-level-calls
Missing inheritancehttps://github.com/crytic/slither/wiki/Detector-Documentation#missing-inheritance
Conformity to Solidity naming conventionshttps://github.com/crytic/slither/wiki/Detector-Documentation#conformance-to-solidity-naming-conventions
If different pragma directives are usedhttps://github.com/crytic/slither/wiki/Detector-Documentation#different-pragma-directives-are-used
Redundant statementshttps://github.com/crytic/slither/wiki/Detector-Documentation#redundant-statements
Incorrect Solidity versionhttps://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-versions-of-solidity
Unimplemented functionshttps://github.com/crytic/slither/wiki/Detector-Documentation#unimplemented-functions
Detects unused importshttps://github.com/crytic/slither/wiki/Detector-Documentation#unused-imports
Unused state variableshttps://github.com/crytic/slither/wiki/Detector-Documentation#unused-state-variable
Costly operations in a loophttps://github.com/crytic/slither/wiki/Detector-Documentation#costly-operations-inside-a-loop
Functions that are not usedhttps://github.com/crytic/slither/wiki/Detector-Documentation#dead-code
Reentrancy vulnerabilities through send and transferhttps://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-4
Conformance to numeric notation best practiceshttps://github.com/crytic/slither/wiki/Detector-Documentation#too-many-digits
Detects for loops that use length member of some storage array in their loop condition and don't modify it.https://github.com/crytic/slither/wiki/Detector-Documentation#cache-array-length
State variables that could be declared constanthttps://github.com/crytic/slither/wiki/Detector-Documentation#state-variables-that-could-be-declared-constant
Public function that could be declared externalhttps://github.com/crytic/slither/wiki/Detector-Documentation#public-function-that-could-be-declared-external
State variables that could be declared immutablehttps://github.com/crytic/slither/wiki/Detector-Documentation#state-variables-that-could-be-declared-immutable
Contract reads its own variable using thishttps://github.com/crytic/slither/wiki/Detector-Documentation#public-variable-read-in-external-context
Detector Documentationhttps://github.com/crytic/slither/wiki/Detector-Documentation
Detection Selectionhttps://github.com/crytic/slither/wiki/Usage#detector-selection
Triage Modehttps://github.com/crytic/slither/wiki/Usage#triage-mode
https://patch-diff.githubusercontent.com/pyeth/slither#printers
https://patch-diff.githubusercontent.com/pyeth/slither#quick-review-printers
Print a human-readable summary of the contractshttps://github.com/trailofbits/slither/wiki/Printer-documentation#human-summary
Export the inheritance graph of each contract to a dot filehttps://github.com/trailofbits/slither/wiki/Printer-documentation#inheritance-graph
Print a summary of the contractshttps://github.com/trailofbits/slither/wiki/Printer-documentation#contract-summary
Count the total number lines of code (LOC), source lines of code (SLOC), and comment lines of code (CLOC) found in source files (SRC), dependencies (DEP), and test files (TEST).https://github.com/trailofbits/slither/wiki/Printer-documentation#loc
https://patch-diff.githubusercontent.com/pyeth/slither#in-depth-review-printers
Export the call-graph of the contracts to a dot filehttps://github.com/trailofbits/slither/wiki/Printer-documentation#call-graph
Export the CFG of each functionshttps://github.com/trailofbits/slither/wiki/Printer-documentation#cfg
Print a summary of the functionshttps://github.com/trailofbits/slither/wiki/Printer-documentation#function-summary
Print the state variables written and the authorization of the functionshttps://github.com/crytic/slither/wiki/Printer-documentation#variables-written-and-authorization
Print functions that do not use whenNotPaused modifierhttps://github.com/trailofbits/slither/wiki/Printer-documentation#when-not-paused
Printer documentationhttps://github.com/crytic/slither/wiki/Printer-documentation
https://patch-diff.githubusercontent.com/pyeth/slither#tools
Review delegatecall-based upgradeabilityhttps://github.com/crytic/slither/wiki/Upgradeability-Checks
Automatic unit test and property generationhttps://github.com/crytic/slither/wiki/Property-generation
Flatten a codebasehttps://github.com/crytic/slither/wiki/Contract-Flattening
Check the ERC's conformancehttps://github.com/crytic/slither/wiki/ERC-Conformance
Automatic patch generationhttps://github.com/crytic/slither/wiki/Slither-format
Read storage values from contractshttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/slither/tools/read_storage/README.md
Generate an interface for a contracthttps://patch-diff.githubusercontent.com/pyeth/slither/blob/master/slither/tools/interface/README.md
Tool documentationhttps://github.com/crytic/slither/wiki/Tool-Documentation
Contact ushttps://www.trailofbits.com/contact/
https://patch-diff.githubusercontent.com/pyeth/slither#api-documentation
herehttps://crytic.github.io/slither/slither.html
https://patch-diff.githubusercontent.com/pyeth/slither#getting-help
Slack channelhttps://empireslacking.herokuapp.com
Printer documentationhttps://github.com/trailofbits/slither/wiki/Printer-documentation
Detector documentationhttps://github.com/trailofbits/slither/wiki/Adding-a-new-detector
API documentationhttps://github.com/crytic/slither/wiki/Python-API
SlithIR documentationhttps://github.com/trailofbits/slither/wiki/SlithIR
https://patch-diff.githubusercontent.com/pyeth/slither#faq
path filteringhttps://github.com/crytic/slither/wiki/Usage#path-filtering
https://patch-diff.githubusercontent.com/pyeth/slither#license
https://patch-diff.githubusercontent.com/pyeth/slither#publications
https://patch-diff.githubusercontent.com/pyeth/slither#trail-of-bits-publication
Slither: A Static Analysis Framework For Smart Contractshttps://arxiv.org/abs/1908.09878
https://patch-diff.githubusercontent.com/pyeth/slither#external-publications
ReJection: A AST-Based Reentrancy Vulnerability Detection Methodhttps://www.researchgate.net/publication/339354823_ReJection_A_AST-Based_Reentrancy_Vulnerability_Detection_Method
MPro: Combining Static and Symbolic Analysis forScalable Testing of Smart Contracthttps://arxiv.org/pdf/1911.00570.pdf
MProhttps://github.com/QuanZhang-William/M-Pro
ETHPLOIT: From Fuzzing to Efficient Exploit Generation against Smart Contractshttps://wcventure.github.io/FuzzingPaper/Paper/SANER20_ETHPLOIT.pdf
Verification of Ethereum Smart Contracts: A Model Checking Approachhttp://www.ijmlc.org/vol10/977-AM0059.pdf
Smart Contract Repairhttps://arxiv.org/pdf/1912.05823.pdf
SCRepairhttps://github.com/xiaoly8/SCRepair/
Demystifying Loops in Smart Contractshttps://www.microsoft.com/en-us/research/uploads/prod/2020/08/loops_solidity__camera_ready-5f3fec3f15c69.pdf
Trace-Based Dynamic Gas Estimation of Loops in Smart Contractshttps://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=9268144
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Secondshttps://arxiv.org/pdf/2104.08638.pdf
Sailfishhttps://github.com/ucsb-seclab/sailfish
SolType: Refinement Types for Arithmetic Overflow in Solidityhttps://arxiv.org/abs/2110.00677
Do Not Rug on Me: Leveraging Machine Learning Techniques for Automated Scam Detectionhttps://www.mdpi.com/2227-7390/10/6/949
MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilitieshttps://arxiv.org/abs/2208.13252
ge-schttps://github.com/MANDO-Project/ge-sc
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contractshttps://www.cs.toronto.edu/~fanl/papers/price-icbc22.pdf
Smart-Contract-Repairhttps://github.com/Veneris-Group/TOD-Location-Rectification
Modeling and Enforcing Access Control Policies for Smart Contractshttps://publikationen.bibliothek.kit.edu/1000152805/151859658
SolidityAccessControlEnforcementhttps://github.com/KASTEL-CSSDA/SolidityAccessControlEnforcement
Smart Contract Vulnerability Detection Based on Deep Learning and Multimodal Decision Fusionhttps://www.mdpi.com/1424-8220/23/16/7246
Semantic-enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reusehttps://www.researchgate.net/profile/Qing-Huang-26/publication/370638129_Semantic-enriched_Code_Knowledge_Graph_to_Reveal_Unknowns_in_Smart_Contract_Code_Reuse/links/645b7b8639c408339b3a54da/Semantic-Enriched-Code-Knowledge-Graph-to-Reveal-Unknowns-in-Smart-Contract-Code-Reuse.pdf
Smart Contract Parallel Execution with Fine-Grained State Accesseshttps://personal.ntu.edu.sg/yi_li/files/Qi2023SCP.pdf
Bad Apples: Understanding the Centralized Security Risks in Decentralized Ecosystemshttps://diaowenrui.github.io/paper/www23-yan.pdf
Identifying Vulnerabilities in Smart Contracts using Interval Analysishttps://arxiv.org/pdf/2309.13805.pdf
SmartMuvhttps://github.com/WaizKhan7/SmartMuv
Crytic $10k Research Prizehttps://blog.trailofbits.com/2019/11/13/announcing-the-crytic-10k-research-prize/
blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/https://blog.trailofbits.com/2018/10/19/slither-a-solidity-static-analysis-framework/
Readme https://patch-diff.githubusercontent.com/pyeth/slither#readme-ov-file
AGPL-3.0 license https://patch-diff.githubusercontent.com/pyeth/slither#AGPL-3.0-1-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/pyeth/slither
Activityhttps://patch-diff.githubusercontent.com/pyeth/slither/activity
Custom propertieshttps://patch-diff.githubusercontent.com/pyeth/slither/custom-properties
0 starshttps://patch-diff.githubusercontent.com/pyeth/slither/stargazers
0 watchinghttps://patch-diff.githubusercontent.com/pyeth/slither/watchers
0 forkshttps://patch-diff.githubusercontent.com/pyeth/slither/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fpyeth%2Fslither&report=pyeth+%28user%29
Releaseshttps://patch-diff.githubusercontent.com/pyeth/slither/releases
Packages 0https://patch-diff.githubusercontent.com/orgs/pyeth/packages?repo_name=slither
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.