Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)

Riouak, Idriss LU orcid ; Fors, Niklas LU orcid ; Öqvist, Jesper LU ; Hedin, Görel LU orcid and Reichenbach, Christoph LU orcid (2024)
Abstract

This is the software artifact for the paper "Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis" published in SLE 2024.
This artifact supports the evaluation of a new demand-driven algorithm for efficient circular Reference Attribute Grammar evaluation, specifically designed to improve performance of higly circular applications, e.g., dataflow analyses for Java. The artifact includes all necessary tools, dependencies, benchmarks, and scripts to reproduce the experiments presented in the corresponding paper. It provides a Docker-based setup for easy deployment, as well as detailed instructions for manual installation. The artifact allows users to explore and validate the proposed algorithm's performance... (More)

This is the software artifact for the paper "Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis" published in SLE 2024.
This artifact supports the evaluation of a new demand-driven algorithm for efficient circular Reference Attribute Grammar evaluation, specifically designed to improve performance of higly circular applications, e.g., dataflow analyses for Java. The artifact includes all necessary tools, dependencies, benchmarks, and scripts to reproduce the experiments presented in the corresponding paper. It provides a Docker-based setup for easy deployment, as well as detailed instructions for manual installation. The artifact allows users to explore and validate the proposed algorithm's performance improvements through real-world case studies, demonstrating significant speedups in dead-assignment and null-pointer dereference analyses compared to existing algorithms. While the artifact does not require specific hardware, reproducing the experiments as described in the paper may take one to two days of computation time. The artifact has been tested on Linux and macOS systems. (Less)
Please use this url to cite or link to this publication:
author
; ; ; and
organization
publishing date
type
Other contribution
publication status
published
subject
keywords
Artifact, Software Language Engineering, Docker Container, Bug Detection, Reference Attribute Grammars, Call graph construction
pages
1 pages
DOI
10.5281/zenodo.13365896
project
Explainable Declarative Programming Analysis
language
English
LU publication?
yes
id
43fce435-57b8-4e4f-8a31-5aaa3fe0d9ce
date added to LUP
2024-11-29 13:41:25
date last changed
2025-04-04 14:10:40
@misc{43fce435-57b8-4e4f-8a31-5aaa3fe0d9ce,
  abstract     = {{<br/>This is the software artifact for the paper "Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis" published in SLE 2024.<br/>This artifact supports the evaluation of a new demand-driven algorithm for efficient circular Reference Attribute Grammar evaluation, specifically designed to improve performance of higly circular applications, e.g., dataflow analyses for Java. The artifact includes all necessary tools, dependencies, benchmarks, and scripts to reproduce the experiments presented in the corresponding paper. It provides a Docker-based setup for easy deployment, as well as detailed instructions for manual installation. The artifact allows users to explore and validate the proposed algorithm's performance improvements through real-world case studies, demonstrating significant speedups in dead-assignment and null-pointer dereference analyses compared to existing algorithms. While the artifact does not require specific hardware, reproducing the experiments as described in the paper may take one to two days of computation time. The artifact has been tested on Linux and macOS systems.}},
  author       = {{Riouak, Idriss and Fors, Niklas and Öqvist, Jesper and Hedin, Görel and Reichenbach, Christoph}},
  keywords     = {{Artifact; Software Language Engineering; Docker Container; Bug Detection; Reference Attribute Grammars; Call graph construction}},
  language     = {{eng}},
  month        = {{08}},
  title        = {{Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis (Artifact)}},
  url          = {{http://dx.doi.org/10.5281/zenodo.13365896}},
  doi          = {{10.5281/zenodo.13365896}},
  year         = {{2024}},
}