Blog
search: #Symbolic execution
Categories
Tags
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.