pschanely/CrossHair

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

↗ Open on GitHub

Stars

1,319

Forks

98

Language

Python

License

NOASSERTION

Last push

6 days ago

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

No related intel yet

This repo has not appeared in any of the sources the radar tracks. The collector runs on a schedule — check back once it covers this repo.