Add comment explaining tacky nature of code

This commit is contained in:
yoff
2021-02-25 09:56:51 +01:00
committed by Rasmus Lerchedahl Petersen
parent 5b51a3461d
commit f15084254b

View File

@@ -819,6 +819,14 @@ class DataFlowType extends TDataFlowType {
/** A node that performs a type cast. */
class CastNode extends Node {
// We include read- and store steps here to force them to be
// shown in path explanations.
// This hack is necessary, because we have included some of these
// steps as default taint steps, making them be suppressed in path
// explanations.
// We should revert this once, we can remove this steps from the
// default taint steps; this should be possible once we have
// implemented flow summaries and recursive content.
CastNode() { readStep(_, _, this) or storeStep(_, _, this) }
}