CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

Class FormattedTracebackSource

Represents calls to functions in the traceback module that return a single string of information about an exception.

Import path

import semmle.python.security.Exceptions

Direct supertypes

Indirect supertypes

Predicates

isSourceOf

Holds if this is a source of taint kind kind

toString

Gets a textual representation of this element.

Inherited predicates

flowsToSink

Holds if taint can flow from this source to sink sink

from TaintSource
flowsToSink

Holds if taint can flow from this source to taint sink sink

from TaintSource
getATaintNode

Gets a TaintedNode for this taint source

from TaintSource
getLocationfrom TaintSource
hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

from TaintSource
isSourceOf

Holds if this is a source of taint kind kind for the given context. Generally, this should not need to be overridden; overriding isSourceOf(kind) should be sufficient.

from TaintSource

Charpred