MIL: A language to build program analysis tools through static binary instrumentation | IEEE Conference Publication | IEEE Xplore