Analyze Python code for correctness using symbolic execution.
An analysis tool for Python that blurs the line between testing and type systems.
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!
Available at https://crosshair.readthedocs.io/
Release history Release notifications | RSS feed
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
|Filename, size||File type||Python version||Upload date||Hashes|
|Filename, size crosshair_tool-0.0.11-py3-none-any.whl (160.4 kB)||File type Wheel||Python version py3||Upload date||Hashes View|
|Filename, size crosshair-tool-0.0.11.tar.gz (136.8 kB)||File type Source||Python version None||Upload date||Hashes View|
Hashes for crosshair_tool-0.0.11-py3-none-any.whl