is there an easy way to add a new local variable ? e.g.,
sprintf(dest,src) will become
int temp;
temp = 5;
snprintf(dest,sizeof(dest),src)
I realize that this has several instructions instead of just one instruction
like before -- that's fine however
the function mkLocalVar requiring a funde
On Tue, Dec 22, 2009 at 08:32:23AM -0700, ThanhVu (Vu) Nguyen wrote:
> Did you mean "SizeOfE"?
I meant the CIL constructor SizeOf, which you can build manually or
using SizeOfE (which won't make any difference in the end).
Regards,
--
Gabriel Kerneis
VN -
On Tue, Dec 22, 2009 at 1:45 AM, Gabriel Kerneis wrote:
> On Mon, Dec 21, 2009 at 11:54:51PM -0700, ThanhVu (Vu) Nguyen wrote:
> > if the program is
> > char dest [100] = "";
> > char *src = "hello world";
> > sprintf(dest,src);
> > so if I want to change it to
> > snprintf(dest,src,sizeof(
On Tue, Dec 22, 2009 at 01:02:00AM -0700, ThanhVu (Vu) Nguyen wrote:
> > What is CIL check ?
> src/check.ml
> Hi Gabriel, I want to use the checkFile flag fl function in check.ml
> however
> not sure that "flag" to use.
[] is just fine (see src/check.mli for documentation). But y
On Mon, Dec 21, 2009 at 11:54:51PM -0700, ThanhVu (Vu) Nguyen wrote:
> if the program is
> char dest [100] = "";
> char *src = "hello world";
> sprintf(dest,src);
> so if I want to change it to
> snprintf(dest,src,sizeof(dest));
> then I am not sure which SizeOf to use ? should I use AddressOf
> > What is CIL check ?
>
> src/check.ml
>
Hi Gabriel, I want to use the checkFile flag fl function in check.ml
however not sure that "flag" to use.
--
This SF.Net email is sponsored by the Verizon Developer Community
T
