|
 Вариант для распечатки |
Пред. тема | След. тема | ||
| Форум Разговоры, обсуждение новостей | |||
|---|---|---|---|
| Изначальное сообщение | [ Отслеживать ] | ||
| "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, утечка ресурсов, проблемы при работе с памятью и различные ошибки, которые могут приводить к краху в процессе работы. | ||
| Ответить | Правка | Cообщить модератору | ||
| Оглавление |
| Сообщения по теме | [Сортировка по времени | RSS] |
| 1. "Facebook открыл код статического анализатора Infer" | +2 +/– | |
| Сообщение от Аноним (??) on 11-Июн-15, 19:46 | ||
> Код Infer написан на языке Python | ||
| Ответить | Правка | ^ к родителю #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 с ученой степенью из мюнхинского университета. | ||
| Ответить | Правка | ^ к родителю #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 | ||
| Ответить | Правка | ^ к родителю #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 | Индекс форумов | Темы | Пред. тема | След. тема |
