In contrast, a data structure is a concrete implementation of one or more ADTs, similar to how Java classes implement interfaces. Examples of ADTs include Employee, Vehicle, Array, and List.

Recovering variables and data structure information from stripped binary is a prominent challenge in binary program analysis. While various state-of-the-art techniques are effective in specific ...