An ament wrapper for the Cobra static analyzer - View it on GitHub