-
Notifications
You must be signed in to change notification settings - Fork 13
Open
Description
TriCera gives special treatment to dynamic memory allocation functions like malloc, calloc and friends. However, currently (by design) TriCera expects calloc to take one argument whereas the standard requires two. The standard is *calloc(size_t nmemb, size_t size), and TriCera uses *calloc(size_t size). It basically acts as a zero-initialize version of malloc. This causes problems with "real-world" programs where there is not an option to adhere to the TriCera calloc interface since they are intended to be compiled with standard compilers. This makes TriCera less useful for programs where calloc is used.
Metadata
Metadata
Assignees
Labels
No labels