search for: stratifiedsets

Inline George > On Jan 26, 2015, at 1:05 PM, Daniel Berlin <dberlin at dberlin.org> wrote: > > George, given that, can you just build constexpr handling (it's not as easy as you think) as a separate funciton and have it use it in the right places? Will do. :) > FWIW, my current list of CFLAA issues is: > > 1. Unknown values (results from ptrtoint, incoming

George, given that, can you just build constexpr handling (it's not as easy as you think) as a separate funciton and have it use it in the right places? FWIW, my current list of CFLAA issues is: 1. Unknown values (results from ptrtoint, incoming pointers, etc) are not treated as unknown. These should be done through graph edge (so that they can be one way, otherwise, you will unify

...as analysis and it appears the prior CFLAA has been abandoned. There was quite a bit of refactoring done, yeah. The original CFLAA is now called CFLSteens, and graph construction was moved to its own bit. We also have CFLAnders, which is based more heavily on the paper by Zheng and Rugina (e.g. no stratifiedsets magic). > I have a variant of it where I reworked how compression was done to be less conservative, reworked the interprocedural to do simulated but bounded inlining, and added code to do on-demand testing of CFL paths on both compressed and full graphs. Awesome! > Happy to share the patch...

...is/CFLAliasAnalysis.cpp b/lib/Analysis/CFLAliasAnalysis.cpp index 9783671..cbb8599 100644 --- a/lib/Analysis/CFLAliasAnalysis.cpp +++ b/lib/Analysis/CFLAliasAnalysis.cpp @@ -28,6 +28,7 @@ // time. //===----------------------------------------------------------------------===// + #include "StratifiedSets.h" #include "llvm/ADT/BitVector.h" #include "llvm/ADT/DenseMap.h" @@ -46,6 +47,7 @@ #include "llvm/Support/ErrorHandling.h" #include <algorithm> #include <cassert> +#include <memory> #include <forward_list> #include <tuple> @...

...as analysis and it appears the prior CFLAA has been abandoned. There was quite a bit of refactoring done, yeah. The original CFLAA is now called CFLSteens, and graph construction was moved to its own bit. We also have CFLAnders, which is based more heavily on the paper by Zheng and Rugina (e.g. no stratifiedsets magic). > I have a variant of it where I reworked how compression was done to be less conservative, reworked the interprocedural to do simulated but bounded inlining, and added code to do on-demand testing of CFL paths on both compressed and full graphs. Awesome! > Happy to share the patch...

...gt;>> >>> There was quite a bit of refactoring done, yeah. The original CFLAA is >>> now called CFLSteens, and graph construction was moved to its own bit. We >>> also have CFLAnders, which is based more heavily on the paper by Zheng and >>> Rugina (e.g. no stratifiedsets magic). >>> >>> > I have a variant of it where I reworked how compression was done to be >>> less conservative, reworked the interprocedural to do simulated but bounded >>> inlining, and added code to do on-demand testing of CFL paths on both >>> comp...

Hello Daniel, Thank you for your comments and sorry for my mistakes, I'll revise them. And I'll for sure read the paper you mentioned and survey the recent researches before deciding the implementation technique. To George: May I know the exact plan of your attempt for making cfl-aa interprocedural? I do think that this is the most valuable part of my proposal, but that makes no sense to

...-article. Once again, thank you for your time! On 16 March 2015 at 02:58, George Burgess IV <george.burgess.iv at gmail.com> wrote: > CFLAA already has some basic interprocedural analysis built in (see: > tryInterproceduralAnalysis; it basically boils down to CFLAA grabbing the > StratifiedSets for each function call and unifying sets based off of that > instead of unifying everything ever). The only real changes I had in mind > for it were: > > - Adding context sensitivity (which kind of requires adding context > sensitivity to CFLAA first) > - Making it less terrible f...

Inline - George > On Jan 14, 2015, at 10:49 AM, Daniel Berlin <dberlin at dberlin.org> wrote: > > > >> On Tue, Jan 13, 2015 at 11:26 PM, Nick Lewycky <nlewycky at google.com> wrote: >>> On 13 January 2015 at 22:11, Daniel Berlin <dberlin at dberlin.org> wrote: >>> This is caused by CFLAA returning PartialAlias for a query that BasicAA can