Home | History | Annotate | Download | only in Checkers

Lines Matching full:destination

927   // just bind the return value to the destination buffer and return.
938 // Ensure the destination is not null. If it is NULL there will be a
955 "Memory copy function overflows destination buffer";
993 // All other copies return the destination buffer.
998 // Invalidate the destination (regular invalidation without pointer-escaping
1001 // can use LazyCompoundVals to copy the source values into the destination.
1022 // The return value is the address of the destination buffer.
1046 // The return value is the address of the destination buffer.
1337 // Check that the destination is non-null.
1364 // - actual overflows caused by a source that doesn't fit in the destination
1365 // - potential overflows caused by a bound that could exceed the destination
1412 // Get the string length of the destination. If the destination is
1425 "destination buffer";
1454 "destination buffer";
1503 // This represents the number of characters copied into the destination
1504 // buffer. (It may not actually be the strlen if the destination buffer
1512 // Get the string length of the destination. If the destination is memory
1574 // copied element, or a pointer to the start of the destination buffer.
1579 // If the destination is a MemRegion, try to check for a buffer overflow and
1606 "String copy function overflows destination buffer";
1617 // Invalidate the destination (regular invalidation without pointer-escaping
1621 // can use LazyCompoundVals to copy the source values into the destination.
1631 // Set the C string length of the destination, if we know it.