Combining Static Analysis Techniques for Program Comprehension Using Slicito

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F25%3A10501894" target="_blank" >RIV/00216208:11320/25:10501894 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1109/ICPC66645.2025.00048" target="_blank" >https://doi.org/10.1109/ICPC66645.2025.00048</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1109/ICPC66645.2025.00048" target="_blank" >10.1109/ICPC66645.2025.00048</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Combining Static Analysis Techniques for Program Comprehension Using Slicito

Popis výsledku v původním jazyce

While program comprehension tools often use static program analysis techniques to obtain useful information, they usually work only with sufficiently scalable techniques with limited precision. A possible improvement of this approach is to let the developer interactively reduce the scope of the code being analyzed and then apply a more precise analysis technique to the reduced scope. This paper presents a new version of the tool Slicito that allows developers to perform this kind of exploration on C# code in Visual Studio. A common usage of Slicito is to use interprocedural data-flow analysis to identify the parts of the code most relevant for the given task and then apply symbolic execution to reason about the precise behavior of these parts. Inspired by Moldable Development, Slicito provides a set of program analysis and visualization building blocks that can be used to create specialized program comprehension tools directly in Visual Studio. We demonstrate the full scope of features on a real industrial example both in the text and in the following video: https://www.slicito.com/icpc2025video.mp4

Název v anglickém jazyce

Combining Static Analysis Techniques for Program Comprehension Using Slicito

Popis výsledku anglicky

While program comprehension tools often use static program analysis techniques to obtain useful information, they usually work only with sufficiently scalable techniques with limited precision. A possible improvement of this approach is to let the developer interactively reduce the scope of the code being analyzed and then apply a more precise analysis technique to the reduced scope. This paper presents a new version of the tool Slicito that allows developers to perform this kind of exploration on C# code in Visual Studio. A common usage of Slicito is to use interprocedural data-flow analysis to identify the parts of the code most relevant for the given task and then apply symbolic execution to reason about the precise behavior of these parts. Inspired by Moldable Development, Slicito provides a set of program analysis and visualization building blocks that can be used to create specialized program comprehension tools directly in Visual Studio. We demonstrate the full scope of features on a real industrial example both in the text and in the following video: https://www.slicito.com/icpc2025video.mp4

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

<a href="/cs/project/GA23-06506S" target="_blank" >GA23-06506S: Pokročilá analýza a verifikace pro pokročilý software</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2025

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

2025 IEEE/ACM 33rd International Conference on Program Comprehension (ICPC)

ISBN

979-8-3315-0223-2

ISSN

2643-7171

e-ISSN

—

Počet stran výsledku

5

Strana od-do

382-386

Název nakladatele

IEEE

Místo vydání

New York, NY

Místo konání akce

Ottawa

Datum konání akce

27. 4. 2025

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—