runtimeverification / rv-predict

Code for improved rv-predict and installer
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

Nice to have: tell where an object was allocated, like tsan #1006

Open gnuoyd opened 6 years ago

gnuoyd commented 6 years ago

We'd need to instrument malloc/calloc/free (which is desirable anyway, actually, since they may be involved in races) and then look at the race schedule to see where the object was allocated. If we can catch some type information (how...?) then we could nicely symbolize the struct/union member or array index.