A process and system for analyzing executable portion of computer code for processors
with unprotected pipelines is provided. The process assumes a worst set of current
processor states; analyzes plural control paths for possible hazards by computing
an induced set of processor states after executing a computer instruction; and
adjusts the worst set of current processor states based on program annotations
to the computer instruction.