{"id":13468743,"url":"https://github.com/pschanely/CrossHair","last_synced_at":"2025-03-26T05:31:18.358Z","repository":{"id":37602063,"uuid":"101762821","full_name":"pschanely/CrossHair","owner":"pschanely","description":"An analysis tool for Python that blurs the line between testing and type systems.","archived":false,"fork":false,"pushed_at":"2025-03-15T13:26:09.000Z","size":4697,"stargazers_count":1088,"open_issues_count":64,"forks_count":53,"subscribers_count":12,"default_branch":"main","last_synced_at":"2025-03-15T13:33:26.247Z","etag":null,"topics":["concolic-execution","contracts","dynamic-analysis","fuzzing","hacktoberfest","python","static-analysis","symbolic-execution","testing","testing-framework","type-systems","z3"],"latest_commit_sha":null,"homepage":"","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"other","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/pschanely.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2017-08-29T13:11:40.000Z","updated_at":"2025-03-15T13:26:13.000Z","dependencies_parsed_at":"2023-11-20T23:28:47.718Z","dependency_job_id":"d8ea5423-fad9-4b0a-995f-b02172bb5f0a","html_url":"https://github.com/pschanely/CrossHair","commit_stats":{"total_commits":1548,"total_committers":21,"mean_commits":73.71428571428571,"dds":0.3410852713178295,"last_synced_commit":"14e2a77c5de2453b28419b409b9609d3b2835d0d"},"previous_names":[],"tags_count":87,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pschanely%2FCrossHair","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pschanely%2FCrossHair/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pschanely%2FCrossHair/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pschanely%2FCrossHair/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/pschanely","download_url":"https://codeload.github.com/pschanely/CrossHair/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245597283,"owners_count":20641864,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["concolic-execution","contracts","dynamic-analysis","fuzzing","hacktoberfest","python","static-analysis","symbolic-execution","testing","testing-framework","type-systems","z3"],"created_at":"2024-07-31T15:01:18.079Z","updated_at":"2025-03-26T05:31:18.348Z","avatar_url":"https://github.com/pschanely.png","language":"Python","funding_links":[],"categories":["Python","Programming Languages","Tools"],"sub_categories":["Python"],"readme":"\u003cimg src=\"doc/source/logo-gray.png\" width=\"5%\" align=\"left\"\u003e\n\n# CrossHair\n\n[![Join the chat on Discord](https://img.shields.io/discord/1346219754519789719?logo=discord\u0026logoColor=white)](https://discord.gg/rUeTaYTWbb)\n[![Check status](https://github.com/pschanely/CrossHair/actions/workflows/check.yml/badge.svg?branch=main\u0026event=push)](https://github.com/pschanely/CrossHair/actions?query=workflow%3ACheck+event%3Apush)\n[![Downloads](https://static.pepy.tech/badge/crosshair-tool/week)](https://pepy.tech/project/crosshair-tool)\n\nAn analysis tool for Python that blurs the line between testing and\ntype systems.\n\n\u003e **_THE LATEST NEWS:_**\nPython's most popular property-based testing tool,\n[Hypothesis](https://hypothesis.readthedocs.io/en/latest/),\nnow supports running CrossHair as an\n[optional backend](https://hypothesis.readthedocs.io/en/latest/strategies.html#alternative-backends)!\n\n\nIf you have a function with\n[type annotations](https://www.python.org/dev/peps/pep-0484/) and add a\ncontract\n[in a supported syntax](https://crosshair.readthedocs.io/en/latest/kinds_of_contracts.html),\nCrossHair will attempt to find counterexamples for you:\n\n![Animated GIF demonstrating the verification of a python function](doc/source/duplicate_list.gif)\n\nCrossHair works by repeatedly calling your functions with symbolic inputs.\nIt uses an [SMT solver] (a kind of theorem prover) to explore viable\nexecution paths and find counterexamples for you.\nThis is not a new idea; a Python approach was first described in\n[this paper].\nHowever, to my knowledge, CrossHair is the most complete implementation:\nit can use symbolic reasoning for the built-in types, user-defined classes, and much\nof the standard library.\n\n[SMT solver]: https://en.wikipedia.org/wiki/Satisfiability_modulo_theories\n[this paper]: https://hoheinzollern.files.wordpress.com/2008/04/seer1.pdf\n\nTry CrossHair right now, in your browser, at [crosshair-web.org]!\n\nCrossHair has [IDE integrations] for [VS Code], [PyCharm], and more.\n\nFinally, CrossHair can do more than check contracts. It can also\n[generate unit tests](https://crosshair.readthedocs.io/en/latest/cover.html)\nand\n[find behavioral differences](https://crosshair.readthedocs.io/en/latest/diff_behavior.html)\nbetween functions.\n\n[IDE integrations]: https://crosshair.readthedocs.io/en/latest/ide_integrations.html\n[VS Code]: https://marketplace.visualstudio.com/items?itemName=CrossHair.crosshair\n[PyCharm]: https://plugins.jetbrains.com/plugin/16266-crosshair-pycharm\n\n[crosshair-web.org]: https://crosshair-web.org\n\nWant to help?\nSign up for\n[email](http://eepurl.com/hGTLRH)\nor\n[RSS](https://pschanely.github.io/feed.xml)\nupdates.\nStar ⭐️ the repository.\nThere are\n[other ways to help](https://crosshair.readthedocs.io/en/latest/how_can_i_help.html)\ntoo.\n\n## [Documentation](https://crosshair.readthedocs.io/en/latest)\n\n* [Introduction](https://crosshair.readthedocs.io/en/latest/introduction.html)\n* [Get Started](https://crosshair.readthedocs.io/en/latest/get_started.html)\n* [The Details: Contracts](https://crosshair.readthedocs.io/en/latest/contracts.html)\n* [The Details: cover](https://crosshair.readthedocs.io/en/latest/cover.html)\n* [The Details: diffbehavior](https://crosshair.readthedocs.io/en/latest/diff_behavior.html)\n* [Kinds of Contracts](https://crosshair.readthedocs.io/en/latest/kinds_of_contracts.html)\n* [Hints for Your Classes](https://crosshair.readthedocs.io/en/latest/hints_for_your_classes.html)\n* [IDE Integrations](https://crosshair.readthedocs.io/en/latest/ide_integrations.html)\n* [Case Studies](https://crosshair.readthedocs.io/en/latest/case_studies.html)\n* [Limitations](https://crosshair.readthedocs.io/en/latest/limitations.html)\n* [Plugins](https://crosshair.readthedocs.io/en/latest/plugins.html)\n* [How Does It Work?](https://crosshair.readthedocs.io/en/latest/how_does_it_work.html)\n* [How Can I Help?](https://crosshair.readthedocs.io/en/latest/how_can_i_help.html)\n* [Related Work](https://crosshair.readthedocs.io/en/latest/related_work.html)\n* [Contributing](https://crosshair.readthedocs.io/en/latest/contributing.html)\n* [Changelog](https://crosshair.readthedocs.io/en/latest/changelog.html)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpschanely%2FCrossHair","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpschanely%2FCrossHair","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpschanely%2FCrossHair/lists"}