Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces

Jordan HenkelShuvendu K. LahiriBen LiblitThomas Reps

A novel technique for embedding semantically rich program artifacts. This paper explores how to combine sophisticated program analysis (in the form of lightweight symbolic execution) with off-the-shelf machine learning.

PDFarXivdatasets