this looks like a really interesting approch for binary analisys. impressive work! Am I right to assume it would let you write tools to target this bitcode, allowing them to analuse binaries from different architectures with singular logic? it would save so much hastle :O