"Regsym" - dataflow analysis of linear x86 code