After-The-Fact Configuration Of Static Analysis Tools Able To Reduce User Burden
AssigneeInternational Business Machines Corporation
InventorsSalvatore A. Guarnieri, Marco Pistoia, Omer Tripp
Life of this patent
Estimating the term…
Loading patent…
AssigneeInternational Business Machines Corporation
InventorsSalvatore A. Guarnieri, Marco Pistoia, Omer Tripp
Estimating the term…
A method includes mapping, based on a first mapping from possible security findings to possible configuration-related sources of imprecision, actual security findings from a static analysis of a program to corresponding configuration-related sources of imprecision, the mapping of the actual security findings creating a second mapping. A user is requested to configure selected ones of the configuration-related sources of imprecision from the second mapping. Responsive to a user updating configuration corresponding to the selected ones of the configuration-related sources of imprecision, security analysis results are updated for the static analysis of the program at least by determining whether one or more security findings from the security analysis results are no longer considered to be vulnerable based on the updated configuration by the user. The updated security analysis results are output. Apparatus and program products are also disclosed.
An apparatus, comprising:
A computer program product comprising a non-transitory computer readable storage medium having program code embodied therewith, the program code executable by a computing system causing the computing system to perform:
Dependencies are inferred from the claim text.