HTTP/2 200
date: Tue, 30 Dec 2025 02:04:23 GMT
content-type: text/html; charset=utf-8
vary: X-PJAX, X-PJAX-Container, Turbo-Visit, Turbo-Frame, X-Requested-With,Accept-Encoding, Accept, X-Requested-With
etag: W/"7a37af98147036e651e20c48cd88c3f0"
cache-control: max-age=0, private, must-revalidate
strict-transport-security: max-age=31536000; includeSubdomains; preload
x-frame-options: deny
x-content-type-options: nosniff
x-xss-protection: 0
referrer-policy: origin-when-cross-origin, strict-origin-when-cross-origin
content-security-policy: default-src 'none'; base-uri 'self'; child-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/; connect-src 'self' uploads.github.com www.githubstatus.com collector.github.com raw.githubusercontent.com api.github.com github-cloud.s3.amazonaws.com github-production-repository-file-5c1aeb.s3.amazonaws.com github-production-upload-manifest-file-7fdce7.s3.amazonaws.com github-production-user-asset-6210df.s3.amazonaws.com *.rel.tunnels.api.visualstudio.com wss://*.rel.tunnels.api.visualstudio.com github.githubassets.com objects-origin.githubusercontent.com copilot-proxy.githubusercontent.com proxy.individual.githubcopilot.com proxy.business.githubcopilot.com proxy.enterprise.githubcopilot.com *.actions.githubusercontent.com wss://*.actions.githubusercontent.com productionresultssa0.blob.core.windows.net/ productionresultssa1.blob.core.windows.net/ productionresultssa2.blob.core.windows.net/ productionresultssa3.blob.core.windows.net/ productionresultssa4.blob.core.windows.net/ productionresultssa5.blob.core.windows.net/ productionresultssa6.blob.core.windows.net/ productionresultssa7.blob.core.windows.net/ productionresultssa8.blob.core.windows.net/ productionresultssa9.blob.core.windows.net/ productionresultssa10.blob.core.windows.net/ productionresultssa11.blob.core.windows.net/ productionresultssa12.blob.core.windows.net/ productionresultssa13.blob.core.windows.net/ productionresultssa14.blob.core.windows.net/ productionresultssa15.blob.core.windows.net/ productionresultssa16.blob.core.windows.net/ productionresultssa17.blob.core.windows.net/ productionresultssa18.blob.core.windows.net/ productionresultssa19.blob.core.windows.net/ github-production-repository-image-32fea6.s3.amazonaws.com github-production-release-asset-2e65be.s3.amazonaws.com insights.github.com wss://alive.github.com wss://alive-staging.github.com api.githubcopilot.com api.individual.githubcopilot.com api.business.githubcopilot.com api.enterprise.githubcopilot.com; font-src github.githubassets.com; form-action 'self' github.com gist.github.com copilot-workspace.githubnext.com objects-origin.githubusercontent.com; frame-ancestors 'none'; frame-src viewscreen.githubusercontent.com notebooks.githubusercontent.com; img-src 'self' data: blob: github.githubassets.com media.githubusercontent.com camo.githubusercontent.com identicons.github.com avatars.githubusercontent.com private-avatars.githubusercontent.com github-cloud.s3.amazonaws.com objects.githubusercontent.com release-assets.githubusercontent.com secured-user-images.githubusercontent.com/ user-images.githubusercontent.com/ private-user-images.githubusercontent.com opengraph.githubassets.com marketplace-screenshots.githubusercontent.com/ copilotprodattachments.blob.core.windows.net/github-production-copilot-attachments/ github-production-user-asset-6210df.s3.amazonaws.com customer-stories-feed.github.com spotlights-feed.github.com objects-origin.githubusercontent.com *.githubusercontent.com; manifest-src 'self'; media-src github.com user-images.githubusercontent.com/ secured-user-images.githubusercontent.com/ private-user-images.githubusercontent.com github-production-user-asset-6210df.s3.amazonaws.com gist.github.com github.githubassets.com; script-src github.githubassets.com; style-src 'unsafe-inline' github.githubassets.com; upgrade-insecure-requests; worker-src github.githubassets.com github.com/assets-cdn/worker/ github.com/assets/ gist.github.com/assets-cdn/worker/
server: github.com
content-encoding: gzip
accept-ranges: bytes
set-cookie: _gh_sess=6AySkMabFzBGLHDibGkp4tyG9B1iEHcO5IUohYDg35KvOAerhR61e%2FWInOx1lu7FFdCSfnJ6W8MalIVZnOdez7Jl656VocqlpFp37jxyntQdH2UtBll9qvuYxPGClU4MD3tCASK1Xmo%2Fb5UnldhjeC7FuTp25yr3Lpl3FjWJOA3ey2oR0SD2EDaKhOWjlaE%2FUDycel4F6h6dNSkSqgk4MATT1BR3QLhvaPEkwWLq8QmnvXrKpgBQSJKabVX%2FnLve1rNtw149rb6mXP%2FBbjP3Pg%3D%3D--oJXD%2B%2BL8me0oEkrc--WPXTNqpLauHWzgOXD%2BX9kQ%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.1862993999.1767060263; Path=/; Domain=github.com; Expires=Wed, 30 Dec 2026 02:04:23 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Wed, 30 Dec 2026 02:04:23 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: 969C:268821:69AA092:7EB0287:69533327
Crytic · GitHub
Since 2012, Trail of Bits has helped secure some of the world's most targeted
organizations and devices.
We combine high-end security research with a
real-world attacker mentality to reduce risk and fortify code.
Some of our work:
Pinned
Loading
Static Analyzer for Solidity and Vyper
Python
6.1k
1.1k
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Go
435
79
Ethereum smart contract fuzzer
Haskell
3.1k
419
Guidelines and training material to write secure smart contracts
Solidity
2.4k
377
Manage and switch between Solidity compiler versions
Python
802
112
Pre-built security properties for common Ethereum operations
Solidity
353
56
Repositories
Showing 10 of 65 repositories
slither
Public
Static Analyzer for Solidity and Vyper
crytic/slither’s past year of commit activity
echidna
Public
Ethereum smart contract fuzzer
crytic/echidna’s past year of commit activity
properties
Public
Pre-built security properties for common Ethereum operations
crytic/properties’s past year of commit activity
Solidity
353
AGPL-3.0
56
18
16
Updated Dec 29, 2025
crytic/solana-lints’s past year of commit activity
Rust
46
10
3
12
Updated Dec 25, 2025
medusa
Public
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
crytic/medusa’s past year of commit activity
crytic-compile
Public
Abstraction layer for smart contract build systems
crytic/crytic-compile’s past year of commit activity
solc-select
Public
Manage and switch between Solidity compiler versions
crytic/solc-select’s past year of commit activity
crytic.nix
Public
A flake.nix for easy access to crytic tools
crytic/crytic.nix’s past year of commit activity
Nix
2
0
0
0
Updated Dec 10, 2025
crytic/building-secure-contracts’s past year of commit activity
crytic/roundme’s past year of commit activity
Rust
103
AGPL-3.0
10
3
3
Updated Nov 25, 2025
You can’t perform that action at this time.
