Posted on Oct. 18, 2019
Program Analysis Symbolic execution; Tracing; Program synthesis;
Recently I have published a blogpost showing some of the work I have done during my internship at Quarkslab. The blogpost can be found here.