Simple language for defining stub function semantics for binary analysis - View it on GitHub