Automated Type and Data Structure Resolution

This research identified and labeled type and structure data in an automated and scalable way such that the information can be used in other tools and other Reverse Engineering at Scale research areas such as symbolic execution. This was done initially by utilizing heuristic methods and then scaled by adopting a machine learning approach.