Back to overview

Renraku --- the One Static Analysis Model to Rule Them All

Type of publication Peer-reviewed
Publikationsform Proceedings (peer-reviewed)
Author Tymchuk Yuriy, Ghafari Mohammad, Nierstrasz Oscar,
Project Agile Software Analysis
Show all

Proceedings (peer-reviewed)

Title of proceedings IWST'17: Proceedings of International Workshop on Smalltalk Technologies
DOI 10.1145/3139903.3139919

Open Access

Type of Open Access Website


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.