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