Skip to content

Latest commit

 

History

History
34 lines (24 loc) · 1.32 KB

README.md

File metadata and controls

34 lines (24 loc) · 1.32 KB
Raw

SparseIDE

This repository contains the SparseIDE framework. SparseIDE is a scalable alternative to the original IDE framework, implemented on top of Heros IFDS/IDE Solver.

Publications

Preprint is available:
Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems (ICSE 2024)

Content

  1. SparseIDE implementation source code: SparseHeros
  2. Constant Propagation Analysis Client source code: SparseIDEClient
  3. ConstantBench microbenchmark test cases: SparseIDEClient/src/test/java/target/constantbench

Building the Client from the Source

  1. Install the dependencies for SparseIDEClient: run bash install_dependencies.sh under SparseIDEClient/dependencies
  2. Build the executable: run mvn clean install (Note that install will also run the correctness test cases on the ConstantBench)
  3. Find the executable jar, SparseIDEClient-0.0.1-SNAPSHOT-jar-with-dependencies.jar under SparseIDEClient/target

Using the SparseIDE Framework

To build and use SparseIDE:

  1. run mvn clean install in SparseHeros
  2. add the following dependency to your project:
<dependency>
    <groupId>de.upb.cs.swt</groupId>
    <artifactId>heros</artifactId>
    <version>1.2.3-Sparse-SNAPSHOT</version>
</dependency>