 An approach to achieve secure low-level code is to use safe high-level languages.A safe language is considered to be completely defined by its programmers' manual.Any bug that could lead to implementation-dependent behavior in a safe language will either be detected at compile time or lead to a well-defined error behavior at run-runtime.