Automated identification of high level source language

[zyzek]

i.e. you put bytecode into the decompiler and it guesses whether what you gave it is Solidity, Viper, etc.

It could be by some manually-designed means, but I kinda like the idea of using ML with learned features, so that we don't have to hand-specify anything. Just jam a bunch of examples into something like https://arxiv.org/abs/1603.05629 .