[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <AANLkTik8auzhRB00fRWxbmZKOKg+T87ZZa07ydDAGp=f@mail.gmail.com>
Date: Wed, 29 Sep 2010 15:03:11 -0700
From: Andreas Saebjoernsen <andreas@...italplaywright.com>
To: linux-kernel@...r.kernel.org
Subject: interpreting semantics of ipc system call
We are developing a simulator that can simulate any specimen x86 linux program.
Our simulator has a simulated memory, unlike the concrete memory state of
tools like Valgrind, so that we can do concrete symbolic execution. Instead of
reimplementing the system calls we marshal the system calls called by
the specimen.
I am currently working on marshaling calls to the ipc system call (system
call 117) which has the following signature
int ipc(unsigned int call, int first, int second, int third, void
*ptr, long fifth)
I have a problem interpreting what the size is of the data structure
pointed to by
the 'void*', and I have been unable to locate good documentation or code on the
semantics of this system call.
Could you please help me interpret the size of the data structure
pointed to by the
'void*' or point me to documentation/code for the ipc system call?
kind regards,
Andreas
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists