trailofbits/manticore

Symbolic execution tool

Archived by Trail of Bits Python AGPL-3.0 licence 495 forks Created Feb 2017 View on GitHub

Stars
3,856
5% of trailofbits's stars
Rank
#17,265
of 847,331 repos, top 3%
In Python
#3,094
of 172,280 repos, top 2%

Among 847,331 repos

Compare with

2.5k–4k stars: 10,600 repos, including manticore

Stars along the bottom, and repos in each band on a log scale

Quick stats

Next rank
+1 star to reach #17,260
Next milestone
+3,388 stars to reach the top 1%
Popular
One of 66,446 repos with 1k+ stars
Yearly average
396 stars a year since Feb 2017

Stars counted Recounted daily Next count around