Fact
data class Fact(val id: String, val label: String, val baseValueKind: String? = null, val baseValueId: String? = null, val offsets: List<Long> = emptyList(), val lifetime: Long? = null, val isZero: Boolean? = null, val isOverApproximation: Boolean? = null, val strides: List<Long> = emptyList(), val counts: List<BigInteger> = emptyList())
One PhASAR IFDS dataflow fact reaching this sink. label is PhASAR's DToString(fact) — the human-readable description of which value is tainted (variable name, SSA reg, struct chain).