https://www.opennet.me/openforum/vsluhforumID3/103025.html Facebook перевёл (https://code.facebook.com/posts/1648953042007882/open-sourcing-facebook-infer-identify-bugs-before-you-ship/) в разряд открытых проектов статический анализатор Infer (http://fbinfer.com/), который можно использовать для выявления ошибок в приложениях на языках Си, Objective-C и Java. В Facebook система применяется для проверки программ, разрабатываемых для платформ Android и iOS. Infer позволяет на основе анализа кода, без непосредственного запуска программы, выявлять такие проблемы, как разыменование указателя NULL, утечка ресурсов, проблемы при работе с памятью и различные ошибки, которые могут приводить к краху в процессе работы. <br><br><br><br>При анализе кода применяются методы математической логики, на основе которых строится план выполнения программы, в котором система пытается повторить типовые рассуждения разработчика, проводящего ручной аудит кода. В настоящее время Infer достиг неплохой для автоматизированный средств эффективности, выявляя около 80% проблем из общего объёма ошибок, информ https://www.opennet.me/openforum/vsluhforumID3/103025.html#17 Sun, 14 Jun 2015 09:54:10 GMT на то они и "инженерная команда", что скажут, то и накодят :) а самое ценное в таких прогах - математика. за это и премии дают хорошие.<br><br> https://www.opennet.me/openforum/vsluhforumID3/103025.html#16 Sun, 14 Jun 2015 00:43:21 GMT &gt;поглащена<br><br>поглощена, неграмотный ты наш. От слова "глотать"<br> https://www.opennet.me/openforum/vsluhforumID3/103025.html#15 Fri, 12 Jun 2015 22:17:31 GMT &gt; еслиб написали статический анализатор на динамическом ЯП - python - это был какойто разрыв шаблона.<br><br>Более того - на динамическом языке можно написать статический анализатор динамического языка. Ну шаблоны берегитесь.<br><br> https://www.opennet.me/openforum/vsluhforumID3/103025.html#14 Fri, 12 Jun 2015 15:40:41 GMT А почему вы упомянули именно Dulma Rodriguez ? oO По первой ссылке указана инженерная команда и там более 10 имен. <br> https://www.opennet.me/openforum/vsluhforumID3/103025.html#13 Fri, 12 Jun 2015 08:01:43 GMT А что именно?<br> https://www.opennet.me/openforum/vsluhforumID3/103025.html#12 Fri, 12 Jun 2015 07:22:13 GMT &gt; Это на ОСaml`е? Забавный язык...<br><br>В днявочку себе это напиши, забавный ты наш<br> https://www.opennet.me/openforum/vsluhforumID3/103025.html#11 Fri, 12 Jun 2015 06:24:47 GMT Неплохо. Прогнал по коду util-linux (его проверяют периодически Coverity и Cppcheck) - кое-что нашёл.<br> https://www.opennet.me/openforum/vsluhforumID3/103025.html#10 Fri, 12 Jun 2015 06:03:18 GMT ocaml - используется для всяких самопальных компиляторов/трансляторов (haxe например) и прочей связанной дребедени. что-то там встроенное или из-за простоты написания кода под такие задачи.<br>использовать как ЯП общего назначения - лично я не осилил.<br><br>кто то сравнивал питон с окамлом и говорил что окампл лучше - почему не знаю, совершенно разные языки под разные задачи.<br> https://www.opennet.me/openforum/vsluhforumID3/103025.html#9 Fri, 12 Jun 2015 05:56:48 GMT еслиб написали статический анализатор на динамическом ЯП - python - это был какойто разрыв шаблона.<br>