svadev AT lists.siebelschool.illinois.edu
Subject: Svadev mailing list
List archive
- From: Matthew Wala <wala1 AT illinois.edu>
- To: svadev AT cs.uiuc.edu
- Subject: [svadev] SAFECode and gmtime() / localtime()
- Date: Mon, 11 Jul 2011 11:06:02 -0500
- List-archive: <http://lists.cs.uiuc.edu/pipermail/svadev>
- List-id: <svadev.cs.uiuc.edu>
Hello everyone:
When I compile the attached test case with SAFECode (tried on asha and
bach) I get a large number of Out of Bounds / Load Store errors. The
test calls gmtime() which returns static memory. These errors also
occur if the function that is called is replaced with localtime().
However, other time-related functions that return static memory like
ctime() (as well as the reentrant versions of gmtime() and
localtime()) do not cause SAFECode to complain.
Before filing a bug I'd like to know if there is a reason for this
behavior or if this is already known.
Thanks,
Matt
#include <time.h>
#include <stdio.h>
#include <sys/time.h>
int main()
{
struct tm *t;
struct timeval tv;
struct timezone tz;
char *y;
gettimeofday(&tv, &tz);
t = gmtime(&tv.tv_sec);
printf("%i %i %i %i %i %i %i %i %i\n",
t->tm_sec,
t->tm_min,
t->tm_hour,
t->tm_mday,
t->tm_mon,
t->tm_year,
t->tm_wday,
t->tm_yday,
t->tm_isdst
);
return 0;
}
- [svadev] SAFECode and gmtime() / localtime(), Matthew Wala, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), John Criswell, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), Matthew Wala, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), John Criswell, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), Adve, Vikram Sadanand, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), John Criswell, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), Matthew Wala, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), Adve, Vikram Sadanand, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), John Criswell, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), Matthew Wala, 07/11/2011
- Re: [svadev] SAFECode and gmtime() / localtime(), John Criswell, 07/11/2011
Archive powered by MHonArc 2.6.16.