[nhc-bugs] Static analysis