Категория:Статический анализ кода — различия между версиями
Материал из 0x1.tv
StasFomin (обсуждение | вклад) |
StasFomin (обсуждение | вклад) (Batch edit: replace PCRE (\n\n)+ with \1) |
||
| (не показано 18 промежуточных версий этого же участника) | |||
* {{Twittertag|StaticCodeAnalysis}}
{{rss4cat}}
{{stats|disqus_comments=47|median_plays=589|refresh_time=2021-08-31T19:47:39.211952-02-25T22:22:50.303144|vimeo_comments=0|vimeo_plays=45345603|youtube_comments=08|youtube_plays=2591585}}
[[Категория:Программирование]]
[[Категория:Анализ программ и систем]]
<!-- Most Interested BEGIN-->
<small>
Most popular talks:
* [[Статический анализ C++ кода (Андрей Карпов, ADD-2011)]]
* [[Предупреждение ошибок программистаУлучшение качества открытого программного обеспечения с помощью статического анализа кода и доменной модели (Алексей Алексеев и Николай Гребнев на ADD-2010)]]
* [[Устаревание стандартов кодирования и статический анализ кода (Андрей Карпов на ADD-2010)]]
* [[О разработке инструментов статического анализа встроенных языков (Марат Хабибуллин, SECR-2015анализа кода (Максим Звягинцев, OSSDEVCONF-2019)]]
* [[Динамический анализ 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)