René's URL Explorer Experiment

Title: GitHub - trailofbits/deepstate: A unit test-like interface for fuzzing and symbolic execution

Open Graph Title: GitHub - trailofbits/deepstate: A unit test-like interface for fuzzing and symbolic execution

X Title: GitHub - trailofbits/deepstate: A unit test-like interface for fuzzing and symbolic execution

Description: A unit test-like interface for fuzzing and symbolic execution - trailofbits/deepstate

Open Graph Description: A unit test-like interface for fuzzing and symbolic execution - trailofbits/deepstate

X Description: A unit test-like interface for fuzzing and symbolic execution - trailofbits/deepstate

Opengraph URL: https://github.com/trailofbits/deepstate

X: @github

direct link

Domain: patch-diff.githubusercontent.com

route-pattern	/:user_id/:repository
route-controller	files
route-action	disambiguate
fetch-nonce	v2:26904e29-1132-f613-8925-658a45d99228
current-catalog-service-hash	f3abb0cc802f3d7b95fc8762b94bdcb13bf39634c40c357301c4aa1d67a256fb
request-id	B93E:54AB2:33B217:44E600:698ECF01
html-safe-nonce	440a8f86c0979e7c7e0a3e872aa518a23d7c7f179d9a11b97c5837ffa97d7548
visitor-payload	eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCOTNFOjU0QUIyOjMzQjIxNzo0NEU2MDA6Njk4RUNGMDEiLCJ2aXNpdG9yX2lkIjoiODE5OTY0MTgyMzEzNzY4MTE1MyIsInJlZ2lvbl9lZGdlIjoiaWFkIiwicmVnaW9uX3JlbmRlciI6ImlhZCJ9
visitor-hmac	9f9ee53be1aa6d3fa05deaea52192c9e51dcbd5e08cdd18ccb0eae1a28da50ee
hovercard-subject-tag	repository:108593287
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/trailofbits/deepstate
twitter:image	https://opengraph.githubassets.com/978919428cf4ae93dc5896d356dc457a1dc74c40f1276be0687b453da35a3ece/trailofbits/deepstate
twitter:card	summary_large_image
og:image	https://opengraph.githubassets.com/978919428cf4ae93dc5896d356dc457a1dc74c40f1276be0687b453da35a3ece/trailofbits/deepstate
og:image:alt	A unit test-like interface for fuzzing and symbolic execution - trailofbits/deepstate
og:image:width	1200
og:image:height	600
og:site_name	GitHub
og:type	object
hostname	github.com
expected-hostname	github.com
None	cb2828a801ee6b7be618f3ac76fbf55def35bbc30f053a9c41bf90210b8b72ba
turbo-cache-control	no-preview
go-import	github.com/trailofbits/deepstate git https://github.com/trailofbits/deepstate.git
octolytics-dimension-user_id	2314423
octolytics-dimension-user_login	trailofbits
octolytics-dimension-repository_id	108593287
octolytics-dimension-repository_nwo	trailofbits/deepstate
octolytics-dimension-repository_public	true
octolytics-dimension-repository_is_fork	false
octolytics-dimension-repository_network_root_id	108593287
octolytics-dimension-repository_network_root_nwo	trailofbits/deepstate
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	e6b91a7e6e46287d26887e3fb7a4161657bab8f7
ui-target	full
theme-color	#1e2327
color-scheme	light dark

Links:

Skip to content	https://patch-diff.githubusercontent.com/trailofbits/deepstate#start-of-content
	https://patch-diff.githubusercontent.com/
