iBinHunt: Binary Hunting with Inter-procedural Control Flow.

Jiang Ming Meng Pan Debin Gao

Published in: ICISC (2012)

Keyphrases

control flow
data flow
software testing
process model
object oriented
business process models
transition systems
formal semantics
database
workflow management systems
databases
knowledge base
cooperative
modeling language