SCG News

Renraku — the One Static Analysis Model to Rule Them All

Yuriy Tymchuk, Mohammad Ghafari, and Oscar Nierstrasz. Renraku — the One Static Analysis Model to Rule Them All. In IWST’17: Proceedings of International Workshop on Smalltalk Technologies, 2017. Details.


Most of the static analyzers are monolithic applications that define their own ways to analyze source code and present the results. Therefore aggregating multiple static analyzers into a single tool or integrating a new analyzer into existing tools requires a significant amount of effort. Over the last few years, we cultivated Renraku — a static analysis model that acts as a mediator between the static analyzers and the tools that present the reports. When used by both analysis and tool developers, the single quality model can reduce the cost to both introduce a new type of analysis to existing tools or create a tool that relies on existing analyzers.

Posted by scg at 20 March 2018, 12:15 pm comment link

Replication Mechanisms for Reference Data

Tanja Leigh Küry. Replication Mechanisms for Reference Data. Bachelor’s thesis, University of Bern, March 2018. Details.


Growing numbers of applications interacting with each other facilitate the need to share data between various systems. The interconnected applications used to manage immigrant and asylee need the same reference data in order to consistently fulfil their purpose. This thesis examines the used replication mechanism requiring direct database access and proposes an improved design. By analysing the situation and validating alternative replication mechanisms that adhere to the defined architectural standards it was possible to propose two realistic approaches, one of which is already in development. A proof of concept using a message oriented middleware showed that extending the architecture concept might even be more future-oriented.

Posted by scg at 20 March 2018, 9:15 am comment link

JIT Feedback — what Experienced Developers like about Static Analysis

Yuriy Tymchuk, Mohammad Ghafari, and Oscar Nierstrasz. JIT Feedback — what Experienced Developers like about Static Analysis. In 26th IEEE International Conference on Program Comprehension (ICPC 2018), 2018. To appear. Details.


Although software developers are usually reluctant to use static analysis to detect issues in their source code, our automatic just-in-time (JIT) static analysis assistant was integrated into an Integrated Development Environment, and was evaluated positively by its users. We conducted interviews to understand the impact of the tool on experienced developers, and how it performs in comparison with other static analyzers. We learned that the availability of our tool as a default IDE feature and its automatic execution are the main reasons for its adoption. Moreover, the fact that immediate feedback is provided directly in the related development context is essential to keeping developers satis ed, although in certain cases feedback delivered later was deemed more useful. We also discovered that static analyzers can play an educational role, especially in combination with domain-specific rules.

Posted by scg at 15 March 2018, 1:23 pm comment link

A Shape Grammar Interpreter Using Local Coordinates For Subshape Detection

Lars Wüthrich. A Shape Grammar Interpreter Using Local Coordinates For Subshape Detection. Bachelor’s thesis, University of Bern, February 2018. Details.


Shape Grammars allow us to create complex and intricate recursive images by applying geometric transformations. Instead of rewriting strings as in text based grammars, the production rules directly operate on the geometry of a shape. However, there can be several possibilities where a given rule could be applied to a shape. The existing implementations and theoretical approaches assume that the decision where to apply a rule has to be made manually by the designer. In this work, various heuristics are considered to let the shape grammar interpreter run by itself with minimal user input at the beginning. In addition, a new method of subshape detection is presented based on point comparison in local coordinates, which is needed for the shape grammar interpreter to find subshapes to apply the rules to. This novel detection algorithm and several of the heuristics are implemented in a proof of concept interpreter and editor. They are used to create various images that would have been tedious to do in this detail by manual interaction with the interpreter.

Posted by scg at 22 February 2018, 2:15 pm comment link

The Moldable Editor

Aliaksei Syrel. The Moldable Editor. Bachelor’s thesis, University of Bern, February 2018. Details.


We present a scalable and moldable text editor modelled as a single composition tree of visual elements. It allows us to mix text and graphical components in a transparent way and treat them uniformly. As a result we are able to augment code with views by using special adornment attributes that are applied on text by stylers as part of the syntax highlighting process. We validate the model by implementing a code editor capable of manipulating large pieces of text; the Transcript, a logging tool being able to display non-textual messages; the Connector, an example dependencies browser and the Documenter, an interactive and live editor of Pillar markup documents.

Posted by scg at 13 February 2018, 2:15 pm 1 comment link
<< 1 2 3 4 5 6 7 8 9 10 >>
Last changed by scg on 14 August 2017