Sign in	https://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftrailofbits%2Fdeepstate
GitHub CopilotWrite better code with AI	https://github.com/features/copilot
GitHub SparkBuild and deploy intelligent apps	https://github.com/features/spark
GitHub ModelsManage and compare prompts	https://github.com/features/models
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
GitHub SponsorsFund open source developers	https://github.com/sponsors
Security Lab	https://securitylab.github.com
Maintainer Community	https://maintainers.github.com
Accelerator	https://github.com/accelerator
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/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://patch-diff.githubusercontent.com/login?return_to=https%3A%2F%2Fgithub.com%2Ftrailofbits%2Fdeepstate
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=trailofbits%2Fdeepstate
Reload	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Reload	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Reload	https://patch-diff.githubusercontent.com/trailofbits/deepstate
trailofbits	https://patch-diff.githubusercontent.com/trailofbits
deepstate	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Notifications	https://patch-diff.githubusercontent.com/login?return_to=%2Ftrailofbits%2Fdeepstate
Fork 95	https://patch-diff.githubusercontent.com/login?return_to=%2Ftrailofbits%2Fdeepstate
Star 851	https://patch-diff.githubusercontent.com/login?return_to=%2Ftrailofbits%2Fdeepstate
Apache-2.0 license	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/LICENSE
851 stars	https://patch-diff.githubusercontent.com/trailofbits/deepstate/stargazers
95 forks	https://patch-diff.githubusercontent.com/trailofbits/deepstate/forks
Branches	https://patch-diff.githubusercontent.com/trailofbits/deepstate/branches
Tags	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tags
Activity	https://patch-diff.githubusercontent.com/trailofbits/deepstate/activity
Star	https://patch-diff.githubusercontent.com/login?return_to=%2Ftrailofbits%2Fdeepstate
Notifications	https://patch-diff.githubusercontent.com/login?return_to=%2Ftrailofbits%2Fdeepstate
Code	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Issues 82	https://patch-diff.githubusercontent.com/trailofbits/deepstate/issues
Pull requests 7	https://patch-diff.githubusercontent.com/trailofbits/deepstate/pulls
Projects 0	https://patch-diff.githubusercontent.com/trailofbits/deepstate/projects
Wiki	https://patch-diff.githubusercontent.com/trailofbits/deepstate/wiki
Security 0	https://patch-diff.githubusercontent.com/trailofbits/deepstate/security
Insights	https://patch-diff.githubusercontent.com/trailofbits/deepstate/pulse
Code	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Issues	https://patch-diff.githubusercontent.com/trailofbits/deepstate/issues
Pull requests	https://patch-diff.githubusercontent.com/trailofbits/deepstate/pulls
Projects	https://patch-diff.githubusercontent.com/trailofbits/deepstate/projects
Wiki	https://patch-diff.githubusercontent.com/trailofbits/deepstate/wiki
Security	https://patch-diff.githubusercontent.com/trailofbits/deepstate/security
Insights	https://patch-diff.githubusercontent.com/trailofbits/deepstate/pulse
Branches	https://patch-diff.githubusercontent.com/trailofbits/deepstate/branches
Tags	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tags
	https://patch-diff.githubusercontent.com/trailofbits/deepstate/branches
	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tags
1,183 Commits	https://patch-diff.githubusercontent.com/trailofbits/deepstate/commits/master/
	https://patch-diff.githubusercontent.com/trailofbits/deepstate/commits/master/
.github/workflows	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/.github/workflows
.github/workflows	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/.github/workflows
bin	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/bin
bin	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/bin
docker	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/docker
docker	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/docker
docs	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/docs
docs	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/docs
examples	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/examples
examples	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/examples
extras	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/extras
extras	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/extras
push	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/push
push	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/push
src	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/src
src	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/src
tests	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/tests
tests	https://patch-diff.githubusercontent.com/trailofbits/deepstate/tree/master/tests
.dockerignore	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/.dockerignore
.dockerignore	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/.dockerignore
.gitignore	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/.gitignore
.gitignore	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/.gitignore
CMakeLists.txt	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/CMakeLists.txt
CMakeLists.txt	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/CMakeLists.txt
CODEOWNERS	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/CODEOWNERS
CODEOWNERS	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/CODEOWNERS
LICENSE	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/LICENSE
LICENSE	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/LICENSE
README.md	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/README.md
README.md	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/README.md
Vagrantfile	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/Vagrantfile
Vagrantfile	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/Vagrantfile
mypy.ini	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/mypy.ini
mypy.ini	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/mypy.ini
README	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Apache-2.0 license	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Security	https://patch-diff.githubusercontent.com/trailofbits/deepstate
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#deepstate
	https://slack.empirehacking.nyc/
