форумы  помощь  поиск  регистрация  майллист  вход/выход  слежка

Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Изначальное сообщение		[ Отслеживать ]

"Facebook открыл код статического анализатора Infer"	+/–
Сообщение от opennews (??) on 11-Июн-15, 19:46
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
Ответить | Правка | Cообщить модератору

Сообщения по теме

[Сортировка по времени | RSS]

1. "Facebook открыл код статического анализатора Infer"	+2 +/–
Сообщение от Аноним (??) on 11-Июн-15, 19:46
> Код Infer написан на языке Python ? а в репо написано > Infer is a static analysis tool for Java, Objective-C and C, written in OCaml.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	2. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от Аноним (??) on 11-Июн-15, 20:03
	вот, интересно а многие ли пишут на OCaml?
	Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

Часть нити удалена модератором

	4. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от A.Stahl (ok) on 11-Июн-15, 20:48
	Это на ОСaml`е? Забавный язык...
	Ответить | Правка | Наверх | Cообщить модератору

	12. "Facebook открыл код статического анализатора Infer"	–1 +/–
	Сообщение от A.Suckln on 12-Июн-15, 10:22
	> Это на ОСaml`е? Забавный язык... В днявочку себе это напиши, забавный ты наш
	Ответить | Правка | ^ к родителю #4 | Наверх | Cообщить модератору

	6. "Facebook открыл код статического анализатора Infer"	+2 +/–
	Сообщение от Джо on 11-Июн-15, 21:19
	Там по ссылкам некая девушка 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/ Ваш  К.О.
	Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

	7. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от ясненько on 11-Июн-15, 23:57
	так вот они оказывается какие эти всемирно известные британские учёные!
	Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

	14. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от Замполит on 12-Июн-15, 18:40
	А почему вы упомянули именно Dulma Rodriguez ? oO По первой ссылке указана инженерная команда и там более 10 имен.
	Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

	17. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от fi (ok) on 14-Июн-15, 12:54
	на то они и "инженерная команда", что скажут, то и накодят :)  а самое ценное в таких прогах - математика. за это и премии дают хорошие.
	Ответить | Правка | ^ к родителю #14 | Наверх | Cообщить модератору

	16. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от Аноним (??) on 14-Июн-15, 03:43
	>поглащена поглощена, неграмотный ты наш. От слова "глотать"
	Ответить | Правка | ^ к родителю #6 | Наверх | Cообщить модератору

	10. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от Аноним (??) on 12-Июн-15, 09:03
	ocaml - используется для всяких самопальных компиляторов/трансляторов (haxe например) и прочей связанной дребедени. что-то там встроенное или из-за простоты написания кода под такие задачи. использовать как ЯП общего назначения - лично я не осилил. кто то сравнивал питон с окамлом и говорил что окампл лучше - почему не знаю, совершенно разные языки под разные задачи.
	Ответить | Правка | ^ к родителю #2 | Наверх | Cообщить модератору

	8. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от vn971 (ok) on 12-Июн-15, 00:15
	А чо минисуем товарища? В проекте реально пайтона еле наскребёшь. Я насчитал ~1000 строк кода, github говорит что это 2.4% от общего числа. Сами авторы считают что эта тулза "written in OCaml". Личное отношение к языку в такие моменты стоит отбрасывать.:P
	Ответить | Правка | ^ к родителю #1 | Наверх | Cообщить модератору

	9. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от Аноним (??) on 12-Июн-15, 08:56
	еслиб написали статический анализатор на динамическом ЯП - python - это был какойто разрыв шаблона.
	Ответить | Правка | ^ к родителю #8 | Наверх | Cообщить модератору

	15. "Facebook открыл код статического анализатора Infer"	+/–
	Сообщение от ячс (??) on 13-Июн-15, 01:17
	> еслиб написали статический анализатор на динамическом ЯП - python - это был какойто разрыв шаблона. Более того - на динамическом языке можно написать статический анализатор динамического языка. Ну шаблоны берегитесь.
	Ответить | Правка | ^ к родителю #9 | Наверх | Cообщить модератору

5. "Facebook открыл код статического анализатора Infer"	+1 +/–
Сообщение от Аноним (??) on 11-Июн-15, 20:58
> Код Infer написан на языках OCaml и Python Из серии "галантерейщик^W питон и кардинал^W OCaml -- это сила!"
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

11. "Facebook открыл код статического анализатора Infer"	+2 +/–
Сообщение от Kotan on 12-Июн-15, 09:24
Неплохо. Прогнал по коду util-linux (его проверяют периодически Coverity и Cppcheck) - кое-что нашёл.
Ответить | Правка | ^ к родителю #0 | Наверх | Cообщить модератору

	13. "Facebook открыл код статического анализатора Infer"	+1 +/–
	Сообщение от sdfgsdg on 12-Июн-15, 11:01
	А что именно?
	Ответить | Правка | ^ к родителю #11 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема