Block-chain binary certification

[Yardanico]

There are many ways of using system APIs, for example a native binary might be 
executing new machine code at runtime (JIT and similar), so I personally think 
that it's not possible to statically verify if a binary calls a specific API or 
not.