Taking into account indirect jumps or calls in continuous control-flow checking. - Lydie Terras; Yannick Teglia; Michel Agoyan; Régis Leveugle (IDT, 2016)