1 paper · 1 filter
Peixuan Li, Danfeng Zhang
This paper investigates a flow- and path-sensitive static information flow analysis. Compared with security type systems with fixed labels, it has been shown that flow-sensitive ty…