Displaying 1 result from an estimated 1 matches for "1033495".
Did you mean:
1033497
2013 Oct 18
2
[LLVMdev] Contribute a new precise pointer analysis to LLVM
Hi Daniel,
I want to clarify that our analysis is not based on CFL-reachability.
We apply CFL-reachability to matching context information where the
exist from a function to a call-site must match
the entry from the corresponding call-site. The problem is a simple
balanced parentheses problem in CFL-reachability, and it can be
computed
efficiently.
The paper you mentioned is a very nice paper