René's URL Explorer Experiment

Title: GitHub - webapplicationsecurity/slither: Static Analyzer for Solidity · GitHub

Open Graph Title: GitHub - webapplicationsecurity/slither: Static Analyzer for Solidity

X Title: GitHub - webapplicationsecurity/slither: Static Analyzer for Solidity

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

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

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

Mail addresses
opensource@trailofbits.com

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

X: @github

direct link

Domain: github.com

route-pattern	/:user_id/:repository
route-controller	files
route-action	disambiguate
fetch-nonce	v2:9c2e063c-b608-2525-f808-db7eb71a02d0
current-catalog-service-hash	f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-id	8786:130EDA:5731B6:7C07C5:6A5A00B8
html-safe-nonce	5cb0e51dd9dd70deb0d1c10d25fc527f7b1c33438af3c5c5bed7d9555ac85594
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4Nzg2OjEzMEVEQTo1NzMxQjY6N0MwN0M1OjZBNUEwMEI4IiwidmlzaXRvcl9pZCI6IjUxMzE0NzgwMzM0MTM4MzI4ODgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac	4df196284ce44298c01a3fe74e124186764eb312e6d182f979aa1c76f06489e2
hovercard-subject-tag	repository:621347791
github-keyboard-shortcuts	repository,copilot
google-site-verification	Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-url	https://collector.github.com/github/collect
analytics-location	//
fb:app_id	1401488693436528
apple-itunes-app	app-id=1477376905, app-argument=https://github.com/webapplicationsecurity/slither
twitter:image	https://opengraph.githubassets.com/9c31301243727fac9574a85915f68a5d8e1db28df9693743700cccbe0f258964/webapplicationsecurity/slither
twitter:card	summary_large_image
og:image	https://opengraph.githubassets.com/9c31301243727fac9574a85915f68a5d8e1db28df9693743700cccbe0f258964/webapplicationsecurity/slither
og:image:alt	Static Analyzer for Solidity. Contribute to webapplicationsecurity/slither development by creating an account on GitHub.
og:image:width	1200
og:image:height	600
og:site_name	GitHub
og:type	object
hostname	github.com
expected-hostname	github.com
None	4d3f961cfc83a4348ee5be7691cf4ae3515aab3ef5200c13a7e41b048125fb61
turbo-cache-control	no-cache
go-import	github.com/webapplicationsecurity/slither git https://github.com/webapplicationsecurity/slither.git
octolytics-dimension-user_id	64468021
octolytics-dimension-user_login	webapplicationsecurity
octolytics-dimension-repository_id	621347791
octolytics-dimension-repository_nwo	webapplicationsecurity/slither
octolytics-dimension-repository_public	true
octolytics-dimension-repository_is_fork	true
octolytics-dimension-repository_parent_id	147583941
octolytics-dimension-repository_parent_nwo	crytic/slither
octolytics-dimension-repository_network_root_id	147583941
octolytics-dimension-repository_network_root_nwo	crytic/slither
turbo-body-classes	logged-out env-production page-responsive
disable-turbo	false
browser-stats-url	https://api.github.com/_private/browser/stats
browser-errors-url	https://api.github.com/_private/browser/errors
release	ac4d28603af300ac851b62521abb878ab5d3319a
ui-target	full
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://github.com/webapplicationsecurity/slither#start-of-content
	https://github.com/
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fwebapplicationsecurity%2Fslither
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub Copilot appDirect agents from issue to merge	https://github.com/features/ai/github-app
MCP RegistryNewIntegrate external tools	https://github.com/mcp
ActionsAutomate any workflow	https://github.com/features/actions
CodespacesInstant dev environments	https://github.com/features/codespaces
IssuesPlan and track work	https://github.com/features/issues
Code ReviewManage code changes	https://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilities	https://github.com/security/advanced-security
Code securitySecure your code as you build	https://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they start	https://github.com/security/advanced-security/secret-protection
Why GitHub	https://github.com/why-github
Documentation	https://docs.github.com
Blog	https://github.blog
Changelog	https://github.blog/changelog
Marketplace	https://github.com/marketplace
View all features	https://github.com/features
Enterprises	https://github.com/enterprise
Small and medium teams	https://github.com/team
Startups	https://github.com/enterprise/startups
Nonprofits	https://github.com/solutions/industry/nonprofits
App Modernization	https://github.com/solutions/use-case/app-modernization
DevSecOps	https://github.com/solutions/use-case/devsecops
DevOps	https://github.com/solutions/use-case/devops
CI/CD	https://github.com/solutions/use-case/ci-cd
View all use cases	https://github.com/solutions/use-case
Healthcare	https://github.com/solutions/industry/healthcare
Financial services	https://github.com/solutions/industry/financial-services
Manufacturing	https://github.com/solutions/industry/manufacturing
Government	https://github.com/solutions/industry/government
View all industries	https://github.com/solutions/industry
View all solutions	https://github.com/solutions
AI	https://github.com/resources/articles?topic=ai
Software Development	https://github.com/resources/articles?topic=software-development
DevOps	https://github.com/resources/articles?topic=devops
Security	https://github.com/resources/articles?topic=security
View all topics	https://github.com/resources/articles
Customer stories	https://github.com/customer-stories
Events & webinars	https://github.com/resources/events
Ebooks & reports	https://github.com/resources/whitepapers
Business insights	https://github.com/solutions/executive-insights
GitHub Skills	https://skills.github.com
Documentation	https://docs.github.com
Customer support	https://support.github.com
Community forum	https://github.com/orgs/community/discussions
Trust center	https://github.com/trust-center
Partners	https://github.com/partners
View all resources	https://github.com/resources
GitHub SponsorsFund open source developers	https://github.com/open-source/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/open-source/accelerator
GitHub Stars	https://stars.github.com
Archive Program	https://archiveprogram.github.com
Topics	https://github.com/topics
Trending	https://github.com/trending
Collections	https://github.com/collections
Enterprise platformAI-powered developer platform	https://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security features	https://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI features	https://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 support	https://github.com/enterprise/premium-support
Pricing	https://github.com/pricing
Search syntax tips	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentation	https://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in	https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2Fwebapplicationsecurity%2Fslither
Sign up	https://github.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=webapplicationsecurity%2Fslither
Reload	https://github.com/webapplicationsecurity/slither
Reload	https://github.com/webapplicationsecurity/slither
Reload	https://github.com/webapplicationsecurity/slither
Please reload this page	https://github.com/webapplicationsecurity/slither
webapplicationsecurity	https://github.com/webapplicationsecurity
slither	https://github.com/webapplicationsecurity/slither
crytic/slither	https://github.com/crytic/slither
Notifications	https://github.com/login?return_to=%2Fwebapplicationsecurity%2Fslither
Fork 0	https://github.com/login?return_to=%2Fwebapplicationsecurity%2Fslither
Star 0	https://github.com/login?return_to=%2Fwebapplicationsecurity%2Fslither
Code	https://github.com/webapplicationsecurity/slither
Pull requests 0	https://github.com/webapplicationsecurity/slither/pulls
Actions	https://github.com/webapplicationsecurity/slither/actions
Projects	https://github.com/webapplicationsecurity/slither/projects
Security and quality 0	https://github.com/webapplicationsecurity/slither/security
Insights	https://github.com/webapplicationsecurity/slither/pulse
Code	https://github.com/webapplicationsecurity/slither
Pull requests	https://github.com/webapplicationsecurity/slither/pulls
Actions	https://github.com/webapplicationsecurity/slither/actions
Projects	https://github.com/webapplicationsecurity/slither/projects
Security and quality	https://github.com/webapplicationsecurity/slither/security
Insights	https://github.com/webapplicationsecurity/slither/pulse
	https://github.com/webapplicationsecurity/slither
