Positive Technologies

Static analyzer that combines several analysis techniques and attempts to generate a working exploit for each finding to separate real issues from noise.