Static analysis tools go head to head at NIST
samate.nist.gov