By analysis of the source program, it is able to select valid C data types for local and global variables, including automatically detecting structures and unions, and it also deduces function ...