Branches	https://github.com/webapplicationsecurity/slither/branches
Tags	https://github.com/webapplicationsecurity/slither/tags
	https://github.com/webapplicationsecurity/slither/branches
	https://github.com/webapplicationsecurity/slither/tags
3,367 Commits	https://github.com/webapplicationsecurity/slither/commits/master/
	https://github.com/webapplicationsecurity/slither/commits/master/
.github	https://github.com/webapplicationsecurity/slither/tree/master/.github
.github	https://github.com/webapplicationsecurity/slither/tree/master/.github
examples	https://github.com/webapplicationsecurity/slither/tree/master/examples
examples	https://github.com/webapplicationsecurity/slither/tree/master/examples
plugin_example	https://github.com/webapplicationsecurity/slither/tree/master/plugin_example
plugin_example	https://github.com/webapplicationsecurity/slither/tree/master/plugin_example
scripts	https://github.com/webapplicationsecurity/slither/tree/master/scripts
scripts	https://github.com/webapplicationsecurity/slither/tree/master/scripts
slither	https://github.com/webapplicationsecurity/slither/tree/master/slither
slither	https://github.com/webapplicationsecurity/slither/tree/master/slither
tests	https://github.com/webapplicationsecurity/slither/tree/master/tests
tests	https://github.com/webapplicationsecurity/slither/tree/master/tests
.dockerignore	https://github.com/webapplicationsecurity/slither/blob/master/.dockerignore
.dockerignore	https://github.com/webapplicationsecurity/slither/blob/master/.dockerignore
.gitattributes	https://github.com/webapplicationsecurity/slither/blob/master/.gitattributes
.gitattributes	https://github.com/webapplicationsecurity/slither/blob/master/.gitattributes
.gitignore	https://github.com/webapplicationsecurity/slither/blob/master/.gitignore
.gitignore	https://github.com/webapplicationsecurity/slither/blob/master/.gitignore
CODEOWNERS	https://github.com/webapplicationsecurity/slither/blob/master/CODEOWNERS
CODEOWNERS	https://github.com/webapplicationsecurity/slither/blob/master/CODEOWNERS
CONTRIBUTING.md	https://github.com/webapplicationsecurity/slither/blob/master/CONTRIBUTING.md
CONTRIBUTING.md	https://github.com/webapplicationsecurity/slither/blob/master/CONTRIBUTING.md
Dockerfile	https://github.com/webapplicationsecurity/slither/blob/master/Dockerfile
Dockerfile	https://github.com/webapplicationsecurity/slither/blob/master/Dockerfile
LICENSE	https://github.com/webapplicationsecurity/slither/blob/master/LICENSE
LICENSE	https://github.com/webapplicationsecurity/slither/blob/master/LICENSE
README.md	https://github.com/webapplicationsecurity/slither/blob/master/README.md
README.md	https://github.com/webapplicationsecurity/slither/blob/master/README.md
logo.png	https://github.com/webapplicationsecurity/slither/blob/master/logo.png
logo.png	https://github.com/webapplicationsecurity/slither/blob/master/logo.png
pyproject.toml	https://github.com/webapplicationsecurity/slither/blob/master/pyproject.toml
pyproject.toml	https://github.com/webapplicationsecurity/slither/blob/master/pyproject.toml
setup.py	https://github.com/webapplicationsecurity/slither/blob/master/setup.py
setup.py	https://github.com/webapplicationsecurity/slither/blob/master/setup.py
trophies.md	https://github.com/webapplicationsecurity/slither/blob/master/trophies.md
trophies.md	https://github.com/webapplicationsecurity/slither/blob/master/trophies.md
README	https://github.com/webapplicationsecurity/slither
Contributing	https://github.com/webapplicationsecurity/slither
License	https://github.com/webapplicationsecurity/slither
	https://github.com/webapplicationsecurity/slither#slither-the-solidity-source-analyzer
	https://github.com/webapplicationsecurity/slither/blob/master/logo.png
	https://github.com/crytic/slither/actions?query=workflow%3ACI
	https://empireslacking.herokuapp.com
	https://badge.fury.io/py/slither-analyzer
