search for: zrakamar

...> > > --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...

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

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

..., 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 > _____________________________________________...

On Thu, Apr 3, 2008 at 4:53 PM, Zvonimir Rakamaric <zrakamar at gmail.com> wrote: > Thanks guys! > > I was looking into ModRef before, but I don't think that's exactly > what I need. ModRef API call getModRefInfo requires a Value to be > passed to it. However, some memory location M (which is a <DSNode, > offset> pair)...

On Fri, Apr 4, 2008 at 2:38 AM, Andrew Lenharth <andrewl at lenharth.org> wrote: > On Thu, Apr 3, 2008 at 4:53 PM, Zvonimir Rakamaric <zrakamar at gmail.com> wrote: > > Thanks guys! > > > > I was looking into ModRef before, but I don't think that's exactly > > what I need. ModRef API call getModRefInfo requires a Value to be > > passed to it. However, some memory location M (which is a <D...

Hi everybody! I recently started using llvm in a project on inferring additional information about pointers based on their types, casts, etc. The following simple example is giving me a headache :): typedef struct { int a; short b, c; int d, e, f; } foo; void bar(foo f) { short s; s = f.b; } int main(void) { foo p; bar(p); } Because llvm doesn't allow structures and arrays

Hi, I am looking for an analysis which would return a set of memory locations modified by each loop-free function that are visible to its callers (i.e. its frame condition). I've been looking through the list of the implemented llvm analysis and couldn't find anything similar. Please let me know what would be a good place to start or a code/module to look at if I want to implement an

Hi everybody, I've been playing with the data structure analysis (poolalloc project, llvm 2.2) on this simple example: #include <stdlib.h> void setArray(int *array) { array[0] = 5; } int main() { int *array = (int*)malloc(10 * sizeof(int)); setArray(array); free(array); return 0; } What really confuses me are flags set for the node "array" in the setArray and main

> On Thursday 28 February 2008, Zvonimir Rakamaric wrote: > > So, the node "array" in function main has flags HME set. Why is flag E > > (This node comes from an external source) set here? I don't see any > > external sources in this simple program. > > Did you run -internalize before DSA? I think this should help. > > Torvald This was easy