Class TaintInheritingContent
A Content
that should be implicitly regarded as tainted whenever an object with such Content
is itself tainted.
For example, if we had a type struct Container { int field; }
, then by default a tainted
Container
and a Container
with a tainted int
stored in its field
are distinct.
If any(DataFlow::FieldContent fc | fc.getField().hasQualifiedName("Container", "field"))
was
included in this type however, then a tainted Container
would imply that its field
is also
tainted (but not vice versa).
Import path
import semmle.code.cpp.ir.dataflow.FlowSteps
Direct supertypes
Indirect supertypes
Known direct subtypes
Inherited predicates
getIndirectionIndex | Gets the indirection index of this | from Content |
hasLocationInfo | from Content | |
impliesClearOf | INTERNAL: Do not use. | from Content |
toString | Gets a textual representation of this element. | from Content |