Blog search: #Symbolic execution


Christmas is gone, but I'd like to keep a symbolic tree

Posted on Jan. 29, 2019

Recently as part of a small project I have been wondering what is the most efficient data structure for implementing associative arrays when symbolic keys are involved.

An associative array is a data type consisting in a collection of key-value pairs such that each key in unique. Normally this data ...

Exploring Execution Trace Analysis

Posted on Oct. 18, 2019

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.