Features	https://github.com/webapplicationsecurity/slither#features
Usage	https://github.com/webapplicationsecurity/slither#usage
How to Install	https://github.com/webapplicationsecurity/slither#how-to-install
Detectors	https://github.com/webapplicationsecurity/slither#detectors
Printers	https://github.com/webapplicationsecurity/slither#printers
Tools	https://github.com/webapplicationsecurity/slither#tools
API Documentation	https://github.com/webapplicationsecurity/slither#api-documentation
Getting Help	https://github.com/webapplicationsecurity/slither#getting-help
FAQ	https://github.com/webapplicationsecurity/slither#faq
Publications	https://github.com/webapplicationsecurity/slither#publications
	https://github.com/webapplicationsecurity/slither#features
trophies	https://github.com/webapplicationsecurity/slither/blob/master/trophies.md
SlithIR	https://github.com/trailofbits/slither/wiki/SlithIR
CI	https://github.com/marketplace/actions/slither-action
	https://github.com/webapplicationsecurity/slither#usage
	https://github.com/webapplicationsecurity/slither#how-to-install
supported compilation frameworks	https://github.com/crytic/crytic-compile
solc	https://github.com/ethereum/solidity/
solc-select	https://github.com/crytic/solc-select
	https://github.com/webapplicationsecurity/slither#using-pip
	https://github.com/webapplicationsecurity/slither#using-git
