Hi,
Our products use internal memory management.
This means that we preallocate objects on our own and then manage a large chunk of memory as several independent objects.
To explain, we do a malloc() for 1000 bytes, and then use chunks of 50 bytes, typecasted to a given type - effectively creating an array 0f 20 objects.
Now, assuming each such object has its own mutex, how can this be conveyed to thread checker?
What we assume it does now, is simply views the memory chunk created using malloc() as a single object, checking for thread accesses to it, which causes too many false alarms...
Thanks,
Tsahi
