Static Detection of Data Races
It would be good to have a tool that checks for data races in a similar fashion to DRD / Helgrind. The current pointer analysis
can over approximate shared variables, so possibly some combination of this, trace generation, DRD / Helgrind and then refinement
of which traces to pick? Perhaps this is even something ACDL like?