Архив за 12 января 2017 - 6

в 11:31, , рубрики: C, C#, c++, pvs-studio, Блог компании PVS-Studio, информационная безопасность, Компиляторы, разработка программного обеспечения, Си, статический анализ, статический анализ кода, статический анализатор кода

Что внутри у PVS-StudioPVS-Studio — статический анализатор исходного кода для поиска ошибок и уязвимостей в программах на языке C, C++ и C#. В этой статье я хочу дать обзор технологий, которые мы используем в анализаторе PVS-Studio для выявления ошибок в коде программ. Помимо общей теоретической информации я буду на практических примерах показывать, как та или иная технология позволяет выявлять ошибки.

Введение

Поводом для написания статьи стало моё выступление с докладом на открытой конференции ИСП РАН 2016 (ISPRAS OPEN 2016), проходившей в первых числах декабря в Главном здании Российской академии наук. Тема доклада: «Принципы работы статического анализатора кода PVS-Studio» (презентация в формате pptx).

К сожалению, время выступления было сильно ограничено, поэтому мне пришлось подготовить весьма короткую презентацию и не рассказать в докладе многое из того, что хотелось. Поэтому я решил написать эту статью, где более подробно расскажу о том, какие подходы и алгоритмы мы используем при разработке проекта PVS-Studio.
Читать полностью »

в 11:31, , рубрики: Новости, метки:

На этой неделе LG объявила о запуске в производство нового жидкокристаллического дисплея, не став скрывать, что он будет использоваться в следующем флагманском смартфоне южнокорейской компании.

Затем на канале LG Mobile Global в YouTube появился видеоролик, в котором пользователи рассказывают о смартфоне своей мечты, высказывая различные пожелания. В описании ролика подтверждается, что анонс смартфона состоится в феврале этого года.

в 11:16, , рубрики: Новости, метки:

Аналитики компании Asymco считают, что в этом году общий доход, который будет сгенерирован устройствами, работающими под управлением операционной системы iOS, превысит отметку 1 трлн долларов.

Asymco уточняет, что к середине года продажи устройств с iOS составят 980 млрд долларов. Еще более 100 млрд долларов должно поступить от продажи приложений, контента и подписок.

Читать полностью »

в 11:08, , рубрики: кадры, кейсы, Медиа, онлайн-медиа, Оценка трафика, РБК, СМИ, Текучка, цензура, метки: , , , , , , , , ,

Lenta.ru и Rbc.ru сильно зависят от трафика, который они получают или от аффилированных площадок холдинга (Lenta.ru) или от закупаемого трафика (РБК). В целом трафик СМИ на сегодня — многосоставная вещь, где потери одного или иного канала могут быть быстро компенсированы в другом канале. Считается, что смена редакции должна приводить к изменению состава аудитории, Читать полностью »

в 11:06, , рубрики: Intel NUC Skull Canyon, Блог компании Intel, гаджеты, игры, метки:

Intel NUC Skull Canyon. Такой маленький, а уже геймер? - 1

Этот пост написан по многочисленным просьбам хаброжителей. В свое время в обсуждении новости о выходе Intel NUC Skull Canyon сразу возник здоровый вопрос, поставленный пока в конец названия: может ли данное устройство носить гордое имя «игровой компьютер». И вот пришла пора оторваться от оливье и всесторонне изучить данный вопрос на практике. Продолжая традицию новогодних домашних тестирований, в этом году я взялся за самый мощный из мини-компьютеров Intel NUC — модель Intel NUC Skull Canyon (NUC6i7KYK).
Читать полностью »

в 10:52, , рубрики: Новости, метки:

Пресс-служба компании CyberPower объявила о выходе в линейке CyberPower двух новых моделей OL6KERT3UPM мощностью 6000 ВА и OL10KERT3UPM мощностью 10000 ВА.

Производитель заявляет об использовании высококачественной элементной базе и совершенной схемотехники, которые отвечают за надежность и высокий уровень защиты вашей техники.

Читать полностью »

в 10:49, , рубрики: BLE, Bluetooth 4.0, Беспроводные технологии, Стандарты связи

image

BLE под микроскопом. Часть 2

В первой части мы проанализировали для чего был придуман стандарт Bluetooth LE, а так же рассмотрели формат пакетов объявления «advertising». В данной части, мы продолжим изучать особенности формата и рассмотрим механизм присоединения устройства BLE к смартфону.
Читать полностью »

в 10:48, , рубрики: angular, AngularJS, modal dialog, TypeScript

В Angular (версии 2+) столкнулся с задачей создания модальных окон, но готовые решения мне не подходили либо из-за жестко заданного функционала (негибкие), либо они не обновлены до последней версии и по этой причине не работают. Но продираясь через дебри официальной документации решил рассказать о двух способах работы с модальными окнами (или нотификаций), которые я посчитал лучшими.

В данной статье я хочу рассказать о двух способах работы с модальными окнами:

  1. «Обычное» добавление компонентов
  2. Динамическое добавление компонентов

Читать полностью »

в 10:34, , рубрики: ATA, ata pass-through, python, smart, доступ к дискам, Разработка под Linux
image

Добрый день, коллеги. Со времени написания первой статьи прошло достаточно много времени. За это время моя библиотечка для доступа к диску научилась работать со встроенными SMART-тестами и их логами а также механизмами безопасности современных накопителей.

На этот раз я расскажу о создании приложения для тестирования жестких дисков на базе этой библиотеки.
Читать полностью »

в 10:20, , рубрики: Новости, метки:

Компания BlackBerry объявила о глобальном снижении цен на аксессуары для своих устройств. Чехлы, зарядные устройства, наушники и прочие аксессуары в данный момент подешевели на 40%.

Предложение примечательно тем, что оно действует не только в США и Канаде, но и в европейском регионе. Акция продлится до 23 января этого года.

BlackBerry снизила цены на аксессуары на 40%

Неделю назад мы публиковали Читать полностью »

1...567...10...11
Главная   |  Архив новостей  |   Android  |   Google  |   Apple  |   Microsoft  |   Информационная безопасность  |   Веб – разработка
Публикации RSS  |  Комментарии RSS
https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js