GitHub repository: juniocezar/DDLT
Primary language: C++
Created: 2017-07-04T11:40:04Z
Description: Demand-Driven Less-than Analysis. Alias analysis implementation based on strict inequalities with ondemand query processing.