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,194
Forks: 61
Open issues: 63
License: other
Language: Python
Size: 5.08 MB
Dependencies parsed at: Pending
Created at: about 8 years ago
Updated at: 3 days ago
Pushed at: about 15 hours ago
Last synced at: about 12 hours 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