HTTP/2 200
date: Mon, 21 Jul 2025 16:30:16 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/"4e2f33518c7c1725753551e3a1e8323d"
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 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 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 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; 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=882rukShmhDTcE2kphkhN%2BDrEyN%2FHA64unIs0ItdYvrbbcRq3cHf5uIGV2CfH4C8xTq4g9j0RPuNs76chf0UX75AvPVMV9HdgEu0osuNcpv%2FxEv1pXGyHxutU5%2BQQpTuInoI9hMzxzyt5XsmYEo9icstdaeFWyfzVpKUOXJeq5d2%2F2aMZvh40tgsmz3TPbyQDYaWy7O5ZSBZYx9tiBKoaQ29ElKhXJa6SDVFogMswRLVWMYu0rmNz%2Fljg%2BFQm5qyjYa%2BVgpKq6%2F3P%2BP7oYmY0w%3D%3D--DTTOzNpfCGdL4dRR--pciRSDnWADaWTceM%2Fab%2Bsw%3D%3D; Path=/; HttpOnly; Secure; SameSite=Lax
set-cookie: _octo=GH1.1.967424800.1753115416; Path=/; Domain=github.com; Expires=Tue, 21 Jul 2026 16:30:16 GMT; Secure; SameSite=Lax
set-cookie: logged_in=no; Path=/; Domain=github.com; Expires=Tue, 21 Jul 2026 16:30:16 GMT; HttpOnly; Secure; SameSite=Lax
x-github-request-id: A800:1222CF:108078:135A5E:687E6B18
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
5.8k
1k
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Go
404
70
Ethereum smart contract fuzzer
Haskell
2.9k
402
Guidelines and training material to write secure smart contracts
Solidity
2.4k
367
Manage and switch between Solidity compiler versions
Python
782
111
Pre-built security properties for common Ethereum operations
Solidity
329
51
Repositories
Showing 10 of 65 repositories
echidna
Public
Ethereum smart contract fuzzer
crytic/echidna’s past year of commit activity
slither
Public
Static Analyzer for Solidity and Vyper
crytic/slither’s past year of commit activity
medusa
Public
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
crytic/medusa’s past year of commit activity
crytic/solana-lints’s past year of commit activity
Rust
43
10
3
7
Updated Jul 17, 2025
crytic.nix
Public
A flake.nix for easy access to crytic tools
crytic/crytic.nix’s past year of commit activity
Nix
0
0
0
0
Updated Jul 10, 2025
attacknet
Public
Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks
crytic/attacknet’s past year of commit activity
Go
76
AGPL-3.0
15
7
2
Updated Jul 9, 2025
crytic-compile
Public
Abstraction layer for smart contract build systems
crytic/crytic-compile’s past year of commit activity
medusa-geth
Public
A go-ethereum fork enabling additional testing capabilities for medusa
crytic/medusa-geth’s past year of commit activity
12
1
0
0
Updated Apr 23, 2025
properties
Public
Pre-built security properties for common Ethereum operations
crytic/properties’s past year of commit activity
Solidity
329
AGPL-3.0
51
20
5
Updated Apr 18, 2025
solc-select
Public
Manage and switch between Solidity compiler versions
crytic/solc-select’s past year of commit activity
Most used topics
Loading…
You can’t perform that action at this time.
