Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 27, № 6 (2015) Статический анализатор Svace как коллекция анализаторов разных уровней сложности Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин, А. А. Белеванцев
"... В статье описывается практический подход поиска ошибок в исходном коде программ с помощью методов ..."
 
Том 32, № 3 (2020) Моделирование библиотечных функций в промышленном статическом анализаторе кода Аннотация  похожие документы
Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ
"... различных ошибок в исходном коде C#. Поскольку инструмент активно разрабатывается, ему требуется все более ..."
 
Том 27, № 2 (2015) Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ Аннотация  PDF (Rus)  похожие документы
А. А. Белеванцев, Е. А. Велесевич
"... В статье рассматривается инструмент статического анализа программ, определяющий сущности программы ..."
 
Том 31, № 3 (2019) C# парсер для извлечения структуры криптографических протоколов из исходного кода Аннотация  похожие документы
Илья Александрович Писарев, Людмила Климентьевна Бабенко
"... проанализировать протокол. В данной статье представлен алгоритм анализа исходного кода языка программирования C ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... В данной работе предложен уточненный метод автоматизированной оценки степени опасности найденных ..."
 
Том 22 (2012) Инкрементальный анализ исходного кода на языках C/C++ Аннотация  PDF (Rus)  похожие документы
В. О. Савицкий, Д. В. Сидоров
"... В статье описан метод построения статического анализатора кода, позволяющий существенно сократить ..."
 
Том 20 (2011) Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников
"... Во многих случаях дефекты программного кода могут быть выявлены путём анализа соответствующего ..."
 
Том 28, № 1 (2016) Свободное программное обеспечение для моделирования жидкости со свободной поверхностью Аннотация  PDF (Rus)  похожие документы
Е. В. Давыдова, В. Н. Корчагова
"... комплексов с открытым исходным кодом, в которых эти методы реализованы, а также выявление границ применимости ..."
 
Том 23 (2012) Использование аспектно-ориентированного программирования для выполнения запросов по исходному коду программ Аннотация  PDF (Rus)  похожие документы
Е. М. Новиков, А. В. Хорошилов
"... Запросы по исходному коду программ помогают разработчикам обнаруживать искомые фрагменты кода и ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... Рассматриваются проблемы анализа программы в бинарном коде для распознавания алгоритмов ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... В данной статье рассматриваются техника написания кода, с помощью которой можно сэкономить время ..."
 
Том 31, № 1 (2019) Анализ характера изменений программ и поиск неисправленных фрагментов кода Аннотация  PDF (Rus)  похожие документы
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев
"... проекта, так и из других проектов. Ввиду возможного содержания ошибки в исходном фрагменте это может ..."
 
Том 25 (2013) Поиск повторяющихся фрагментов исходного кода при автоматическом рефакторинге Аннотация  PDF (Rus)  похожие документы
Н. Г. Зельцер
"... повторяющихся фрагментов исходного кода для программ на языках C/C++. Предложена классификация программных ..."
 
Том 30, № 3 (2018) Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения Аннотация  PDF (Rus)  похожие документы
С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян
"... , поиск ошибок производится только в той части кода, которая была непосредственно выполнена. Используется ..."
 
Том 28, № 5 (2016) Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах Аннотация  PDF (Rus)  похожие документы
А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян
"... участков кода (клонов) в бинарных файлах становится более актуальной в связи с недоступностью исходного ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... дефектов в коде, позволяющие находить дефекты, недостижимые для динамических методов. Статические методы ..."
 
Том 29, № 6 (2017) Декомпиляция объектных файлов *.dcuil Аннотация  PDF (Rus)  похожие документы
А. А. Михайлов, А. Е. Хмельнов
"... этой задачи, состоящий из ряда этапов: синтаксический анализ кода CIL; формирование графа потока ..."
 
Том 22 (2012) Использование легковесного статического анализа для проверки настраиваемых семантических ограничений языка программирования Аннотация  PDF (Rus)  похожие документы
В. Н. Игнатьев
"... введение дополнительных ограничений на язык и стиль программирования. В работе предложен новый метод ..."
 
Том 27, № 4 (2015) Обнаружение и оценка количества промахов когерентности на основе вероятностной модели Аннотация  PDF (Rus)  похожие документы
Е. А. Велесевич
"... предлагается использовать инструментацию кода и постобработку ее результатов: по наблюденным промахам кэша в ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
"... , позволяющем разработчику QEMU получить компилируемый набор файлов с исходным Си-кодом. Разработчик задаёт ..."
 
