Usage of Dynamic Analysis to Strengthen Control-Flow Analysis