Analyze Python code for correctness using symbolic execution.

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for pschanely from gravatar.com pschanely

Unverified details

These details have not been verified by PyPI
Project links
GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Meta

License: MIT License (MIT)

Author: Phillip Schanely

Requires: Python >=3.7

Classifiers

Project description

CrossHair

Join the chat at https://gitter.im/Cross_Hair/Lobby codecov Check status

An analysis tool for Python that blurs the line between testing and type systems.

THE LATEST NEWS:
Marko Ristin just published an early VS Code extension for CrossHair! Install it from the VS Code Marketplace.

If you have a function with type annotations and add a contract in a supported syntax, CrossHair will attempt to find counterexamples for you:

Animated GIF demonstrating the verification of a python function

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; an approach for Python was first described in this paper. However, to my knowledge, CrossHair is the most complete implementation of the idea: it supports symbolic lists, dictionaries, sets, and even symbolic instances of your own classes.

Try CrossHair right now, in your browser, at crosshair-web.org!

NOTE: CrossHair is in an experimental state right now. You can help though!

Documentation

Available at https://crosshair.readthedocs.io/

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for pschanely from gravatar.com pschanely

Unverified details

These details have not been verified by PyPI
Project links
GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Meta

License: MIT License (MIT)

Author: Phillip Schanely

Requires: Python >=3.7

Classifiers

Release history Release notifications | RSS feed

0.0.54

0.0.53

0.0.52

0.0.51

0.0.50

0.0.49

0.0.48

0.0.47

0.0.46

0.0.45

0.0.44

0.0.43

0.0.42

0.0.41

0.0.40

0.0.39

0.0.38

0.0.37

0.0.36

0.0.35

0.0.34

0.0.33

0.0.32

0.0.31

0.0.30

0.0.29

0.0.28

0.0.27

0.0.26

0.0.25

0.0.24

0.0.23

0.0.22

0.0.21

0.0.20

0.0.19

0.0.18

0.0.17

0.0.16

0.0.15

0.0.14

0.0.13

0.0.12

This version

0.0.11

0.0.10

0.0.9

0.0.8

0.0.7

0.0.6

0.0.5

0.0.4

0.0.3

0.0.2

0.0.1

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

crosshair-tool-0.0.11.tar.gz (136.8 kB view hashes)

Uploaded Source

Built Distribution

crosshair_tool-0.0.11-py3-none-any.whl (160.4 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page