Developer Installation Instructions	https://github.com/trailofbits/slither/wiki/Developer-installation
	https://github.com/webapplicationsecurity/slither#using-docker
eth-security-toolbox	https://github.com/trailofbits/eth-security-toolbox/
	https://github.com/webapplicationsecurity/slither#integration
slither-action	https://github.com/marketplace/actions/slither-action
	https://github.com/webapplicationsecurity/slither#detectors
Storage abiencoderv2 array	https://github.com/crytic/slither/wiki/Detector-Documentation#storage-abiencoderv2-array
transferFrom uses arbitrary from	https://github.com/crytic/slither/wiki/Detector-Documentation#arbitrary-from-in-transferfrom
Modifying storage array by value	https://github.com/crytic/slither/wiki/Detector-Documentation#modifying-storage-array-by-value
The order of parameters in a shift instruction is incorrect.	https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-shift-in-assembly
Multiple constructor schemes	https://github.com/crytic/slither/wiki/Detector-Documentation#multiple-constructor-schemes
Contract's name reused	https://github.com/crytic/slither/wiki/Detector-Documentation#name-reused
Detected unprotected variables	https://github.com/crytic/slither/wiki/Detector-Documentation#protected-variables
Public mappings with nested variables	https://github.com/crytic/slither/wiki/Detector-Documentation#public-mappings-with-nested-variables
Right-To-Left-Override control character is used	https://github.com/crytic/slither/wiki/Detector-Documentation#right-to-left-override-character
State variables shadowing	https://github.com/crytic/slither/wiki/Detector-Documentation#state-variable-shadowing
Functions allowing anyone to destruct the contract	https://github.com/crytic/slither/wiki/Detector-Documentation#suicidal
Uninitialized state variables	https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-state-variables
Uninitialized storage variables	https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-storage-variables
Unprotected upgradeable contract	https://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 permit	https://github.com/crytic/slither/wiki/Detector-Documentation#arbitrary-from-in-transferfrom-used-with-permit
Functions that send Ether to arbitrary destinations	https://github.com/crytic/slither/wiki/Detector-Documentation#functions-that-send-ether-to-arbitrary-destinations
Tainted array length assignment	https://github.com/crytic/slither/wiki/Detector-Documentation#array-length-assignment
Controlled delegatecall destination	https://github.com/crytic/slither/wiki/Detector-Documentation#controlled-delegatecall
Payable functions using delegatecall inside a loop	https://github.com/crytic/slither/wiki/Detector-Documentation/#payable-functions-using-delegatecall-inside-a-loop
msg.value inside a loop	https://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
Signed storage integer array compiler bug	https://github.com/crytic/slither/wiki/Detector-Documentation#storage-signed-integer-array
Unchecked tokens transfer	https://github.com/crytic/slither/wiki/Detector-Documentation#unchecked-transfer
Weak PRNG	https://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 conversion	https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-enum-conversion
Incorrect ERC20 interfaces	https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-erc20-interface
Incorrect ERC721 interfaces	https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-erc721-interface
Dangerous strict equalities	https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-strict-equalities
Contracts that lock ether	https://github.com/crytic/slither/wiki/Detector-Documentation#contracts-that-lock-ether
Deletion on mapping containing a structure	https://github.com/crytic/slither/wiki/Detector-Documentation#deletion-on-mapping-containing-a-structure
State variables shadowing from abstract contracts	https://github.com/crytic/slither/wiki/Detector-Documentation#state-variable-shadowing-from-abstract-contracts
Tautology or contradiction	https://github.com/crytic/slither/wiki/Detector-Documentation#tautology-or-contradiction
Unused write	https://github.com/crytic/slither/wiki/Detector-Documentation#write-after-write
Misuse of Boolean constant	https://github.com/crytic/slither/wiki/Detector-Documentation#misuse-of-a-boolean-constant
Constant functions using assembly code	https://github.com/crytic/slither/wiki/Detector-Documentation#constant-functions-using-assembly-code
Constant functions changing the state	https://github.com/crytic/slither/wiki/Detector-Documentation#constant-functions-changing-the-state
Imprecise arithmetic operations order	https://github.com/crytic/slither/wiki/Detector-Documentation#divide-before-multiply
Reentrancy vulnerabilities (no theft of ethers)	https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-1
Reused base constructor	https://github.com/crytic/slither/wiki/Detector-Documentation#reused-base-constructors
Dangerous usage of tx.origin	https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-usage-of-txorigin
Unchecked low-level calls	https://github.com/crytic/slither/wiki/Detector-Documentation#unchecked-low-level-calls
Unchecked send	https://github.com/crytic/slither/wiki/Detector-Documentation#unchecked-send
Uninitialized local variables	https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-local-variables
Unused return values	https://github.com/crytic/slither/wiki/Detector-Documentation#unused-return
Modifiers that can return the default value	https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-modifier
Built-in symbol shadowing	https://github.com/crytic/slither/wiki/Detector-Documentation#builtin-symbol-shadowing
Local variables shadowing	https://github.com/crytic/slither/wiki/Detector-Documentation#local-variable-shadowing
Uninitialized function pointer calls in constructors	https://github.com/crytic/slither/wiki/Detector-Documentation#uninitialized-function-pointers-in-constructors
Local variables used prior their declaration	https://github.com/crytic/slither/wiki/Detector-Documentation#pre-declaration-usage-of-local-variables
Constructor called not implemented	https://github.com/crytic/slither/wiki/Detector-Documentation#void-constructor
Multiple calls in a loop	https://github.com/crytic/slither/wiki/Detector-Documentation/#calls-inside-a-loop
Missing Events Access Control	https://github.com/crytic/slither/wiki/Detector-Documentation#missing-events-access-control
Missing Events Arithmetic	https://github.com/crytic/slither/wiki/Detector-Documentation#missing-events-arithmetic
Dangerous unary expressions	https://github.com/crytic/slither/wiki/Detector-Documentation#dangerous-unary-expressions
Missing Zero Address Validation	https://github.com/crytic/slither/wiki/Detector-Documentation#missing-zero-address-validation
Benign reentrancy vulnerabilities	https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-2
Reentrancy vulnerabilities leading to out-of-order Events	https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-3
Dangerous usage of block.timestamp	https://github.com/crytic/slither/wiki/Detector-Documentation#block-timestamp
Assembly usage	https://github.com/crytic/slither/wiki/Detector-Documentation#assembly-usage
Assert state change	https://github.com/crytic/slither/wiki/Detector-Documentation#assert-state-change
Comparison to boolean constant	https://github.com/crytic/slither/wiki/Detector-Documentation#boolean-equality
Detects functions with high (> 11) cyclomatic complexity	https://github.com/crytic/slither/wiki/Detector-Documentation#cyclomatic-complexity
Deprecated Solidity Standards	https://github.com/crytic/slither/wiki/Detector-Documentation#deprecated-standards
Un-indexed ERC20 event parameters	https://github.com/crytic/slither/wiki/Detector-Documentation#unindexed-erc20-event-parameters
Function initializing state variables	https://github.com/crytic/slither/wiki/Detector-Documentation#function-initializing-state
Low level calls	https://github.com/crytic/slither/wiki/Detector-Documentation#low-level-calls
Missing inheritance	https://github.com/crytic/slither/wiki/Detector-Documentation#missing-inheritance
Conformity to Solidity naming conventions	https://github.com/crytic/slither/wiki/Detector-Documentation#conformance-to-solidity-naming-conventions
If different pragma directives are used	https://github.com/crytic/slither/wiki/Detector-Documentation#different-pragma-directives-are-used
Redundant statements	https://github.com/crytic/slither/wiki/Detector-Documentation#redundant-statements
Incorrect Solidity version	https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-versions-of-solidity
Unimplemented functions	https://github.com/crytic/slither/wiki/Detector-Documentation#unimplemented-functions
Unused state variables	https://github.com/crytic/slither/wiki/Detector-Documentation#unused-state-variable
Costly operations in a loop	https://github.com/crytic/slither/wiki/Detector-Documentation#costly-operations-inside-a-loop
Functions that are not used	https://github.com/crytic/slither/wiki/Detector-Documentation#dead-code
Reentrancy vulnerabilities through send and transfer	https://github.com/crytic/slither/wiki/Detector-Documentation#reentrancy-vulnerabilities-4
Variable names are too similar	https://github.com/crytic/slither/wiki/Detector-Documentation#variable-names-too-similar
Conformance to numeric notation best practices	https://github.com/crytic/slither/wiki/Detector-Documentation#too-many-digits
State variables that could be declared constant	https://github.com/crytic/slither/wiki/Detector-Documentation#state-variables-that-could-be-declared-constant
Public function that could be declared external	https://github.com/crytic/slither/wiki/Detector-Documentation#public-function-that-could-be-declared-external
State variables that could be declared immutable	https://github.com/crytic/slither/wiki/Detector-Documentation#state-variables-that-could-be-declared-immutable
Contract reads its own variable using this	https://github.com/crytic/slither/wiki/Vulnerabilities-Description#public-variable-read-in-external-context
Detector Documentation	https://github.com/crytic/slither/wiki/Detector-Documentation
Detection Selection	https://github.com/crytic/slither/wiki/Usage#detector-selection
Triage Mode	https://github.com/crytic/slither/wiki/Usage#triage-mode
	https://github.com/webapplicationsecurity/slither#printers
	https://github.com/webapplicationsecurity/slither#quick-review-printers
