DANA Universal Dataflow Analysis for Gate-Level Netlist Reverse Engineering