[cfe-commits] [PATCH] review request: mempcpy() checker implementation for Static Analyzer

[Lenny Maiorani]

On Mar 30, 2011, at 5:48 PM, Marshall Clow wrote:

> 
> On Mar 30, 2011, at 4:35 PM, Lenny Maiorani wrote:
> 
>> On 03/30/2011 05:20 PM, Marshall Clow wrote:
>>> I don't see any mention of memmove in this patch.
>>> Is that deliberate?
>>> 
>> Only deliberate because I haven't implemented the modeling of memmove() yet. Maybe I will do that next since it is very similar and can probably use mostly the same logic.
> 
> 
> That was my thought - just leave out the "overlapping" logic, since memmove is defined to DTRT.
> 
> -- Marshall
> 
> Marshall Clow     Idio Software   <mailto:mclow.lists at gmail.com>
> 
> A.D. 1517: Martin Luther nails his 95 Theses to the church door and is promptly moderated down to (-1, Flamebait).
>        -- Yu Suzuki
> 

In fact... memmove() modeling is already done. It is also in the CString checker. :)

-Lenny

--
the definition of open: "mkdir android ; cd android ; repo init -i git://android.git.kernel.org/platform/manifest.git ; repo sync ; make" - Andy Rubin