I like the "unsafe function" idea. More generally, it would be great if you could somehow show an "unsafe chance" metric, which would show lines that can cause

I like the "unsafe function" idea. More generally, it would be great if you could somehow show an "unsafe chance" metric, which would show lines that can cause multithreading issues. That is, rather than relying on the unsafe{} blocks, you would use some sort of Valgrind or similar output to generate a heuristic that measures the chances of shared data collisions or the like.