Let s be a statement, d and d two dataflow facts, and pt the points-to information. The triple {d} s {d} is valid relative to pt, written |=pt {d} s {d}, ...
確定! 回上一頁