[Compiler][Alias Analysis]

[joydo]

• C++ alias analysis Better alias analysis requires interprocedural analysis, including resolution of virtual functions. Increased precision beyond that requires additional sensitivities, such as path-sensitivity and precise abstract domains, which are computationally expensive and reduce the speed flow-sensitivity and context-sensitivity <==> may-alias or must-alias

[joydo]

Great analysis for strict Aliasing

• https://gist.github.com/shafik/848ae25ee209f698763cffee272a58f8