CVE and update status of the FreeBSD ports tree4,826 unaddressed CVEs in 618 portsAll times are CET

Port details

devel/py-crosshair-tool0.0.110

Analyze Python code for correctness using symbolic execution

0
unaddressed
0
VuXML only, still affected
0
fixed
Maintainer
sunpoet@FreeBSD.org
Packages
py312-crosshair-tool 0.0.110
Upstream
Higher version available: 0.0.112
CPE
none, CVEs only via VuXML
WWW
https://crosshair.readthedocs.io/en/latest/
Links
cgit · VuXML

Unaddressed (0) · The CVE record lists this version as affected, no VuXML entry names the CVE

None. There is no CVE without a VuXML entry for this version.

VuXML only (0) · listed, port not fixed yet

None. pkg audit reports nothing for this version.

Fixed (0)

No VuXML entries for this package.

Commits (29)

Po-Chuan Hsieh (sunpoet) · 0.0.110
devel/py-crosshair-tool: Update to 0.0.110

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
1f557293eb
Po-Chuan Hsieh (sunpoet) · 0.0.108
devel/py-crosshair-tool: Update to 0.0.108

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
fa0ac4ca10
Po-Chuan Hsieh (sunpoet) · 0.0.107
devel/py-crosshair-tool: Clean up patch
bb2ce45353
Po-Chuan Hsieh (sunpoet) · 0.0.107
devel/py-crosshair-tool: Update to 0.0.107

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
eacde08345
Po-Chuan Hsieh (sunpoet) · 0.0.104
devel/py-crosshair-tool: Update to 0.0.104

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
d2893488f6
Po-Chuan Hsieh (sunpoet) · 0.0.103
devel/py-crosshair-tool: Update to 0.0.103

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
1cdaa90df7
Po-Chuan Hsieh (sunpoet) · 0.0.102
devel/py-crosshair-tool: Update to 0.0.102

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
70b4671185
Po-Chuan Hsieh (sunpoet) · 0.0.101
devel/py-crosshair-tool: Update to 0.0.101

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
4bd938241f
Po-Chuan Hsieh (sunpoet) · 0.0.100
devel/py-crosshair-tool: Update to 0.0.100

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
994fe11a50
Po-Chuan Hsieh (sunpoet) · 0.0.99
devel/py-crosshair-tool: Update to 0.0.99

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
c08faaf124
Po-Chuan Hsieh (sunpoet) · 0.0.98
devel/py-crosshair-tool: Update to 0.0.98

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
174588f22f
Matthias Andree (mandree) · 0.0.97
*: Revise USES=python:... version range constraints

and strip all lower bounds of 3.9 or 3.10 because they are implied now.

python:3.9-X  -> python:-X
python:3.9+   -> python
python:3.10-X -> python:-X
python:3.10+  -> python
(options such as ,build preserved)
1403bb7765
Po-Chuan Hsieh (sunpoet) · 0.0.97
devel/py-crosshair-tool: Update to 0.0.97

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
50a06d3683
Po-Chuan Hsieh (sunpoet) · 0.0.96
devel/py-crosshair-tool: Update to 0.0.96

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
318f94b58b
Po-Chuan Hsieh (sunpoet) · 0.0.95
devel/py-crosshair-tool: Update to 0.0.95

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
80eb2962c0
Po-Chuan Hsieh (sunpoet) · 0.0.94
devel/py-crosshair-tool: Update to 0.0.94

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
4007d4ab20
Po-Chuan Hsieh (sunpoet) · 0.0.88
devel/py-crosshair-tool: Update to 0.0.88

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
a7ebc79bc3
Po-Chuan Hsieh (sunpoet) · 0.0.87
devel/py-crosshair-tool: Update to 0.0.87

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
d3e8d6f3ab
Po-Chuan Hsieh (sunpoet) · 0.0.86
devel/py-crosshair-tool: Update to 0.0.86

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
1bb2d01c42
Po-Chuan Hsieh (sunpoet) · 0.0.85
devel/py-crosshair-tool: Update to 0.0.85

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
989e72653d
Po-Chuan Hsieh (sunpoet) · 0.0.83
devel/py-crosshair-tool: Update to 0.0.83

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
1707cfcc93
Po-Chuan Hsieh (sunpoet) · 0.0.82
devel/py-crosshair-tool: Update to 0.0.82

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
82d683a35e
Po-Chuan Hsieh (sunpoet) · 0.0.81
devel/py-crosshair-tool: Update to 0.0.81

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
beddaf6f3e
Po-Chuan Hsieh (sunpoet) · 0.0.80
devel/py-crosshair-tool: Update to 0.0.80

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
3d11ca45c7
Po-Chuan Hsieh (sunpoet) · 0.0.79
devel/py-crosshair-tool: Update to 0.0.79

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
651e262fab
Po-Chuan Hsieh (sunpoet) · 0.0.78
devel/py-crosshair-tool: Update to 0.0.78

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
1826e7e18d
Po-Chuan Hsieh (sunpoet) · 0.0.76
devel/py-crosshair-tool: Update to 0.0.76

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
12a1e1e1d3
Po-Chuan Hsieh (sunpoet) · 0.0.75
devel/py-crosshair-tool: Update to 0.0.75

- Update WWW

Changes:	https://github.com/pschanely/CrossHair/releases
		https://crosshair.readthedocs.io/en/latest/changelog.html
58c75be23e
Po-Chuan Hsieh (sunpoet) · 0.0.74
devel/py-crosshair-tool: Add py-crosshair-tool 0.0.74

CrossHair is an analysis tool for Python that blurs the line between testing and
type systems.

If you have a function with type annotations and add a contract in a supported
syntax, 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.
d8f05e1eab