PS

pschanely/CrossHair

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

concolic-execution contracts dynamic-analysis fuzzing hacktoberfest python static-analysis symbolic-execution testing testing-framework type-systems z3

No README found.

Languages

Python95.6%C3.6%C++0.8%

Latest Release

v0.0.102January 19, 2026 + 4 more releases

Other

Created August 29, 2017

Updated March 13, 2026

pschanely/CrossHair | GitHunt