Категория:Статический анализ кода — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+ with \1) |
||
(не показано 8 промежуточных версий этого же участника) | |||
* {{Twittertag|StaticCodeAnalysis}} {{rss4cat}} {{stats|disqus_comments=47|median_plays=689|refresh_time=2020-01-08T07:04:512021-08-31T19:47:39.513641211952|vimeo_comments=0|vimeo_plays=48445603|youtube_comments=18|youtube_plays=1585}} }} [[Категория:Программирование]] [[Категория:Анализ программ и систем]] <!-- Most Interested BEGIN--> <small> Most popular talks: * [[Статический анализ C++ кода (Андрей Карпов, ADD-2011)]] * [[Предупреждение ошибок программистаУлучшение качества открытого программного обеспечения с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)]] * [[Устаревание стандартов кодирования и статический анализ кода (Андрей Карпов на ADD-2010О разработке инструментов статического анализа встроенных языковкода (Марат ХабибуллинМаксим Звягинцев, SECROSSDEVCONF-20159)]] * [[Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)]] * [[Using Svace static analysis tool in Samsung environments (Youil Kim, ISPRASOPEN-2019)]] </small> <!-- Most Interested END--> |
Текущая версия на 12:34, 4 сентября 2021
- Можно подписаться на новые доклады в категории RSS/Atom
Plays:7188 Comments:15
Most popular talks:
- Статический анализ C++ кода (Андрей Карпов, ADD-2011)
- Улучшение качества открытого программного обеспечения с помощью инструментов анализа кода (Максим Звягинцев, OSSDEVCONF-2019)
- Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью LLVM (Виталий Чепцов, ISPRASOPEN-2018)
- Using Svace static analysis tool in Samsung environments (Youil Kim, ISPRASOPEN-2019)
Страницы в категории «Статический анализ кода»
Показано 47 страниц из 47, находящихся в данной категории.
C
D
- Detection of Variable Misuse Using Static Analysis Combined with Machine Learning (Gleb Morgachev, ISPRASOPEN-2019)
- DevSecOps против восстания машин (Сергей Хренов, SECR-2019)
E
L
O
S
U
А
- Автоматизированный поиск багов в C и C++ (Александр Зайцев, LVEE-2018)
- Аспектная разметка кода для быстрой навигации по проекту (Михаил Малеванный, SECR-2015)
В
- Вопросы эффективности использования статических анализаторов на проектах с большим количеством строк кода (Александр Казанский, SECR-2014)
- Выделение типов в универсальном классовом представлении для статического анализа исходного кода
Д
И
- Инструментальная поддержка встроенных языков в интегрированных средах разработки (Семён Григорьев, SECR-2014)
- Использование системы выделенных признаков для задач поиска по исходному тесту (Алексей Пустыгин, OSEDUCONF-2017)
К
М
О
- О разработке инструментов статического анализа встроенных языков (Марат Хабибуллин, SECR-2015)
- О разработке стандартов анализа исходных кодов программного обеспечения на материалах свободного ПО (Алексей Пустыгин, OSEDUCONF-2020)
- Об одном подходе к анализу строк в языке Си для поиска переполнения буфера (Ирина Дудина, ISPRASOPEN-2018)
- Обнаружение клонов в ПО — от тяжеловесных алгоритмов к настольному инструменту программиста (Александр Сухинин, SECR-2015)
- Обнаружение неправильного использования переменных с использованием статического анализа в сочетании с машинным обучением (Глеб Моргачев, ISPRASOPEN-2019)
- Оценка покрытия кода при статическом анализе (Павел Андрианов, OSSDEVCONF-2013)
П
- Платформа межпроцедурного статического анализа бинарного кода (Айк Асланян, ISPRASOPEN-2018)
- Подводные камни внедрения Security Development Lifecycle (Александр Болдырев, SECR-2018)
- Подход к анализу исполняемого кода на основе восстановления программной архитектуры (Дмитрий Кононов, ISPRASOPEN-2018)
- Построение универсального представления графа потока управления для статического анализа исходного кода (Алексей Пустыгин, OSEDUCONF-2014)
- Построение эквивалентного представления зависимостей в исходном тексте с использованием универсального промежуточного представления
- Построение эквивалентного представления зависимостей классов, полей, методов, функций и их перекрестного использования в исходном коде
- Построение эквивалентного представления исходных текстов в форме пригодной для выполнения анализов потока данных в потоке управления
- Предупреждение ошибок программиста с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)
- Применение программных инструментов с открытым исходным кодом для анализа исходных текстов программ (Алексей Пустыгин, OSEDUCONF-2019)
- Применение статического анализа кода в преподавании и в разработке свободного ПО (Георгий Грибков, OSEDUCONF-2020)
- Проверяем, моделируем и снова проверяем – разработка параллельных программ с помощью инструментов Intel
- Проект технологии извлечения знаний из исходных текстов на языках С++ и Csharp с использованием общего промежуточного представления
- Простая визуализация структур данных в Java (OSEDUCONF-2021)
- Прототип инструмента для анализа графа потока управления открытых исходных текстов С и С++ на основе универсального представления
- Прототип программного инструмента для анализа связности потока управления программ с открытым исходным текстом (Алексей Пустыгин, OSEDUCONF-2017)
С
- Современное состояние исследований и разработок в области автоматического анализа программ (Александр Герасимов, SECR-2019)
- Статическая верификация системного программного обеспечения на языке Си (Илья Захаров, OSDAY-2018)
- Статический анализ C++ кода (Андрей Карпов, ADD-2011)
- Статический анализ кода — от опечаток к уязвимостям (Сергей Хренов, SECR-2018)
У
- Улучшение качества открытого программного обеспечения с помощью инструментов анализа кода (Максим Звягинцев, OSSDEVCONF-2019)
- Устаревание стандартов кодирования и статический анализ кода (Андрей Карпов на ADD-2010)
- Устойчивая привязка к синтаксическим конструкциям в изменяющемся коде (Михаил Малеванный, SECR-2016)