Skip to content
Navigation Menu
Toggle navigation
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Spark
Build and deploy intelligent apps
GitHub Models
Manage and compare prompts
MCP Registry
New
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search or jump to...
Search code, repositories, users, issues, pull requests...
Search syntax tips
Provide feedback
Saved searches
Use saved searches to filter your results more quickly
Sign in
Sign up
Appearance settings
Resetting focus
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
crytic
/
building-secure-contracts
Public
Notifications
You must be signed in to change notification settings
Fork
376
Star
2.4k
Code
Issues
40
Pull requests
21
Discussions
Actions
Projects
0
Security
Uh oh!
There was an error while loading.
Please reload this page
.
Insights
Additional navigation options
Code
Issues
Pull requests
Discussions
Actions
Projects
Security
Insights
Commits
Branch selector
master
User selector
All users
Datepicker
All time
Commit History
Commits on Sep 12, 2025
Merge pull request #410 from crytic/mdbook-ref
Show description for a8dbda0
elopez
authored
a8dbda0
Copy full SHA for a8dbda0
Commits on Sep 5, 2025
Merge pull request #411 from crytic/fix-links
Show description for 9885904
elopez
authored
9885904
Copy full SHA for 9885904
Fix links in not-so-smart-contracts
elopez
committed
8907e27
Copy full SHA for 8907e27
Refresh CODEOWNERS
elopez
committed
bc20e47
Copy full SHA for bc20e47
Fix zizmor warnings
elopez
committed
ba3a5db
Copy full SHA for ba3a5db
Update mdbook reference to trail-of-forks
elopez
committed
9fd6380
Copy full SHA for 9fd6380
Merge pull request #404 from gustavo-grieco/gustavo-grieco-patch-1
Show description for 9cf345d
elopez
authored
9cf345d
Copy full SHA for 9cf345d
lint
gustavo-grieco
committed
f35035e
Copy full SHA for f35035e
Commits on Sep 4, 2025
Merge pull request #406 from crytic/dependabot/github_actions/actions/upload-pages-artifact-4
Show description for 442291f
elopez
authored
442291f
Copy full SHA for 442291f
Merge pull request #407 from crytic/dependabot/github_actions/actions/setup-go-6
Show description for 15b7b6e
elopez
authored
15b7b6e
Copy full SHA for 15b7b6e
Update medusa go-version
elopez
authored
13a3bee
Copy full SHA for 13a3bee
Merge pull request #408 from crytic/dependabot/github_actions/actions/setup-python-6
Show description for 7341af6
elopez
authored
7341af6
Copy full SHA for 7341af6
Merge pull request #409 from crytic/dependabot/github_actions/actions/setup-node-5
Show description for 1b9c190
elopez
authored
1b9c190
Copy full SHA for 1b9c190
Bump actions/setup-node from 3 to 5
Show description for be1d2bc
dependabot[bot]
authored
be1d2bc
Copy full SHA for be1d2bc
Bump actions/setup-python from 5 to 6
Show description for 621ecb5
dependabot[bot]
authored
621ecb5
Copy full SHA for 621ecb5
Bump actions/setup-go from 5 to 6
Show description for 136535f
dependabot[bot]
authored
136535f
Copy full SHA for 136535f
Commits on Aug 26, 2025
Merge pull request #405 from crytic/fix-ci-config
Show description for 91ad75e
elopez
authored
91ad75e
Copy full SHA for 91ad75e
Commits on Aug 22, 2025
Bump actions/upload-pages-artifact from 3 to 4
Show description for e797882
dependabot[bot]
authored
e797882
Copy full SHA for e797882
Fix some broken links
elopez
committed
7b2a7f3
Copy full SHA for 7b2a7f3
Update link checking action to supported fork, add config to retry
elopez
committed
7c74b0c
Copy full SHA for 7c74b0c
Update medusa config file, fix multi.sol medusa test
elopez
committed
0e13bc4
Copy full SHA for 0e13bc4
Remove `estimateGas` documentation
Show description for b3bb943
elopez
committed
b3bb943
Copy full SHA for b3bb943
Merge pull request #402 from crytic/dependabot/github_actions/actions/checkout-5
Show description for ba43f14
elopez
authored
ba43f14
Copy full SHA for ba43f14
Commits on Aug 21, 2025
Update configuration.md
gustavo-grieco
authored
726f177
Copy full SHA for 726f177
Update program-analysis/echidna/configuration.md
Show description for f1ea943
gustavo-grieco
and
elopez
authored
f1ea943
Copy full SHA for f1ea943
Update configuration.md
gustavo-grieco
authored
7c04b86
Copy full SHA for 7c04b86
Update configuration.md
gustavo-grieco
authored
c5107d4
Copy full SHA for c5107d4
Apply suggestions from code review
Show description for cbd0403
gustavo-grieco
and
elopez
authored
cbd0403
Copy full SHA for cbd0403
Update echidna configuration.md to include symbolic execution documentation
gustavo-grieco
authored
602d13b
Copy full SHA for 602d13b
Commits on Aug 12, 2025
Bump actions/checkout from 4 to 5
Show description for e5f2acd
dependabot[bot]
authored
e5f2acd
Copy full SHA for e5f2acd
Commits on Jul 23, 2025
Merge pull request #401 from crytic/update-echidna-conf
Show description for dab4317
elopez
authored
dab4317
Copy full SHA for dab4317
Update Echidna configuration options
elopez
committed
0a9f36e
Copy full SHA for 0a9f36e
Commits on Apr 15, 2025
Merge pull request #400 from MK-BG/patch-2
Show description for b2c07d5
bsamuels453
authored
b2c07d5
Copy full SHA for b2c07d5
Update contact.md
Show description for c484e2f
MK-BG
authored
c484e2f
Copy full SHA for c484e2f
Commits on Mar 26, 2025
Merge pull request #398 from crytic/dev/update-medusa-v1.2.0
Show description for c9536b3
Jaime-Iglesias
authored
c9536b3
Copy full SHA for c9536b3
Pagination
Previous
Next
You can’t perform that action at this time.
![dependabot[bot]](https://avatars.githubusercontent.com/in/29110?v=4&size=32){kind=avatar}
