A hazard analysis framework for code synthesis large language models