Specification-Driven Prompting Improves LLM Code Safety | HACKOBAR_