На интересную вещь наткнулся в контексте размышлений о будущем MergeMinds. Не особо представляю насколько это действительно эффективно работает, но как одно из направлений развития статического анализа кода — штука интересная.