pschanely / CrossHair
git clone https://github.com/pschanely/CrossHair.git
An analysis tool for Python that blurs the line between testing and type systems.
+0
stars, 24h · #50,213
+~0
stars, 7 days · #50,287
+~0
stars, 30 days · #50,425
1.3k
★ total
102
forks · 78 open issues
Star history (as recorded here)
LanguagePython
License—
Created2017-08-29 (9y ago)
Last push2d ago
OwnerUser
GitHub topics
concolic-executioncontractsdynamic-analysisfuzzinghacktoberfestpythonstatic-analysissymbolic-executiontestingtesting-frameworktype-systemsz3