Sign in

Opaque Predicates Detection by Abstract Interpretation.

Mila Dalla PredaMatias MadouKoen De BosschereRoberto Giacobazzi
Published in: AMAST (2006)
Keyphrases
  • abstract interpretation
  • knowledge base
  • case study
  • reasoning engine