When coding style survives compilation: De-anonymizing programmers from binaries