Опубликовано

Как и почему статические анализаторы борятся с ложными срабатываниями

почему статические анализаторы борятся с ложными срабатываниями

В своей предыдущей статье я писал, что мне не нравится подход, при котором статические анализаторы кода оцениваются с помощью синтетических тестов. В статье приводился пример, воспринимаемый анализатором как особый случай, на который сознательно не выдаётся предупреждение. Если честно, я не ожидал такого всплеска комментариев на тему того, что анализатор может очень редко, но не выдать предупреждение на ошибку из-за реализованных в нём механизмов отсечения ложных срабатываний. Борьба с ложными срабатываниями настолько большая составляющая любого статического анализатора, что как-то даже не понятно, что тут собственно обсуждать. Это надо делать и всё. Такие механизмы существуют не только в нашем анализаторе, но и в других анализаторах/компиляторах. Тем не менее, раз этот момент вызвал столь бурное обсуждение, я думаю, стоит уделить ему внимание, поэтому и написал эту поясняющую статью.
Читать дальше →
Как и почему статические анализаторы борятся с ложными срабатываниями
Source: habrahabr

Опубликовано

Пост №3033995

Автор: mumuho88

Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»http://lol.reactor.cc/post/3033995″ }, «headline»: «Ekko :: Jinx (the Loose Cannon) :: League of Legends (Лига Легенд) :: M4ryon :: фэндомы», «image»: { «@type»: «ImageObject», «url»: «http://img0.joyreactor.cc/pics/post/full/Ekko-League-of-Legends-%D1%84%D1%8D%D0%BD%D0%B4%D0%BE%D0%BC%D1%8B-Jinx-3732964.jpeg», «height»: 10000, «width»: 674 }, «datePublished»: «2017-03-20T14:19:35+03:00», «dateModified»: «2017-03-20T14:19:35+03:00», «author»: { «@type»: «Person», «name»: «mumuho88» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «» }
Комментировать 
Пост №3033995
Source: Joyreactor

Опубликовано

Пост №3033993

