Module FlowSteps

This file provides an abstract class that can be used to model additional object-to-field taint-flow.

Import path

import semmle.code.cpp.ir.dataflow.FlowSteps

A Content that should be implicitly regarded as tainted whenever an object with such Content is itself tainted.