world's cheesiest non-static race condition detector (more of a hinter, really), which could possibly be done with help from something like Semmle and some sweaty AoP action:


for each instance field:
for each unsynchronized method reading/writing it:
for each thread using the methods:
if 2 threads aren't the same, log warning


by which i mean if Thread A is in the getter and Thread B is in the setter and they aren't synchronzied then that sucks.