Том 29, № 3 (2017) О представлении результатов обратной инженерии бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян
"... В статье рассматривается вопрос представления кода алгоритмов, извлекаемых из бинарного кода в ..."
 
Том 30, № 3 (2018) Построение модульного программного обеспечения на основе однородной компонентой модели Аннотация  похожие документы
К. А. Маллачиев, А. В. Хорошилов
"... кода такие ограничения транслируются в специальные проверки на уровне исходного кода. Следовательно ..."
 
Том 30, № 4 (2018) Совмещение ACSL спецификаций с машинным кодом Аннотация  похожие документы
П. А. Путро
"... спецификаций пред- и постусловий с моделью поведения машинного кода. В данной статье представлен подход к ..."
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... новый метод инструментирования кода программы на этапе компиляции. Особенностью описываемого в статье ..."
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
"... . Потребность в подобного рода продуктах возникла в связи с ростом популярности методик запутывания кода для ..."
 
Том 23 (2012) Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода Аннотация  PDF (Rus)  похожие документы
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева
"... В данной статье приводятся результаты экспериментального исследования по восстановлению графа ..."
 
Том 23 (2012) Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight Аннотация  PDF (Rus)  похожие документы
Н. Л. Луговской
"... В статье рассматривается подход для проведения рефакторинга исходного кода на языках Си/Си ..."
 
Том 30, № 5 (2018) Платформа межпроцедурного статического анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
А. К. Асланян
"... В рамках данной статьи описывается разработанная платформа для статического анализа бинарного кода ..."
 
Том 31, № 3 (2019) Использование инвариантов функции высокого уровня для дедуктивной верификации машинного кода Аннотация  похожие документы
Павел Андреевич Путро
"... неизбежным поступком в силу отсутствия полноценных систем формальной верификации машинного кода. Стоит также ..."
 
Том 31, № 3 (2019) Поиск уязвимостей при помощи статического анализа помеченных данных Аннотация  похожие документы
Никита Владимирович Шимчик, Валерий Николаевич Игнатьев
"... В связи с большими объёмами кода в современных программных продуктах, в программах всегда ..."
 
Том 32, № 3 (2020) Архитектура системы дедуктивной верификации машинного кода Аннотация  PDF (Rus)  похожие документы
Илья Владимирович ГЛАДЫШЕВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Павел Андреевич ПУТРО, Алексей Владимирович ХОРОШИЛОВ
"... В последние годы ИСП РАН разрабатывает систему дедуктивной верификации машинного (бинарного) кода ..."
 
Том 30, № 2 (2018) Организация полностью самопроверяемой схемы встроенного контроля на основе метода логического дополнения до равновесного кода «2 из 4» Аннотация  PDF (Rus)  похожие документы
Д. В. Ефанов, В. В. Сапожников, Вл. В. Сапожников, Д. В. Пивоваров
"... структурной избыточности на основе использования метода логического дополнения до равновновесного кода «2 из 4 ..."
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
"... комбинационных схем на основе равновесных кодов с одинаковым числом единичных и нулевых разрядов. Приоритет в ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
"... В статье рассматривается метод оценки эксплуатируемости программных дефектов. Применение данного ..."
 
Том 30, № 3 (2018) Применение глубокого машинного обучения к синтезу цепочки вызовов C# Аннотация  похожие документы
А. Е. Чебыкин, Я. А. Кириленко
"... будущие исследования в области, мы публикуем наши набор данных, код и обученную модель. ..."
 
Том 26, № 3 (2014) Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, В. В. Каушан, А. Н. Федотов
"... В статье рассматривается метод автоматизированного построения эксплойтов для уязвимости ..."
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
"... различных процессорных архитектур общего назначения в отсутствии исходных кодов, отладочной информации и ..."
 
Том 28, № 5 (2016) Поиск ошибок выхода за границы буфера в бинарном коде программ Аннотация  PDF (Rus)  похожие документы
В. В. Каушан
"... В статье рассматривается метод поиска ошибок выхода за границы буфера в рамках метода ..."
 
Том 28, № 5 (2016) Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Р. Р. Мулюков, А. Е. Бородин
"... В статье описывается поиск недостижимого кода в исходном коде программ, написанных на языках Си и ..."
 
1 - 39 из 93 результатов 1 2 3 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)