Facebook перевёл (https://code.facebook.com/posts/1648953042007882/open-sourci.../) в разряд открытых проектов статический анализатор Infer (http://fbinfer.com/), который можно использовать для выявления ошибок в приложениях на языках Си, Objective-C и Java. В Facebook система применяется для проверки программ, разрабатываемых для платформ Android и iOS. Infer позволяет на основе анализа кода, без непосредственного запуска программы, выявлять такие проблемы, как разыменование указателя NULL, утечка ресурсов, проблемы при работе с памятью и различные ошибки, которые могут приводить к краху в процессе работы.При анализе кода применяются методы математической логики, на основе которых строится план выполнения программы, в котором система пытается повторить типовые рассуждения разработчика, проводящего ручной аудит кода. В настоящее время Infer достиг неплохой для автоматизированный средств эффективности, выявляя около 80% проблем из общего объёма ошибок, информация о которых поступает разработчикам. Код Infer написан на языке Python и распространяется (https://github.com/facebook/infer) под лицензией BSD.
URL: https://code.facebook.com/posts/1648953042007882/open-sourci.../
Новость: http://www.opennet.me/opennews/art.shtml?num=42405
> Код Infer написан на языке Python?
а в репо написано
> Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.
вот, интересно а многие ли пишут на OCaml?
Это на ОСaml`е? Забавный язык...
> Это на ОСaml`е? Забавный язык...В днявочку себе это напиши, забавный ты наш
Там по ссылкам некая девушка Dulma Rodriguez с ученой степенью из мюнхинского университета.
Фото http://www2.tcs.ifi.lmu.de/~rodrigue/img/dulma2.JPG"My research interests include static analysis, type systems for resource analysis, lambda calculus and type theory, theorem provers, separation logic, etc."
Профессионально программиирует с 2002 года.
Вела научную деятельность с 2008 года, что вероятно и явилось решающим фактором выбора языка программирования. Научный руководитель неизвестен.
В 2012 переехав в Лондон(Соединенное королевство), применила на практике свои научные изыскания в коммерческом проетке Monoidics
(provides cutting-edge solutions for formal verification, memory safety analysis, termination analysis, and security of software.)В июле 2013года компания была поглащена Facebook.
ссылки по делу Infer:
http://www2.tcs.ifi.lmu.de/~rodrigue/Ваш К.О.
так вот они оказывается какие эти всемирно известные британские учёные!
А почему вы упомянули именно Dulma Rodriguez ? oO По первой ссылке указана инженерная команда и там более 10 имен.
на то они и "инженерная команда", что скажут, то и накодят :) а самое ценное в таких прогах - математика. за это и премии дают хорошие.
>поглащенапоглощена, неграмотный ты наш. От слова "глотать"
ocaml - используется для всяких самопальных компиляторов/трансляторов (haxe например) и прочей связанной дребедени. что-то там встроенное или из-за простоты написания кода под такие задачи.
использовать как ЯП общего назначения - лично я не осилил.кто то сравнивал питон с окамлом и говорил что окампл лучше - почему не знаю, совершенно разные языки под разные задачи.
А чо минисуем товарища? В проекте реально пайтона еле наскребёшь. Я насчитал ~1000 строк кода, github говорит что это 2.4% от общего числа. Сами авторы считают что эта тулза "written in OCaml". Личное отношение к языку в такие моменты стоит отбрасывать.:P
еслиб написали статический анализатор на динамическом ЯП - python - это был какойто разрыв шаблона.
> еслиб написали статический анализатор на динамическом ЯП - python - это был какойто разрыв шаблона.Более того - на динамическом языке можно написать статический анализатор динамического языка. Ну шаблоны берегитесь.
> Код Infer написан на языках OCaml и PythonИз серии "галантерейщик^W питон и кардинал^W OCaml -- это сила!"
Неплохо. Прогнал по коду util-linux (его проверяют периодически Coverity и Cppcheck) - кое-что нашёл.
А что именно?