To live and let die (variables)

Symbolic Execution part 1

CFG

Back to basics

deck

By Nicolas PERU