Dash, S.K., Archive, Archive, 2015. Adaptive Constraint Solving for Information Flow Analysis.. https://doi.org/10.18745/th.16354