Code vectors: understanding programs through embedded abstracted symbolic traces
A general path-based representation for predicting program properties