Автор: skylark

Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»/post/3033993″ }, «headline»: «W V,’ А н* ^ К «Ашл / Навальный :: хранители_», «image»: { «@type»: «ImageObject», «url»: «http://img1.joyreactor.cc/pics/post/full/%D0%9D%D0%B0%D0%B2%D0%B0%D0%BB%D1%8C%D0%BD%D1%8B%D0%B9-%D1%85%D1%80%D0%B0%D0%BD%D0%B8%D1%82%D0%B5%D0%BB%D0%B8_-3732963.jpeg», «height»: 900, «width»: 1200 }, «datePublished»: «2017-03-20T14:18:06+03:00», «dateModified»: «2017-03-20T14:18:06+03:00», «author»: { «@type»: «Person», «name»: «skylark» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «» }
Комментировать 
Пост №3033993
Source: Joyreactor

Опубликовано

В Nintendo Switch установлен стандартный процессор Tegra X1

Игровая консоль Nintendo Switch
поступила в продажу 3 марта, но лишь теперь стали известны подробности
установленного
в устройство процессора. Ранее предполагалось, что в приставке будет
использован модифицированный […]
В Nintendo Switch установлен стандартный процессор Tegra X1
Source: 4pda

Опубликовано

Пост №3033987

Автор: Fearoholic

ссылка на гифкуI Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»/post/3033987″ }, «headline»: «I / вело :: прыжок :: fail :: гиф анимация (гифки — ПРИКОЛЬНЫЕ gif анимашки)», «image»: { «@type»: «ImageObject», «url»: «http://img0.joyreactor.cc/pics/post/full/%D0%B3%D0%B8%D1%84%D0%BA%D0%B8-%D0%B2%D0%B5%D0%BB%D0%BE-%D0%BF%D1%80%D1%8B%D0%B6%D0%BE%D0%BA-fail-3732948.gif», «height»: 400, «width»: 400 }, «datePublished»: «2017-03-20T14:10:39+03:00», «dateModified»: «2017-03-20T14:10:39+03:00», «author»: { «@type»: «Person», «name»: «Fearoholic» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «» }
Комментировать 
Пост №3033987
Source: Joyreactor

Опубликовано

[Из песочницы] Метод наборов

Читая книгу «Конкретная математика», одновременно набираясь знаний и осознавая свою некомпетентность в вопросе, ещё в самой первой главе я наткнулся на метод наборов, который авторы используют для решения Задачи Иосифа Флавия. Метод они не объясняют, сочтя его слишком элементарным, так что пришлось искать информацию о нём самому. В рускоязычном сегменте интернетов достаточно подробного описания не нашел, поэтому воспользовался ответом с math.stackexchange.com, который позже перевёл, и теперь представляю его вам, дабы те, кто тоже не понял метод инстинктивно, смогли проникнуться.

Далее — перевод от первого лица.
Читать дальше →
[Из песочницы] Метод наборов
Source: habrahabr

Опубликовано

Обзор новинок и обновлений программ для iOS (5 — 19 марта 2017)

Опубликован дайджест «Обзор новинок и обновлений программ для iOS» за период 5 — 19 марта 2017.

Новых программ: 8

Обновлений: 56

Большое спасибо всем, кто принимал участие в их создании.

Если у Вас […]
Обзор новинок и обновлений программ для iOS (5 — 19 марта 2017)
Source: 4pda

Опубликовано

Пост №3033983

Автор: Ебатель

Развернуть { «@context»: «http://schema.org», «@type»: «BlogPosting», «mainEntityOfPage»:{ «@type»:»WebPage», «@id»:»/post/3033983″ }, «headline»: «duran art :: Смешные комиксы (веб-комиксы с юмором и их переводы)», «image»: { «@type»: «ImageObject», «url»: «http://img0.joyreactor.cc/pics/post/full/duran-art-%D0%9A%D0%BE%D0%BC%D0%B8%D0%BA%D1%81%D1%8B-3732942.jpeg», «height»: 600, «width»: 600 }, «datePublished»: «2017-03-20T14:01:30+03:00», «dateModified»: «2017-03-20T14:01:30+03:00», «author»: { «@type»: «Person», «name»: «Ебатель» }, «publisher»: { «@type»: «Organization», «name»: «JoyReactor.cc», «logo»: { «@type»: «ImageObject», «url»: «http://joyreactor.cc/images/joyreactor_ie6.png», «width»: 207, «height»: 54 } }, «description»: «» }
Комментировать 
Пост №3033983
Source: Joyreactor

Опубликовано

Huawei Watch обновляются до Android Wear 2.0

Как и было обещано ранее в этом месяце, оригинальная модель «умных» часов Huawei Watch начала обновляться до Android Wear 2.0. Мажорное обновление приносит на часы переработанный пользовательский […]
Huawei Watch обновляются до Android Wear 2.0
Source: 4pda

Опубликовано

WikiLeaks готова поделиться информацией об инструментах ЦРУ, чтобы компании закрыли уязвимости


8 марта сайт WikiLeaks опубликовал первую часть коллекции секретных документов Центрального разведывательного управления США, которые дают представление о масштабах кибершпионской работы организации. В первом архиве, который получил название Year Zero, содержится информация о тысячах различных вирусов, троянов, уязвимостей нулевого дня и прочих программных инструментов. С их помощью ЦРУ проникает в святая святых техногигантов уровня Microsoft, Apple и Google, получая информацию о проприетарных технологиях этих корпораций и об их пользователях.


Действия Wikileaks наделали много шума, поскольку Year Zero дает осознание того, насколько продукция технологических корпораций уязвима для ЦРУ. Сразу после обнародования документов говорилось, что хакерские возможности ЦРУ даже превосходят возможности их коллег из АНБ. Представители Wikileaks заявили, что опубликованное — только вступление, вслед за первым архивом последуют и другие. Кроме того, в Wikileaks заявили, что собираются предоставить самым известным технологическим компаниям информацию, которая позволит им ликвидировать проблемы в безопасности своих продуктов, позволявшие ЦРУ проводить свою кибершпионскую работу.
Читать дальше →
WikiLeaks готова поделиться информацией об инструментах ЦРУ, чтобы компании закрыли уязвимости
Source: geektimes