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

Although integrated development environments provide developers with code structure analysis tools, program comprehension tasks still require significant manual effort. A promising direction to solve this problem is Moldable Development, a way of programming which encourages developers to build custom program visualization tools during software development process. To foster this practice within the .NET development community, we provide a tool called SLICITO, capable of analyzing and visualizing a C# program structure in a highly configurable way. Since SLICITO is implemented as an extension to computational notebooks, it takes advantage of their interactivity and visualization principles used for data analysis, and applies them in the field of program comprehension. In contrast to similar tools for C#, SLICITO is more flexible and provides more detailed information in code inspection. Its usage is shown in a video located at https://www.slicito.com/icpc video.mp4.

Compiling dynamic languages to stack-based intermediate representations used in platforms such as. NET and Java proved to be useful, mainly due to the enhanced interoperability and security. To produce the best intermediate code possible, current approaches perform a detailed flow-sensitive type analysis of the original code and utilize its results to choose the most efficient operations of the target platform. As known from the traditional compilers, the standard way to further increase program performance is using a set of transformations, which increase its efficiency while preserving its semantics. However, these transformations are not directly usable in the compilers of dynamic languages, because these operate on a higher level of abstraction; moreover, dynamic languages pose specific challenges, such as those stemming from weak typing. In this paper we propose a set of transformations which fit into the architecture of a dynamic language compiler, fitting well together with the type analysis. For evaluation purposes, we implemented them to Peachpie, a compiler of PHP to. NET. Applying the transformations during compilation of WordPress resulted in improvement of 0.6 % in the generated assembly size, 1.8% in CPU time and 0.8% in memory consumption.