I think this is related to the concept of "Ethical Compilers" -- you might be interested in this: williamjbowman.com/resources/wj...