CPC G06F 11/3608 (2013.01) [G06F 11/362 (2013.01); G06F 11/3688 (2013.01); G06N 3/08 (2013.01)] | 23 Claims |
17. A method to determine refined context for software bug detection, the method comprising:
classifying a node on a graph, the graph to represent a computer program, the node to represent a partial bug context corresponding to the computer program;
identifying a location of a software bug in the computer program, the location based on the node;
determining a static bug context of the software bug using the location of the software bug;
determining a first dynamic bug context of the software bug using the location of the software bug; and
determining a refined bug context based on:
a count of overlapping lines between (a) the static bug context and the first dynamic bug context and (b) the static bug context and a second dynamic bug context;
a selection of a largest one of the count of overlapping lines; and
a merge of the static bug context, the first dynamic big context, and the second dynamic bug context.
|