Svadev mailing list

[John Criswell <criswell AT illinois.edu>]

On 7/11/11 11:06 AM, Matthew Wala wrote:

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().

Check to see if gmtime() and localtime() are recognized by DSA's StdLib pass.  If so, then what is probably happening is that they are being marked complete, but since the memory objects aren't registered, you get an error.

If other functions aren't recognized by DSA's StdLib pass, then the pointer is being marked External, which means that SAFECode won't raise an error if the memory object isn't found in the pool.

-- John T.

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

_______________________________________________
svadev mailing list
svadev AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/svadev