Inca: A dsl for the definition of incremental program analyses
Program analyses support software developers, for example, through error detection, code-
quality assurance, and by enabling compiler optimizations and refactorings. To provide real …
quality assurance, and by enabling compiler optimizations and refactorings. To provide real …
M3: A general model for code analytics in rascal
This short paper introduces M3, a simple and extensible model for capturing facts about
source code for future analysis. M3 is a core part of the standard library of the Rascal meta …
source code for future analysis. M3 is a core part of the standard library of the Rascal meta …
JavaDL: automatically incrementalizing Java bug pattern detection
A Dura, C Reichenbach, E Söderberg - Proceedings of the ACM on …, 2021 - dl.acm.org
Static checker frameworks support software developers by automatically discovering bugs
that fit general-purpose bug patterns. These frameworks ship with hundreds of detectors for …
that fit general-purpose bug patterns. These frameworks ship with hundreds of detectors for …
Automatic extraction of features and generation of feature models from java programs
R Damaševičius, P Paškevičius, E Karčiauskas… - … Technology and Control, 2012 - itc.ktu.lt
Feature modelling is a key technique for identifying common and variable features in
software (software families). The result of feature modelling is a feature model: a concise …
software (software families). The result of feature modelling is a feature model: a concise …
Streamlining control flow graph construction with dcflow
M Hills - International Conference on Software Language …, 2014 - Springer
A control flow graph (CFG) is used to model possible paths through a program, and is an
essential part of many program analysis algorithms. While programs to construct CFGs can …
essential part of many program analysis algorithms. While programs to construct CFGs can …
Critical evaluation of reverse engineering tool Imagix 4D!
Introduction The comprehension of legacy codes is difficult to understand. Various
commercial reengineering tools are available that have unique working styles, and are …
commercial reengineering tools are available that have unique working styles, and are …
An extensible framework for variable-precision data-flow analyses in MPS
Data-flow analyses are used as part of many software engineering tasks: they are the
foundations of program under-standing, refactorings and optimized code generation. Similar …
foundations of program under-standing, refactorings and optimized code generation. Similar …
[HTML][HTML] Mining structured data in natural language artifacts with island parsing
Software repositories typically store data composed of structured and unstructured parts.
Researchers mine this data to empirically validate research ideas and to support …
Researchers mine this data to empirically validate research ideas and to support …
[HTML][HTML] Reverse engineering tool based on unified map** method (RETUM): class diagram visualizations
In this research paper, we evaluate an assortment of tools and intend to investigate
multifarious characteristic of Imagix-4D Reverse Engineering Tool and on the basis of …
multifarious characteristic of Imagix-4D Reverse Engineering Tool and on the basis of …
The Notion of a Software Language
R Lämmel, R Lämmel - Software Languages: Syntax, Semantics, and …, 2018 - Springer
In this chapter, we characterize the notion of “software language” in a broad sense. We
begin by setting out diverse examples of programming, modeling, and specification …
begin by setting out diverse examples of programming, modeling, and specification …