paper	https://agroce.github.io/bar18.pdf
2018 IEEE Cybersecurity Development Conference	https://secdev.ieee.org/2018/home
full tutorial	https://github.com/trailofbits/publications/tree/master/workshops/DeepState:%20Bringing%20vulnerability%20detection%20tools%20into%20the%20development%20lifecycle%20-%20SecDev%202018
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#table-of-contents
DeepState in a Nutshell	https://patch-diff.githubusercontent.com/trailofbits/deepstate#deepstate-in-a-nutshell
Articles describing DeepState	https://patch-diff.githubusercontent.com/trailofbits/deepstate#articles-describing-deepstate
Overview of Features	https://patch-diff.githubusercontent.com/trailofbits/deepstate#overview-of-features
Build'n'run	https://patch-diff.githubusercontent.com/trailofbits/deepstate#buildnrun
Supported Platforms	https://patch-diff.githubusercontent.com/trailofbits/deepstate#supported-platforms
Dependencies	https://patch-diff.githubusercontent.com/trailofbits/deepstate#dependencies
Building on Ubuntu 18.04 (Bionic)	https://patch-diff.githubusercontent.com/trailofbits/deepstate#building-on-ubuntu-1804-bionic
Building on Windows 10	https://patch-diff.githubusercontent.com/trailofbits/deepstate#building-on-windows-10
Installing	https://patch-diff.githubusercontent.com/trailofbits/deepstate#installing
Installation testing	https://patch-diff.githubusercontent.com/trailofbits/deepstate#installation-testing
Docker	https://patch-diff.githubusercontent.com/trailofbits/deepstate#docker
Documentation	https://patch-diff.githubusercontent.com/trailofbits/deepstate#documentation
Contributing	https://patch-diff.githubusercontent.com/trailofbits/deepstate#contributing
Trophy case	https://patch-diff.githubusercontent.com/trailofbits/deepstate#trophy-case
License	https://patch-diff.githubusercontent.com/trailofbits/deepstate#license
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#deepstate-in-a-nutshell
https://en.wikipedia.org/wiki/Traffic_collision_avoidance_system	https://en.wikipedia.org/wiki/Traffic_collision_avoidance_system
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#articles-describing-deepstate
Fuzzing an API with DeepState (Part 1)	https://blog.trailofbits.com/2019/01/22/fuzzing-an-api-with-deepstate-part-1
Fuzzing an API with DeepState (Part 2)	https://blog.trailofbits.com/2019/01/23/fuzzing-an-api-with-deepstate-part-2
Fuzzing Unit Tests with DeepState and Eclipser	https://blog.trailofbits.com/2019/05/31/fuzzing-unit-tests-with-deepstate-and-eclipser
DeepState Now Supports Ensemble Fuzzing	https://blog.trailofbits.com/2019/09/03/deepstate-now-supports-ensemble-fuzzing/
Everything You Ever Wanted To Know About Test-Case Reduction, But Didn’t Know to Ask	https://blog.trailofbits.com/2019/11/11/test-case-reduction/
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#overview-of-features
plus effective automatic test case reduction to aid debugging	https://blog.trailofbits.com/2019/11/11/test-case-reduction/
swarm testing	https://agroce.github.io/issta12.pdf
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#buildnrun
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#supported-platforms
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#dependencies
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#building-on-ubuntu-1804-bionic
Python 3.6 or greater	https://askubuntu.com/a/865569
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#changing-file-permissions
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#installing-dependencies-on-ubuntu-if-issues-arise
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#building-on-windows-10
installation instructions	https://www.msys2.org/#installation
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#installing
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#installation-testing
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#docker
here	https://docs.docker.com/engine/install/
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#documentation
docs	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/docs
Basic usage	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/docs/basic_usage.md
Writing a test harness	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/docs/test_harness.md
Fuzzing	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/docs/fuzzing.md
Swarm testing	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/docs/swarm_testing.md
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#external-tools
Rcppdeepstate tool	https://github.com/akhikolla/RcppDeepState
paper presented at the 2021 IEEE International Symposium on Software Reliability Engineering	https://agroce.github.io/issre21.pdf
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#contributing
Empire Hacking Slack	https://slack.empirehacking.nyc/
good first issue	https://github.com/trailofbits/deepstate/issues?q=is%3Aissue+is%3Aopen+label%3A%22good+first+issue%22
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#trophy-case
Blosc/c-blosc2#93	https://github.com/Blosc/c-blosc2/issues/93
Blosc/c-blosc2#94	https://github.com/Blosc/c-blosc2/issues/94
Blosc/c-blosc2#95	https://github.com/Blosc/c-blosc2/issues/95
FooBarWidget/boyer-moore-horspool#4	https://github.com/FooBarWidget/boyer-moore-horspool/issues/4
	https://patch-diff.githubusercontent.com/trailofbits/deepstate#license
