пригласите на форум - расскажу.
А вы хоть примерно представляете как они работают? Вживую видели их работу? Ну хотя-бы примерный алгоритм того, как они сертифицируют код?
не видел.
просто есть в теории алгоритмов задачи, которые в настоящее время либо не имеют решения,либо являются NP полными. Для решения таких задач либо требуется очень много времени, либо вовсе нет решения.
казалось бы почти элементарная задача - определить завершится ли алгоритм или не завершится. В настоящее время (насколько мне известно) решения этой задачи алгоритмически не существует. А значит потенциально найти куски кода при помощи софта, где программа зависает - очень сложная задача и может быть решена лишь замером времени исполнения, но для этого необходимо произвести перебор всех имеющихся параметров, что не подъемно.
ссылку приведу чуть позже, либо сами посмотрите закон о персональных данных и смежные с ним. сейчас надо на время убежать.
