摘要 |
1. Способ, содержащий этапы, на которых:выполняют обработку неструктурированной однопоточной области двоичного кода с использованием процессора, соединенного с запоминающим устройством,определяют критерий среза для указанной области;определяют контур вызова, контур возврата и псевдоконтур прохода при невыполнении условия для области на основе анализа области на двоичном уровне;генерируют контекстно-зависимый срез кода на основе контура вызова, контура возврата, псевдоконтур прохода при невыполнении условия, и критерия среза; исохраняют контекстно-зависимый срез кода в запоминающем устройстве.2. Способ по п.1, включающий в себя этап, на котором генерируют контекстно-зависимый срез кода, посредством прохода контура возврата.3. Способ по п.2, включающий в себя этап, на котором определяют рекурсивный подсрез для области на основе контура возврата.4. Способ по п.3, характеризующийся тем, что определение рекурсивного подсреза не основано на метаданных для другого контура вызова.5. Способ по п.3, включающий в себя этап, на котором осуществляют проход по псевдокромке прохода при невыполнении условия после определения рекурсивного подсреза.6. Способ по п.1, включающий в себя этапы, на которых:определяют вызов рекурсивной функции; игенерируют контекстно-независимый срез кода для вызова рекурсивной функции без попыток генерирования контекстно-зависимого среза кода для вызова рекурсивной функции.7. Способ по п.1, включающий в себя этап, на котором генерируют, на основе истечения лимита времени контекстно-независимый срез кода для второго контура вызова, посредством обработки второго контура вызова, в качестве нормальн� |