Text this: MIXING DEDUCTIVE AND INDUCTIVE ANALYSES FOR SECURITY APPLICATIONS

  _____     ______   ______      ___     _    _   
 / ____||  /_   _// |      \\   / _ \\  | \  / || 
/ //---`'   -| ||-  |  --  //  / //\ \\ |  \/  || 
\ \\___     _| ||_  |  --  \\ |  ___  ||| .  . || 
 \_____||  /_____// |______// |_||  |_|||_|\/|_|| 
  `----`   `-----`  `------`  `-`   `-` `-`  `-`