BetaRare
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
- Owner
- pschanely (personal account)
- Stars
- Stars: 1,341
- Forks
- Forks: 104
- Language
- Python
- License
- None
- Created
- 2017
- Topics
- pythonstatic-analysistesting-frameworksymbolic-executiontype-systemsfuzzingcontractsdynamic-analysistestingz3
- Tier
- Beta (700 to 1,999 ★) What this tier means
Nearby in Python
All Python repos- fzlee/alipayStars: 1,341PythonBeta
- a-real-ai/pywinassistantStars: 1,341PythonBeta
- osprey-oss/cookiecutter-uvStars: 1,341PythonBeta
- graphql-python/flask-graphqlStars: 1,340PythonBeta