Print a human-readable summary of the contracts	https://github.com/trailofbits/slither/wiki/Printer-documentation#human-summary
Export the inheritance graph of each contract to a dot file	https://github.com/trailofbits/slither/wiki/Printer-documentation#inheritance-graph
Print a summary of the contracts	https://github.com/trailofbits/slither/wiki/Printer-documentation#contract-summary
	https://github.com/webapplicationsecurity/slither#in-depth-review-printers
Export the call-graph of the contracts to a dot file	https://github.com/trailofbits/slither/wiki/Printer-documentation#call-graph
Export the CFG of each functions	https://github.com/trailofbits/slither/wiki/Printer-documentation#cfg
Print a summary of the functions	https://github.com/trailofbits/slither/wiki/Printer-documentation#function-summary
Print the state variables written and the authorization of the functions	https://github.com/crytic/slither/wiki/Printer-documentation#variables-written-and-authorization
Print functions that do not use whenNotPaused modifier	https://github.com/trailofbits/slither/wiki/Printer-documentation#when-not-paused
Printer documentation	https://github.com/crytic/slither/wiki/Printer-documentation
	https://github.com/webapplicationsecurity/slither#tools
Review delegatecall-based upgradeability	https://github.com/crytic/slither/wiki/Upgradeability-Checks
Automatic unit test and property generation	https://github.com/crytic/slither/wiki/Property-generation
Flatten a codebase	https://github.com/crytic/slither/wiki/Contract-Flattening
Check the ERC's conformance	https://github.com/crytic/slither/wiki/ERC-Conformance
Automatic patch generation	https://github.com/crytic/slither/wiki/Slither-format
Read storage values from contracts	https://github.com/webapplicationsecurity/slither/blob/master/slither/tools/read_storage/README.md
Tool documentation	https://github.com/crytic/slither/wiki/Tool-Documentation
Contact us	https://www.trailofbits.com/contact/
	https://github.com/webapplicationsecurity/slither#api-documentation
