dg icon indicating copy to clipboard operation
dg copied to clipboard

Allow using Alias/PTA analyses from LLVM

Open mchalupa opened this issue 9 years ago • 2 comments

From LLVM 3.9 there are also Andersen's and Steensgaard's analyses in LLVM, so try using them. We'll have more stuff to compare.

mchalupa avatar Nov 17 '16 09:11 mchalupa

And also memory dependence analysis

mchalupa avatar Nov 28 '16 14:11 mchalupa

For AA, create a wrapper that will take just the partial results (as AA are alias analyses) and propagate as much information as it can into other nodes. For the reset, it just sets unknown pointer. This way we can plug AA into our pointer analysis API.

mchalupa avatar Dec 13 '18 15:12 mchalupa