Re: [CIL users] Patch to consider Addrof/StartOf as a definition

2011-02-15 Thread Gabriel Kerneis
On Tue, Jan 25, 2011 at 04:55:02PM -0600, Piramanayagam Arumuga Nainar wrote: > This is a patch that adds a new flag considerVariableAddrOfAsDef to > the Use-Def Analysis. It is similar to considerVariableAddrOfAsUse. > If enabled, taking the address of a variable will be considered as a > definit

Re: [CIL users] Patch to consider Addrof/StartOf as a definition

2011-01-26 Thread Pascal Cuoq
On Jan 26, 2011, at 8:24 AM, Piramanayagam Arumuga Nainar wrote: > I am doing a "definitely-uninitialized" analysis (i.e. no potential > initialization should be missed). In this case, I fear the Program Dependency Graph that the use-defs I illustrated are a component of will not be so useful to y

Re: [CIL users] Patch to consider Addrof/StartOf as a definition

2011-01-25 Thread Piramanayagam Arumuga Nainar
On 1/26/2011 12:38 AM, CUOQ Pascal wrote: > While we are on the subject, perhaps I can point out that > Frama-C (which is written in OCaml and uses a modified version > of CIL) offers use-defs that work for C programs with aliasing. > In the attached screenshot, the "defs" of *PTR1 are highlighted

Re: [CIL users] Patch to consider Addrof/StartOf as a definition

2011-01-25 Thread Piramanayagam Arumuga Nainar
On 1/26/2011 12:22 AM, Gabriel Kerneis wrote: > The patch is simple and looks fine. I am willing to include it > upstream, but could you please first give an example of why this could > be useful? (Note that I have never used this module.) There can be cases where a variable is initialized via a

Re: [CIL users] Patch to consider Addrof/StartOf as a definition

2011-01-25 Thread CUOQ Pascal
On Tue, Jan 25, 2011 at 04:55:02PM -0600, Piramanayagam Arumuga Nainar wrote: > This is a patch that adds a new flag considerVariableAddrOfAsDef to > the Use-Def Analysis. Gabriel wrote: > but could you please first give an example of why this could > be useful? While we are on the subject, perh

Re: [CIL users] Patch to consider Addrof/StartOf as a definition

2011-01-25 Thread Gabriel Kerneis
On Tue, Jan 25, 2011 at 04:55:02PM -0600, Piramanayagam Arumuga Nainar wrote: > This is a patch that adds a new flag considerVariableAddrOfAsDef to > the Use-Def Analysis. It is similar to considerVariableAddrOfAsUse. > If enabled, taking the address of a variable will be considered as a > definit

[CIL users] Patch to consider Addrof/StartOf as a definition

2011-01-25 Thread Piramanayagam Arumuga Nainar
This is a patch that adds a new flag considerVariableAddrOfAsDef to the Use-Def Analysis. It is similar to considerVariableAddrOfAsUse. If enabled, taking the address of a variable will be considered as a definition of that variable. --- src/ext/usedef.ml 2009-04-24 13:50:33.0 -0500 ++