The Apache License 2.0	https://patch-diff.githubusercontent.com/trailofbits/deepstate/blob/master/LICENSE
unit-testing	https://patch-diff.githubusercontent.com/topics/unit-testing
symbolic-execution	https://patch-diff.githubusercontent.com/topics/symbolic-execution
property-based-testing	https://patch-diff.githubusercontent.com/topics/property-based-testing
fuzzing	https://patch-diff.githubusercontent.com/topics/fuzzing
testing-tools	https://patch-diff.githubusercontent.com/topics/testing-tools
testing-framework	https://patch-diff.githubusercontent.com/topics/testing-framework
Readme	https://patch-diff.githubusercontent.com/trailofbits/deepstate#readme-ov-file
Apache-2.0 license	https://patch-diff.githubusercontent.com/trailofbits/deepstate#Apache-2.0-1-ov-file
Security policy	https://patch-diff.githubusercontent.com/trailofbits/deepstate#security-ov-file
Please reload this page	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Activity	https://patch-diff.githubusercontent.com/trailofbits/deepstate/activity
Custom properties	https://patch-diff.githubusercontent.com/trailofbits/deepstate/custom-properties
851 stars	https://patch-diff.githubusercontent.com/trailofbits/deepstate/stargazers
54 watching	https://patch-diff.githubusercontent.com/trailofbits/deepstate/watchers
95 forks	https://patch-diff.githubusercontent.com/trailofbits/deepstate/forks
Report repository	https://patch-diff.githubusercontent.com/contact/report-content?content_url=https%3A%2F%2Fgithub.com%2Ftrailofbits%2Fdeepstate&report=trailofbits+%28user%29
Releases	https://patch-diff.githubusercontent.com/trailofbits/deepstate/releases
Packages 0	https://patch-diff.githubusercontent.com/orgs/trailofbits/packages?repo_name=deepstate
Please reload this page	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Please reload this page	https://patch-diff.githubusercontent.com/trailofbits/deepstate
Contributors 18	https://patch-diff.githubusercontent.com/trailofbits/deepstate/graphs/contributors
Please reload this page	https://patch-diff.githubusercontent.com/trailofbits/deepstate
+ 4 contributors	https://patch-diff.githubusercontent.com/trailofbits/deepstate/graphs/contributors
Python 49.5%	https://patch-diff.githubusercontent.com/trailofbits/deepstate/search?l=python
C 27.2%	https://patch-diff.githubusercontent.com/trailofbits/deepstate/search?l=c
C++ 18.4%	https://patch-diff.githubusercontent.com/trailofbits/deepstate/search?l=c%2B%2B
CMake 2.3%	https://patch-diff.githubusercontent.com/trailofbits/deepstate/search?l=cmake
Dockerfile 1.4%	https://patch-diff.githubusercontent.com/trailofbits/deepstate/search?l=dockerfile
Shell 1.2%	https://patch-diff.githubusercontent.com/trailofbits/deepstate/search?l=shell
	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.