Abstract: Type analysis plays an important role in object-oriented program analysis. Accurate type analysis will improve the precision of other program analyses. However, due to the inherent high complexity of traditional type analysis, people generally make rapid

Key words: Type analysis, SAT, Program analysis, Object oriented programming