TY - RPRT TI - Output-sensitive Information flow analysis AU - Cristian Ene AU - Laurent Mounier AU - Marie-Laure Potet PY - 2021 DO - 10.23638/lmcs-17(1:15)2021 UR - https://arxiv.org/abs/1909.09567 ID - 1909.09567 ER -