René's URL Explorer Experiment


Title: GitHub - crytic/properties: Pre-built security properties for common Ethereum operations

Open Graph Title: GitHub - crytic/properties: Pre-built security properties for common Ethereum operations

X Title: GitHub - crytic/properties: Pre-built security properties for common Ethereum operations

Description: Pre-built security properties for common Ethereum operations - crytic/properties

Open Graph Description: Pre-built security properties for common Ethereum operations - crytic/properties

X Description: Pre-built security properties for common Ethereum operations - crytic/properties

Opengraph URL: https://github.com/crytic/properties

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern/:user_id/:repository
route-controllerfiles
route-actiondisambiguate
fetch-noncev2:1a2f1967-a260-c2f4-de47-99082d76aa34
current-catalog-service-hashf3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-idA8FE:37CF59:2324352:2D5790C:698C0988
html-safe-nonce92e5b57d01c6aba6c1985e7009d62936af49cb028b6b30d3c80fec8233cf7f94
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBOEZFOjM3Q0Y1OToyMzI0MzUyOjJENTc5MEM6Njk4QzA5ODgiLCJ2aXNpdG9yX2lkIjoiNzMxNTUzNzc2ODkyMTk1ODc5MiIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac431c7aa50673f428220df6f2de3a0cdbeaaba75f67864cd7072b12b7da44832a
hovercard-subject-tagrepository:605212739
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/crytic/properties
twitter:imagehttps://opengraph.githubassets.com/f1501b67cbdfb03cb777954823f75dbf1571ffa366f05636258ce3ef22a6de57/crytic/properties
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/f1501b67cbdfb03cb777954823f75dbf1571ffa366f05636258ce3ef22a6de57/crytic/properties
og:image:altPre-built security properties for common Ethereum operations - crytic/properties
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
None640eeb7b6ff4d8d106235d228c0c286e82592d4d2403227b5b2b4fc5832297a4
turbo-cache-controlno-preview
go-importgithub.com/crytic/properties git https://github.com/crytic/properties.git
octolytics-dimension-user_id48330002
octolytics-dimension-user_logincrytic
octolytics-dimension-repository_id605212739
octolytics-dimension-repository_nwocrytic/properties
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id605212739
octolytics-dimension-repository_network_root_nwocrytic/properties
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
release3d444f0a47beeeac94cddbb51c91ab408befe8d4
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://patch-diff.githubusercontent.com/crytic/properties#start-of-content
https://patch-diff.githubusercontent.com/
Sign in https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Fcrytic%2Fproperties
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%2Fcrytic%2Fproperties
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=crytic%2Fproperties
Reloadhttps://patch-diff.githubusercontent.com/crytic/properties
Reloadhttps://patch-diff.githubusercontent.com/crytic/properties
Reloadhttps://patch-diff.githubusercontent.com/crytic/properties
crytic https://patch-diff.githubusercontent.com/crytic
propertieshttps://patch-diff.githubusercontent.com/crytic/properties
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fcrytic%2Fproperties
Fork 57 https://patch-diff.githubusercontent.com/login?return_to=%2Fcrytic%2Fproperties
Star 360 https://patch-diff.githubusercontent.com/login?return_to=%2Fcrytic%2Fproperties
AGPL-3.0 license https://patch-diff.githubusercontent.com/crytic/properties/blob/main/LICENSE
360 stars https://patch-diff.githubusercontent.com/crytic/properties/stargazers
57 forks https://patch-diff.githubusercontent.com/crytic/properties/forks
Branches https://patch-diff.githubusercontent.com/crytic/properties/branches
Tags https://patch-diff.githubusercontent.com/crytic/properties/tags
Activity https://patch-diff.githubusercontent.com/crytic/properties/activity
Star https://patch-diff.githubusercontent.com/login?return_to=%2Fcrytic%2Fproperties
Notifications https://patch-diff.githubusercontent.com/login?return_to=%2Fcrytic%2Fproperties
Code https://patch-diff.githubusercontent.com/crytic/properties
Issues 18 https://patch-diff.githubusercontent.com/crytic/properties/issues
Pull requests 16 https://patch-diff.githubusercontent.com/crytic/properties/pulls
Discussions https://patch-diff.githubusercontent.com/crytic/properties/discussions
Actions https://patch-diff.githubusercontent.com/crytic/properties/actions
Projects 0 https://patch-diff.githubusercontent.com/crytic/properties/projects
Security 0 https://patch-diff.githubusercontent.com/crytic/properties/security
Insights https://patch-diff.githubusercontent.com/crytic/properties/pulse
Code https://patch-diff.githubusercontent.com/crytic/properties
Issues https://patch-diff.githubusercontent.com/crytic/properties/issues
Pull requests https://patch-diff.githubusercontent.com/crytic/properties/pulls
Discussions https://patch-diff.githubusercontent.com/crytic/properties/discussions
Actions https://patch-diff.githubusercontent.com/crytic/properties/actions
Projects https://patch-diff.githubusercontent.com/crytic/properties/projects
Security https://patch-diff.githubusercontent.com/crytic/properties/security
Insights https://patch-diff.githubusercontent.com/crytic/properties/pulse
Brancheshttps://patch-diff.githubusercontent.com/crytic/properties/branches
Tagshttps://patch-diff.githubusercontent.com/crytic/properties/tags
https://patch-diff.githubusercontent.com/crytic/properties/branches
https://patch-diff.githubusercontent.com/crytic/properties/tags
160 Commitshttps://patch-diff.githubusercontent.com/crytic/properties/commits/main/
https://patch-diff.githubusercontent.com/crytic/properties/commits/main/
.githubhttps://patch-diff.githubusercontent.com/crytic/properties/tree/main/.github
.githubhttps://patch-diff.githubusercontent.com/crytic/properties/tree/main/.github
contractshttps://patch-diff.githubusercontent.com/crytic/properties/tree/main/contracts
contractshttps://patch-diff.githubusercontent.com/crytic/properties/tree/main/contracts
libhttps://patch-diff.githubusercontent.com/crytic/properties/tree/main/lib
libhttps://patch-diff.githubusercontent.com/crytic/properties/tree/main/lib
testshttps://patch-diff.githubusercontent.com/crytic/properties/tree/main/tests
testshttps://patch-diff.githubusercontent.com/crytic/properties/tree/main/tests
.gitignorehttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/.gitignore
.gitignorehttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/.gitignore
.gitmoduleshttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/.gitmodules
.gitmoduleshttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/.gitmodules
.prettierignorehttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/.prettierignore
.prettierignorehttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/.prettierignore
.solhint.jsonhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/.solhint.json
.solhint.jsonhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/.solhint.json
CLAUDE.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/CLAUDE.md
CLAUDE.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/CLAUDE.md
CODEOWNERShttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/CODEOWNERS
CODEOWNERShttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/CODEOWNERS
CONTRIBUTING.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/CONTRIBUTING.md
CONTRIBUTING.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/CONTRIBUTING.md
LICENSEhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/LICENSE
LICENSEhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/LICENSE
PROPERTIES.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/PROPERTIES.md
PROPERTIES.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/PROPERTIES.md
README.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/README.md
README.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/README.md
Trophies.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/Trophies.md
Trophies.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/Trophies.md
foundry.tomlhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/foundry.toml
foundry.tomlhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/foundry.toml
funding.jsonhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/funding.json
funding.jsonhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/funding.json
hardhat.config.jshttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/hardhat.config.js
hardhat.config.jshttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/hardhat.config.js
package-lock.jsonhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/package-lock.json
package-lock.jsonhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/package-lock.json
package.jsonhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/package.json
package.jsonhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/package.json
remappings.txthttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/remappings.txt
remappings.txthttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/remappings.txt
READMEhttps://patch-diff.githubusercontent.com/crytic/properties
Contributinghttps://patch-diff.githubusercontent.com/crytic/properties
AGPL-3.0 licensehttps://patch-diff.githubusercontent.com/crytic/properties
Securityhttps://patch-diff.githubusercontent.com/crytic/properties
https://patch-diff.githubusercontent.com/crytic/properties#table-of-contents
Table of contentshttps://patch-diff.githubusercontent.com/crytic/properties#table-of-contents
Propertieshttps://patch-diff.githubusercontent.com/crytic/properties#properties
Testing the properties with fuzzinghttps://patch-diff.githubusercontent.com/crytic/properties#testing-the-properties-with-fuzzing
ERC20 testshttps://patch-diff.githubusercontent.com/crytic/properties#erc20-tests
Integrationhttps://patch-diff.githubusercontent.com/crytic/properties#integration
Configurationhttps://patch-diff.githubusercontent.com/crytic/properties#configuration
Runhttps://patch-diff.githubusercontent.com/crytic/properties#run
Example: Output for a compliant tokenhttps://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-compliant-token
Example: Output for a non-compliant tokenhttps://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-non-compliant-token
ERC721 testshttps://patch-diff.githubusercontent.com/crytic/properties#erc721-tests
Integrationhttps://patch-diff.githubusercontent.com/crytic/properties#integration-1
Configurationhttps://patch-diff.githubusercontent.com/crytic/properties#configuration-1
Runhttps://patch-diff.githubusercontent.com/crytic/properties#run-1
Example: Output for a compliant tokenhttps://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-compliant-token-1
Example: Output for a non-compliant tokenhttps://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-non-compliant-token-1
ERC4626 Testshttps://patch-diff.githubusercontent.com/crytic/properties#erc4626-tests
Integrationhttps://patch-diff.githubusercontent.com/crytic/properties#integration-2
Configurationhttps://patch-diff.githubusercontent.com/crytic/properties#configuration-2
Runhttps://patch-diff.githubusercontent.com/crytic/properties#run-2
ABDKMath64x64 testshttps://patch-diff.githubusercontent.com/crytic/properties#abdkmath64x64-tests
Integrationhttps://patch-diff.githubusercontent.com/crytic/properties#integration-3
Runhttps://patch-diff.githubusercontent.com/crytic/properties#run-3
Additional resourceshttps://patch-diff.githubusercontent.com/crytic/properties#additional-resources
Helper functionshttps://patch-diff.githubusercontent.com/crytic/properties#helper-functions
Usage exampleshttps://patch-diff.githubusercontent.com/crytic/properties#usage-examples
Logginghttps://patch-diff.githubusercontent.com/crytic/properties#logging
Assertionshttps://patch-diff.githubusercontent.com/crytic/properties#assertions
Clampinghttps://patch-diff.githubusercontent.com/crytic/properties#clamping
HEVM cheat codes supporthttps://patch-diff.githubusercontent.com/crytic/properties#hevm-cheat-codes-support
Usage examplehttps://patch-diff.githubusercontent.com/crytic/properties#usage-example
Trophieshttps://patch-diff.githubusercontent.com/crytic/properties#trophies
How to contribute to this repo?https://patch-diff.githubusercontent.com/crytic/properties#how-to-contribute-to-this-repo
https://patch-diff.githubusercontent.com/crytic/properties#properties
ERC20https://ethereum.org/en/developers/docs/standards/tokens/erc-20/
25 propertieshttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/PROPERTIES.md#erc20
ERC721https://ethereum.org/en/developers/docs/standards/tokens/erc-721/
19 propertieshttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/PROPERTIES.md#erc721
ERC4626https://ethereum.org/en/developers/docs/standards/tokens/erc-4626/
37 propertieshttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/PROPERTIES.md#erc4626
ABDKMath64x64https://github.com/abdk-consulting/abdk-libraries-solidity/blob/master/ABDKMath64x64.md
106 propertieshttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/PROPERTIES.md#abdkmath64x64
Echidnahttps://github.com/crytic/echidna
Medusahttps://github.com/crytic/medusa
https://patch-diff.githubusercontent.com/crytic/properties#testing-the-properties-with-fuzzing
Echidnahttps://github.com/crytic/echidna#installation
Medusahttps://github.com/crytic/medusa/blob/master/docs/src/getting_started/installation.md#installation
ERC20 testshttps://patch-diff.githubusercontent.com/crytic/properties#erc20-tests
ERC4626 testhttps://patch-diff.githubusercontent.com/crytic/properties#erc4626-tests
ABDKMath64x64 testshttps://patch-diff.githubusercontent.com/crytic/properties#abdkmath64x64-tests
https://patch-diff.githubusercontent.com/crytic/properties#erc20-tests
Integrationhttps://patch-diff.githubusercontent.com/crytic/properties#integration
Configurationhttps://patch-diff.githubusercontent.com/crytic/properties#configuration
Runhttps://patch-diff.githubusercontent.com/crytic/properties#run
compliant tokenhttps://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-compliant-token
non compliant tokenhttps://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-non-compliant-token
https://patch-diff.githubusercontent.com/crytic/properties#integration
herehttps://secure-contracts.com/program-analysis/echidna/basic/common-testing-approaches.html
https://patch-diff.githubusercontent.com/crytic/properties#configuration
https://patch-diff.githubusercontent.com/crytic/properties#run
https://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-compliant-token
https://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-non-compliant-token
https://patch-diff.githubusercontent.com/crytic/properties#erc721-tests
Integrationhttps://patch-diff.githubusercontent.com/crytic/properties#integration-1
Configurationhttps://patch-diff.githubusercontent.com/crytic/properties#configuration-1
Runhttps://patch-diff.githubusercontent.com/crytic/properties#run-1
compliant tokenhttps://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-compliant-token-1
non compliant tokenhttps://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-non-compliant-token-1
https://patch-diff.githubusercontent.com/crytic/properties#integration-1
herehttps://secure-contracts.com/program-analysis/echidna/basic/common-testing-approaches.html
https://patch-diff.githubusercontent.com/crytic/properties#configuration-1
https://patch-diff.githubusercontent.com/crytic/properties#run-1
https://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-compliant-token-1
https://patch-diff.githubusercontent.com/crytic/properties#example-output-for-a-non-compliant-token-1
https://patch-diff.githubusercontent.com/crytic/properties#erc4626-tests
Integrationhttps://patch-diff.githubusercontent.com/crytic/properties#integration-2
Configurationhttps://patch-diff.githubusercontent.com/crytic/properties#configuration-2
Runhttps://patch-diff.githubusercontent.com/crytic/properties#run-2
https://patch-diff.githubusercontent.com/crytic/properties#integration-2
https://patch-diff.githubusercontent.com/crytic/properties#configuration-2
https://patch-diff.githubusercontent.com/crytic/properties#run-2
Hardhathttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/tests/ERC4626/hardhat
Foundryhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/tests/ERC4626/foundry
ERC4626 readmehttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/contracts/ERC4626/README.md#adding-internal-test-methods
https://patch-diff.githubusercontent.com/crytic/properties#abdkmath64x64-tests
ABDKMath64x64https://github.com/abdk-consulting/abdk-libraries-solidity
19 arithmetic operationshttps://github.com/abdk-consulting/abdk-libraries-solidity/blob/master/ABDKMath64x64.md#simple-arithmetic
6 conversion functionshttps://github.com/abdk-consulting/abdk-libraries-solidity/blob/master/ABDKMath64x64.md#conversions
Integrationhttps://patch-diff.githubusercontent.com/crytic/properties#integration-3
Runhttps://patch-diff.githubusercontent.com/crytic/properties#run-3
https://patch-diff.githubusercontent.com/crytic/properties#integration-3
https://patch-diff.githubusercontent.com/crytic/properties#run-3
https://patch-diff.githubusercontent.com/crytic/properties#additional-resources
Building secure contractshttps://secure-contracts.com/program-analysis/index.html
EmpireSlackinghttps://slack.empirehacking.nyc
fuzzing workshophttps://www.youtube.com/watch?v=QofNQxW_K08&list=PLciHOL_J7Iwqdja9UH4ZzE8dP1IxtsBXI
https://patch-diff.githubusercontent.com/crytic/properties#helper-functions
contracts/util/PropertiesAsserts.solhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/contracts/util/PropertiesAsserts.sol
https://patch-diff.githubusercontent.com/crytic/properties#usage-examples
https://patch-diff.githubusercontent.com/crytic/properties#logging
https://patch-diff.githubusercontent.com/crytic/properties#assertions
https://patch-diff.githubusercontent.com/crytic/properties#clamping
https://patch-diff.githubusercontent.com/crytic/properties#hevm-cheat-codes-support
HEVM cheat codeshttps://hevm.dev/std-test-tutorial.html#supported-cheat-codes
IHevm.solhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/contracts/util/IHevm.sol
https://patch-diff.githubusercontent.com/crytic/properties#usage-example
https://patch-diff.githubusercontent.com/crytic/properties#trophies
trophies pagehttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/Trophies.md#properties-trophies
https://patch-diff.githubusercontent.com/crytic/properties#how-to-contribute-to-this-repo
CONTRIBUTING.mdhttps://patch-diff.githubusercontent.com/crytic/properties/blob/main/CONTRIBUTING.md
Readme https://patch-diff.githubusercontent.com/crytic/properties#readme-ov-file
AGPL-3.0 license https://patch-diff.githubusercontent.com/crytic/properties#AGPL-3.0-1-ov-file
Contributing https://patch-diff.githubusercontent.com/crytic/properties#contributing-ov-file
Security policy https://patch-diff.githubusercontent.com/crytic/properties#security-ov-file
Please reload this pagehttps://patch-diff.githubusercontent.com/crytic/properties
Activityhttps://patch-diff.githubusercontent.com/crytic/properties/activity
Custom propertieshttps://patch-diff.githubusercontent.com/crytic/properties/custom-properties
360 starshttps://patch-diff.githubusercontent.com/crytic/properties/stargazers
7 watchinghttps://patch-diff.githubusercontent.com/crytic/properties/watchers
57 forkshttps://patch-diff.githubusercontent.com/crytic/properties/forks
Report repository https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Fcrytic%2Fproperties&report=crytic+%28user%29
Releases 2https://patch-diff.githubusercontent.com/crytic/properties/releases
v1.1.0 Latest Apr 18, 2025 https://patch-diff.githubusercontent.com/crytic/properties/releases/tag/v1.1.0
+ 1 releasehttps://patch-diff.githubusercontent.com/crytic/properties/releases
Packages 0https://patch-diff.githubusercontent.com/orgs/crytic/packages?repo_name=properties
Please reload this pagehttps://patch-diff.githubusercontent.com/crytic/properties
Contributors 18https://patch-diff.githubusercontent.com/crytic/properties/graphs/contributors
Please reload this pagehttps://patch-diff.githubusercontent.com/crytic/properties
+ 4 contributorshttps://patch-diff.githubusercontent.com/crytic/properties/graphs/contributors
Solidity 99.5% https://patch-diff.githubusercontent.com/crytic/properties/search?l=solidity
JavaScript 0.5% https://patch-diff.githubusercontent.com/crytic/properties/search?l=javascript
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.