title: Compositional partially defined types in symbolic interpreter for the .NET Framework
metadata.name: dc.contributor.advisor
metadata.value: Федюкович Григорий Геннадьевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Мисонижник Александр Владимирович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Misonizhnik Aleksandr
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Кириленко Яков Александрович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Kirilenko Iakov Аleksаndrovich
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2018-07-26T15:26:24Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2018-07-26T15:26:24Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2018
metadata.lang: -
metadata.name: dc.identifier.other
metadata.value: 040064
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/13600
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Символьное исполнение — популярная техника анализа программ, используемая для генерации тестового покрытия и формальной верификации. Одна из главных задач, решаемых символьным интерпретатором — исследование веток выполнения кода в на неопределенных входных данных. Из-за наличии полиморфизма типов и обобщенных типов, во время символьного исполнения .NET-кода появляется проблема неопределенности динамических типов объектов. В работе предложен способ представления неопределенности динамических типов объектов и ограничений на типы в символьном интерпретаторе .NET-кода, описано композициональное символьное исполнение в случае с частично определенными типами. Также представлен алгоритм решения систем ограничений на .NET-типы.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: Symbolic execution is a popular technique of program analysis used for test generation and and formal software verification. One of the main problems solved by the symbolic execution engine is an exploration of program execution paths when input values are unknown. Type polymorphism and generic types arise the problem of the symbolic execution of nondeterministic runtime .NET types. The paper proposes a method for representing the nondeterminism of runtime types and type constraints generated by the symbolic execution engine and describes the compositional symbolic execution in the case of partially defined types. Also the algorithm for solving constraints on .NET types is presented.
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.lang: -
metadata.name: dc.subject
metadata.value: Системы типов
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Объектно-ориентированное программирование
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Логика первого порядка
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Статический анализ
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Символьное исполнение
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: Type systems
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Object-oriented programming
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: First-order logic
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Static analysis
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: Symbolic execution
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Compositional partially defined types in symbolic interpreter for the .NET Framework
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Композициональные частично определенные типы в символьном интерпретаторе для платформы .NET Framework
metadata.lang: ru_RU
resources.filename: diploma.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/13600/1/diploma.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 175,6 kB
resources.filename: reviewSV_Misonizhnik.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/13600/2/reviewSV_Misonizhnik.pdf
resources.format: Adobe PDF
resources.description: ReviewRev
resources.size: 135,48 kB
resources.filename: reviewSV_stt08459_Fedyukovich_Grigorij_Gennadevich_(reviewer)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/13600/4/reviewSV_stt08459_Fedyukovich_Grigorij_Gennadevich_%28reviewer%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewRev
resources.size: 9,52 kB
resources.filename: reviewSV_st007829_Kirilenko_YAkov_Aleksandrovich_(supervisor)(Ru).txt
resources.url: https://dspace.spbu.ru/bitstream/11701/13600/5/reviewSV_st007829_Kirilenko_YAkov_Aleksandrovich_%28supervisor%29%28Ru%29.txt
resources.format: Text
resources.description: ReviewSV
resources.size: 4,6 kB