Value-Set Analysis

Value-Set Analysis is a binary analysis based on abstract interpretation, that provides an overapproximation of the values of each variable, for each program point.
That was my Bsc thesis' work: I studied and implemented a simple framework to write and analyze snippet of low-level code.