search for: maloc

"memory accesses between the malloc and the memset without an expensive linear scan of the block/function" (1) do you mean just use "memoryIsNotModifiedBetween" function in DSE to check it? x = maloc(..); memset(x, ...) (2) GetUnderlyingObject would give me Value * (from malloc) ? Also another case: memset(s, 0, len); // len > 1 return strlen(s); // optimize to 0 (3) How to check memset and strlen pairs? I have a strlen call, I have a "Value *" for "s". What is the be...

...li On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: > "memory accesses between the malloc and the memset without an > expensive linear scan of the block/function" > > (1) do you mean just use "memoryIsNotModifiedBetween" function in DSE > to check it? > > x = maloc(..); > memset(x, ...) > > (2) GetUnderlyingObject would give me Value * (from malloc) ? > > Also another case: > > memset(s, 0, len); // len > 1 > return strlen(s); // optimize to 0 > > (3) How to check memset and strlen pairs? I have a strlen call, I have > a &...

Hello, I would like to find a way to do this removal properly. I found DSE and "eliminateNoopStore" can be useful for this thing. What I mean? int *test = malloc(15 * sizeof(int)); test[10] = 12; < ----- remove this store memset(test,0,sizeof(int) * 15); I already checked the function "eliminateNoopStore". Looks good, I think I would be to get the value ("A") we

...vanský wrote: >> >> "memory accesses between the malloc and the memset without an expensive >> linear scan of the block/function" >> >> (1) do you mean just use "memoryIsNotModifiedBetween" function in DSE to >> check it? >> >> x = maloc(..); >> memset(x, ...) >> >> (2) GetUnderlyingObject would give me Value * (from malloc) ? >> >> Also another case: >> >> memset(s, 0, len); // len > 1 >> return strlen(s); // optimize to 0 >> >> (3) How to check memset and strlen pairs...

...On 5/21/2018 7:48 AM, Dávid Bolvanský wrote: > > "memory accesses between the malloc and the memset without an expensive > linear scan of the block/function" > > (1) do you mean just use "memoryIsNotModifiedBetween" function in DSE to > check it? > > x = maloc(..); > memset(x, ...) > > (2) GetUnderlyingObject would give me Value * (from malloc) ? > > Also another case: > > memset(s, 0, len); // len > 1 > return strlen(s); // optimize to 0 > > (3) How to check memset and strlen pairs? I have a strlen call, I have a > &q...

...gt;> "memory accesses between the malloc and the memset without an expensive >>> linear scan of the block/function" >>> >>> (1) do you mean just use "memoryIsNotModifiedBetween" function in DSE to >>> check it? >>> >>> x = maloc(..); >>> memset(x, ...) >>> >>> (2) GetUnderlyingObject would give me Value * (from malloc) ? >>> >>> Also another case: >>> >>> memset(s, 0, len); // len > 1 >>> return strlen(s); // optimize to 0 >>> >>>...

..."memory accesses between the malloc and the memset without an >> expensive linear scan of the block/function" >> >> (1) do you mean just use "memoryIsNotModifiedBetween" >> function in DSE to check it? >> >> x = maloc(..); >> memset(x, ...) >> >> (2) GetUnderlyingObject would give me Value * (from malloc) ? >> >> Also another case: >> >> memset(s, 0, len); // len > 1 >> return strlen(s); // optimize to 0 >> >>...

...esses between the malloc and the memset without an >>>> expensive linear scan of the block/function" >>>> >>>> (1) do you mean just use "memoryIsNotModifiedBetween" function in DSE >>>> to check it? >>>> >>>> x = maloc(..); >>>> memset(x, ...) >>>> >>>> (2) GetUnderlyingObject would give me Value * (from malloc) ? >>>> >>>> Also another case: >>>> >>>> memset(s, 0, len); // len > 1 >>>> return strlen(s); // optimize...

...and the memset without an >>>>> expensive linear scan of the block/function" >>>>> >>>>> (1) do you mean just use "memoryIsNotModifiedBetween" function in DSE >>>>> to check it? >>>>> >>>>> x = maloc(..); >>>>> memset(x, ...) >>>>> >>>>> (2) GetUnderlyingObject would give me Value * (from malloc) ? >>>>> >>>>> Also another case: >>>>> >>>>> memset(s, 0, len); // len > 1 >>>>&g...

...the block/function" >>> >>> (1) do you mean just use >>> "memoryIsNotModifiedBetween" function in DSE >>> to check it? >>> >>> x = maloc(..); >>> memset(x, ...) >>> >>> (2) GetUnderlyingObject would give me Value >>> * (from malloc) ? >>> >>> Also another case: >>> >>&gt...

...an >>>>>> expensive linear scan of the block/function" >>>>>> >>>>>> (1) do you mean just use "memoryIsNotModifiedBetween" function in DSE >>>>>> to check it? >>>>>> >>>>>> x = maloc(..); >>>>>> memset(x, ...) >>>>>> >>>>>> (2) GetUnderlyingObject would give me Value * (from malloc) ? >>>>>> >>>>>> Also another case: >>>>>> >>>>>> memset(s, 0, len); // l...

...gt;> expensive linear scan of the block/function" >>>>>>> >>>>>>> (1) do you mean just use "memoryIsNotModifiedBetween" function in >>>>>>> DSE to check it? >>>>>>> >>>>>>> x = maloc(..); >>>>>>> memset(x, ...) >>>>>>> >>>>>>> (2) GetUnderlyingObject would give me Value * (from malloc) ? >>>>>>> >>>>>>> Also another case: >>>>>>> >>>>>>...