摘要 |
Method for detecting errors in a computer program in which at least one target instruction in the program is searched for. Accordingly the instruction is represented in control flow graph format with transitions shown between program instructions. Accordingly a target instruction is modeled using at least one psi-term model. A sub-graph of the graph is run-through using a source instruction, while testing for each instruction in the sub-graph if the if instruction run-through conforms to that of the modeled target instruction. The invention also relates to a corresponding code generation system with a compiler adapted to read a computer program and supply a control flow graph comprising transitions between the instructions of the said computer program.
|