The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]

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

"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.../
Новость: https://www.opennet.ru/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"  +/
Сообщение от Аноним email(??) 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"  +/
Сообщение от Аноним email(??) 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 | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру