Augmenting Static Reverse Engineering with Dynamic Analysis and Instrumentation