proxy.golang.org : github.com/pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:golang/github.com/pschanely/%21cross%21hair
Keywords:
concolic-execution
, contracts
, dynamic-analysis
, fuzzing
, hacktoberfest
, python
, static-analysis
, symbolic-execution
, testing
, testing-framework
, type-systems
, z3
License: GPL-1.0+
Latest release: about 2 months ago
First release: almost 5 years ago
Stars: 1,205 on GitHub
Forks: 61 on GitHub
Total Commits: 1548
Committers: 21
Average commits per author: 73.714
Development Distribution Score (DDS): 0.341
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 15 days ago