معرفی شرکت ها
crosshair-tool-0.0.9
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Analyze Python code for correctness using symbolic execution.
| ویژگی | مقدار |
|---|---|
| سیستم عامل | - |
| نام فایل | crosshair-tool-0.0.9 |
| نام | crosshair-tool |
| نسخه کتابخانه | 0.0.9 |
| نگهدارنده | [] |
| ایمیل نگهدارنده | [] |
| نویسنده | Phillip Schanely |
| ایمیل نویسنده | pschanely+vE7F@gmail.com |
| آدرس صفحه اصلی | https://github.com/pschanely/CrossHair |
| آدرس اینترنتی | https://pypi.org/project/crosshair-tool/ |
| مجوز | MIT |
<img src="https://raw.githubusercontent.com/pschanely/CrossHair/main/doc/source/logo-gray.png" width="5%" align="left">
# CrossHair
[](https://gitter.im/Cross_Hair/Lobby?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
[](https://github.com/pschanely/CrossHair/actions?query=workflow%3ACheck)
[](https://pepy.tech/project/crosshair-tool)
An analysis tool for Python that blurs the line between testing and
type systems.
> **_THE LATEST NEWS:_**
The new CrossHair VSCode extension can work in the background and provide in-line
errors when it finds a counterexample, just like a linter or type-checker.
[Try it out](https://marketplace.visualstudio.com/items?itemName=CrossHair.crosshair)
and tell me what you think!
If you have a function with
[type annotations](https://www.python.org/dev/peps/pep-0484/) and add a
contract
[in a supported syntax](https://crosshair.readthedocs.io/en/latest/kinds_of_contracts.html),
CrossHair will attempt to find counterexamples for you:
CrossHair works by repeatedly calling your functions with symbolic inputs.
It uses an [SMT solver] (a kind of theorem prover) to explore viable
execution paths and find counterexamples for you.
This is not a new idea; a Python approach was first described in
[this paper].
However, to my knowledge, CrossHair is the most complete implementation:
it can use symbolic reasoning for the built-in types, user-defined classes, and much
of the standard library.
[SMT solver]: https://en.wikipedia.org/wiki/Satisfiability_modulo_theories
[this paper]: https://hoheinzollern.files.wordpress.com/2008/04/seer1.pdf
Try CrossHair right now, in your browser, at [crosshair-web.org]!
CrossHair has [IDE integrations] for [VS Code], [PyCharm], and more.
Finally, CrossHair can do more than check contracts. It can also
[generate unit tests](https://crosshair.readthedocs.io/en/latest/cover.html)
and
[find behavioral differences](https://crosshair.readthedocs.io/en/latest/diff_behavior.html)
between functions.
[IDE integrations]: https://crosshair.readthedocs.io/en/latest/ide_integrations.html
[VS Code]: https://marketplace.visualstudio.com/items?itemName=CrossHair.crosshair
[PyCharm]: https://plugins.jetbrains.com/plugin/16266-crosshair-pycharm
[crosshair-web.org]: https://crosshair-web.org
Want to help?
Sign up for
[email](http://eepurl.com/hGTLRH)
or
[RSS](https://pschanely.github.io/feed.xml)
updates.
Star ⭐️ the repository.
There are
[other ways to help](https://crosshair.readthedocs.io/en/latest/how_can_i_help.html)
too.
## [Documentation](https://crosshair.readthedocs.io/en/latest)
* [Introduction](https://crosshair.readthedocs.io/en/latest/introduction.html)
* [Get Started](https://crosshair.readthedocs.io/en/latest/get_started.html)
* [The Details: Contracts](https://crosshair.readthedocs.io/en/latest/contracts.html)
* [The Details: cover](https://crosshair.readthedocs.io/en/latest/cover.html)
* [The Details: diffbehavior](https://crosshair.readthedocs.io/en/latest/diff_behavior.html)
* [Kinds of Contracts](https://crosshair.readthedocs.io/en/latest/kinds_of_contracts.html)
* [Hints for Your Classes](https://crosshair.readthedocs.io/en/latest/hints_for_your_classes.html)
* [IDE Integrations](https://crosshair.readthedocs.io/en/latest/ide_integrations.html)
* [Case Studies](https://crosshair.readthedocs.io/en/latest/case_studies.html)
* [Limitations](https://crosshair.readthedocs.io/en/latest/limitations.html)
* [Plugins](https://crosshair.readthedocs.io/en/latest/plugins.html)
* [How Does It Work?](https://crosshair.readthedocs.io/en/latest/how_does_it_work.html)
* [How Can I Help?](https://crosshair.readthedocs.io/en/latest/how_can_i_help.html)
* [Related Work](https://crosshair.readthedocs.io/en/latest/related_work.html)
* [Contributing](https://crosshair.readthedocs.io/en/latest/contributing.html)
* [Changelog](https://crosshair.readthedocs.io/en/latest/changelog.html)
نیازمندی
| مقدار | نام |
|---|---|
| - | packaging |
| >=0.7.1 | typing-inspect |
| >=3.10.0 | typing-extensions |
| ==4.11.2.0 | z3-solver |
| >=4.0.0 | importlib-metadata |
| >=1.0.0 | pygls |
| >=2.0.5 | typeshed-client |
| <1,>=0.2.2 | autodocsumm |
| ==22.3.0 | black |
| >=6.0.0 | hypothesis |
| >=2.4.0 | icontract |
| ==5.11.5 | isort |
| ==0.982 | mypy |
| ~=2.20 | pre-commit |
| - | pydantic |
| - | pytest |
| - | pytest-xdist |
| >=3.4.3 | sphinx |
| >=0.5.1 | sphinx-rtd-theme |
| - | types-pkg-resources |
| - | wheel |
| ==1.21.6 | numpy |
| ==1.23.4 | numpy |
| >=4.13.0 | deal |
زبان مورد نیاز
| مقدار | نام |
|---|---|
| >=3.7 | Python |
نحوه نصب
نصب پکیج whl crosshair-tool-0.0.9:
pip install crosshair-tool-0.0.9.whl
نصب پکیج tar.gz crosshair-tool-0.0.9:
pip install crosshair-tool-0.0.9.tar.gz