1.Frama-c.com
Rank:3,067,275
Worth:$25
Frama-C - An open-source extensible and collaborative platform dedicated to source-code analysis of C software.