GitHub / pschanely / CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pschanely%2FCrossHair
PURL: pkg:github/pschanely/CrossHair
Stars: 1,179
Forks: 61
Open issues: 60
License: other
Language: Python
Size: 5.07 MB
Dependencies parsed at: Pending
Created at: almost 8 years ago
Updated at: 3 days ago
Pushed at: 3 days ago
Last synced at: 3 days ago
Commit Stats
Commits: 1548
Authors: 21
Mean commits per author: 73.71
Development Distribution Score: 0.341
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/pschanely/CrossHair
Topics: concolic-execution, contracts, dynamic-analysis, fuzzing, hacktoberfest, python, static-analysis, symbolic-execution, testing, testing-framework, type-systems, z3