/DDLT

Demand-Driven Less-than Analysis. Alias analysis implementation based on strict inequalities with ondemand query processing.

Primary LanguageC++Apache License 2.0Apache-2.0

Stargazers