People (Fault detection based on static program analysis)