Abstract Symbolic Automata: Mixed syntactic/semantic similarity analysis of executables