CodeQL library for Python
Search

Predicate defectResults

Holds if id is 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 startcol of line startline to column endcol of line endline in file filepath.

For more information, see Locations.

Import path

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