CodeProber

CodeProber is a live exploration tool for program analysis results. It has been specifically integrated with JastAdd, but can be used with other tools/metacompilers as well.

Code

CodeProber is open source, and available on Github at https://github.com/lu-cs-sde/codeprober/.

Usage

Please refer to the README for instructions on how to download and run CodeProber.

Demo

CodeProber was displayed at The Ninth Workshop on Live Programming, at ACM SIGPLAN SPLASH, Cascais, Portugal, 2023. The video is available on YouTube at: https://www.youtube.com/watch?v=_ZTv_Li1f_g.

Publications

CodeProber is introduced, evaluated or described in the following publications:

Alaküla, Anton Risberg. "Property Probes: Live Exploration of Source Code Analysis." (2024)
Alaküla, Anton Risberg, et al. "Property probes: Live exploration of program analysis results." Journal of Systems and Software 211 (2024): 111980.
Risberg Alaküla, Anton, et al. "Property Probes: Source Code Based Exploration of Program Analysis Results." Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering. 2022.

Some examples of publications which reference, build upon or in other ways make use of CodeProber are:

Riouak, Idriss. "Towards Declarative Specification of Static Analysis for Programming Tools." (2024).
Hardt, Johannes, and Dag Hemberg. "JastAdd Bridge: Interfacing reference attribute grammars with editor tooling." (2024).
Lundager, Mark, and Andreas Berqvist. "Finding and Resolving Common Code Style Errors in Java." (2024).