A method for determining object bounds for objects within a program comprises receiving the program code in a suitable language and analyzing the received code with a set of rules defining an escape analysis with a complexity linear in time and space with the size of the program plus the program's call graph.

Метод для обусловливать пределы предмета для предметов в пределах программы состоит из получать Кодего программы в целесообразном языке и анализировать полученное Кодего с комплектом правил определяя анализ избежания с сложностью линейной в времени и космосе с размером программы плюс диаграмма звонока программы.