CodeQL library for C/C++

Predicate defectResults

Holds if id in the opaque identifier of a result reported by query queryPath, such that message is the associated message and the location of the result spans column startcolumn of line startline to column endcolumn of line endline in file filepath.

For more information, see Locations.

Import path

import external.DefectFilter
predicate defectResults(int id, string queryPath, string file, int startline, int startcol, int endline, int endcol, string message)