A system and method are provided that allow for improved code sequence
verification through the use of an abstract syntax tree. This is
accomplished by first constructing an abstract syntax tree from the code
sequence and then determining whether the abstract syntax tree satisfies a
predefined set of conditions indicative of the code sequence being
executable on the computer without generating a predefined class of
execution errors. The abstract syntax tree is constructed by reassembling
the code sequence into a plurality of instructions, combining the
instructions into a plurality of blocks, examining the blocks to determine
entry points of a plurality of loops, and tagging locations in the series
of instructions where control is transferred at the end of each loop. The
instructions, blocks, loops and tagged locations are then examined to
generate a plurality of control structures (the coarse structure).
Finally, the instructions, blocks, loops, tagged locations and control
structures are examined to generate a plurality of form expressions (the
fine structures).
Система и метод provided that позвольте для улучшенной проверки последовательности Кодего через пользу вала abstract syntax. Это выполнено сперва строить вал abstract syntax от последовательности Кодего и после этого обусловливать удовлетворяет ли вал abstract syntax предопределенный комплект условий признаковых последовательности Кодего исполнительн на компьютере без производить предопределенный тип ошибок исполнения. Вал abstract syntax построен путем reassembling последовательность Кодего в множественность инструкций, совмещая инструкции в множественность блоков, рассматривая блоки для того чтобы обусловить пынкты входа множественности петель, и маркируя положения в серии инструкций куда управление возвращено на конец каждой петли. Инструкции, блоки, петли и маркированные положения после этого расмотрены для того чтобы произвести множественность структур управления (грубой структуры). Окончательно, инструкции, блоки, петли, маркировали положения и структуры управления расмотрены для того чтобы произвести множественность выражений формы (точных структур).
