Zvonimir Rakamaric
2008-Apr-03 17:29 UTC
[LLVMdev] problem with using DSA for a side-effect analysis
Hi, I am using DSA in the project I am working on. Currently, I am working on automatic inference of function frame conditions to be used in the modular verification tool for C I am developing. Here is a part of my algorithm I am not exactly sure how to do: Let's say function foo calls function bar, and they have corresponding DSGraphs DSG_foo and DSG_bar. Function bar modifies some memory locations that correspond to a set of DS nodes M from DSG_bar. I would like to map this set M onto the corresponding nodes (if they exist) in the DSG_foo, i.e. I would like to find out which nodes in the DSG_foo are potentially modified by a call to bar. Currently I am using DSGraph::computeNodeMapping to do the task, but I am not sure if that's the way to go.... Any suggestions would be greatly appreciated! Thanks!
Andrew Lenharth
2008-Apr-03 17:45 UTC
[LLVMdev] problem with using DSA for a side-effect analysis
On Thu, Apr 3, 2008 at 12:29 PM, Zvonimir Rakamaric <zrakamar at gmail.com> wrote:> Currently I am using DSGraph::computeNodeMapping to do the task, but I > am not sure if that's the way to go....I believe that is the correct function to use. Andrew
Vikram S. Adve
2008-Apr-03 18:28 UTC
[LLVMdev] problem with using DSA for a side-effect analysis
Andrew, there used to be some code to compute the ModRef behavior of functions using DS graphs. Does that code still exist in svn? What Zvonimir is asking is essentially that, although perhaps he needs it as DS nodes explicitly rather than via the generic queries in the AliasAnalysis interface. --Vikram http://www.cs.uiuc.edu/~vadve http://llvm.org/ On Apr 3, 2008, at 12:45 PM, Andrew Lenharth wrote:> On Thu, Apr 3, 2008 at 12:29 PM, Zvonimir Rakamaric <zrakamar at gmail.com > > wrote: >> Currently I am using DSGraph::computeNodeMapping to do the task, >> but I >> am not sure if that's the way to go.... > > I believe that is the correct function to use. > > Andrew > _______________________________________________ > LLVM Developers mailing list > LLVMdev at cs.uiuc.edu http://llvm.cs.uiuc.edu > http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev
Apparently Analagous Threads
- [LLVMdev] problem with using DSA for a side-effect analysis
- [LLVMdev] problem with using DSA for a side-effect analysis
- [LLVMdev] problem with using DSA for a side-effect analysis
- [LLVMdev] problem with using DSA for a side-effect analysis
- [LLVMdev] LLVM is doing something a bit weird in this example (which messes up DSA)