//庫函數memcpy()的聲明
void *memcpy(void *dest, void *src, size_t n);
//核心內存區域，擁有用戶可訪問的數據
#define KSIZE 1024
char kbuf[KSIZE];
//最多可以從核心內存中向用戶內存區復制maxlen字節的數據
int copy_from_kernel(void *user_dest, int maxlen){
//所復制的字節數是緩沖區大小與maxlen中的較小者。
int len = KSIZE < maxlen ? KSIZE : maxlen;
memcpy(user_dest, kbuf, len);
return len;
}
copy_from_kernel() 與 memcpy()的長度參數類型不一致，一個int 型，另一個是size_t(實際上是unsigned int)。如果有惡意程序員在調用copy_from_kernel()時將長度參數設置為負數，那麼memcpy()會把它當成一個很大的正數。雖然等復制這麼多（至少231個） 實際上不會完成，因為程序會遇到進程中非法地址的錯誤，但是程序還是能讀到沒有被授權的內核存儲器區域。
