A Generic Analysis Environment for Curry Programs

TL;DR

CurryBrowser is a versatile analysis environment for Curry programs that enables browsing, viewing different code formats, and analyzing properties of functions across modules, supporting integration of various analyses.

Contribution

It introduces CurryBrowser, a fully implemented, generic analysis environment for Curry that supports multi-format viewing and analysis integration.

Findings

Supports browsing through main and imported modules

Allows viewing modules in source, interface, and intermediate formats

Provides a generic interface for integrating diverse program analyses

Abstract

We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application written in Curry, i.e., the main module and all directly or indirectly imported modules. Each module can be shown in different formats (e.g., source code, interface, intermediate code) and, inside each module, various properties of functions defined in this module can be analyzed. In order to support the integration of various program analyses, CurryBrowser has a generic interface to connect local and global analyses implemented in Curry. CurryBrowser is completely implemented in Curry using libraries for GUI programming and meta-programming.