here	https://crytic.github.io/slither/slither.html
	https://github.com/webapplicationsecurity/slither#getting-help
Slack channel	https://empireslacking.herokuapp.com
Printer documentation	https://github.com/trailofbits/slither/wiki/Printer-documentation
Detector documentation	https://github.com/trailofbits/slither/wiki/Adding-a-new-detector
API documentation	https://github.com/crytic/slither/wiki/Python-API
SlithIR documentation	https://github.com/trailofbits/slither/wiki/SlithIR
	https://github.com/webapplicationsecurity/slither#faq
path filtering	https://github.com/crytic/slither/wiki/Usage#path-filtering
	https://github.com/webapplicationsecurity/slither#license
	https://github.com/webapplicationsecurity/slither#publications
	https://github.com/webapplicationsecurity/slither#trail-of-bits-publication
Slither: A Static Analysis Framework For Smart Contracts	https://arxiv.org/abs/1908.09878
	https://github.com/webapplicationsecurity/slither#external-publications
ReJection: A AST-Based Reentrancy Vulnerability Detection Method	https://www.researchgate.net/publication/339354823_ReJection_A_AST-Based_Reentrancy_Vulnerability_Detection_Method
MPro: Combining Static and Symbolic Analysis forScalable Testing of Smart Contract	https://arxiv.org/pdf/1911.00570.pdf
MPro	https://github.com/QuanZhang-William/M-Pro
ETHPLOIT: From Fuzzing to Efficient Exploit Generation against Smart Contracts	https://wcventure.github.io/FuzzingPaper/Paper/SANER20_ETHPLOIT.pdf
Verification of Ethereum Smart Contracts: A Model Checking Approach	http://www.ijmlc.org/vol10/977-AM0059.pdf
Smart Contract Repair	https://arxiv.org/pdf/1912.05823.pdf
SCRepair	https://github.com/xiaoly8/SCRepair/
Demystifying Loops in Smart Contracts	https://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 Contracts	https://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=9268144
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds	https://arxiv.org/pdf/2104.08638.pdf
Sailfish	https://github.com/ucsb-seclab/sailfish
SolType: Refinement Types for Arithmetic Overflow in Solidity	https://arxiv.org/abs/2110.00677
Do Not Rug on Me: Leveraging Machine Learning Techniques for Automated Scam Detection	https://www.mdpi.com/2227-7390/10/6/949
MANDO: Multi-Level Heterogeneous Graph Embeddings for Fine-Grained Detection of Smart Contract Vulnerabilities	https://arxiv.org/abs/2208.13252
ge-sc	https://github.com/MANDO-Project/ge-sc
Automated Auditing of Price Gouging TOD Vulnerabilities in Smart Contracts	https://www.cs.toronto.edu/~fanl/papers/price-icbc22.pdf
Smart-Contract-Repair	https://github.com/Veneris-Group/TOD-Location-Rectification
Crytic $10k Research Prize	https://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://github.com/webapplicationsecurity/slither#readme-ov-file
AGPL-3.0 license	https://github.com/webapplicationsecurity/slither#AGPL-3.0-1-ov-file
Please reload this page	https://github.com/webapplicationsecurity/slither
Activity	https://github.com/webapplicationsecurity/slither/activity
Custom properties	https://github.com/webapplicationsecurity/slither/custom-properties
0 forks	https://github.com/webapplicationsecurity/slither/forks
Report repository	https://github.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fwebapplicationsecurity%2Fslither&report=webapplicationsecurity+%28user%29
Releases	https://github.com/webapplicationsecurity/slither/releases
Packages 0	https://github.com/orgs/webapplicationsecurity/packages?repo_name=slither
Please reload this page	https://github.com/webapplicationsecurity/slither
Contributors	https://github.com/webapplicationsecurity/slither/graphs/contributors
Please reload this page	https://github.com/webapplicationsecurity/slither
	https://github.com
Terms	https://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacy	https://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Security	https://github.com/security
Status	https://www.githubstatus.com/
Community	https://github.community/
Docs	https://docs.github.com/
Contact	https://support.github.com?tags=dotcom-footer

Viewport: width=device-width

URLs of crawlers that visited me.