@r exists@ identifier i; expression E,sz,buf,num,len; position p1, p2; @@ i@p1 = kmalloc(sz); ... copy_to_user(buf, i, len)@p2 @script:python@ p1 << r.p1; p2 << r.p2; @@ print "* file: %s kmalloc %s before copy_to_user %s" % (p1[0].file,p1[0].line,p2[0].line)