International Business Machines Corporation

Jonathan J Butler

Omer Tripp

Stephen Darwin Teilhet

John Thomas Peyton, Jr

Kristofer Alyn Duer

A static analysis tool is augmented to provide a mechanism by which a large set (and potentially all) security warnings output from the tool may be represented to the user in a manner that is manageable for consumption by the user. According to this disclosure, a static analysis is run on a program to generate a set of security warnings. Using dynamic programming, the set of security warnings output by the static analysis are mapped onto a collection of fix points, wherein a fix point captures a location within the program that should be visited to fix a set of warnings that map to that fix point. The fix points represent the highest probable locations of particular potential vulnerabilities in the program. They are computed in a parametric manner, preferably according to user preferences, by solving an instance of a 'knapsack' problem.

Growing community of inventors

Manchester, NH, United States of America

Jonathan J Butler