goblint / goblint/analyzer

Incremental data loading and saving in server mode

Open
#692 0 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

feature
Dominant language
OCaml
Stars
252
Forks
90
Avg merge
4d 1m
Merged PRs (30d)
19

Description

Suppose I have done a batch analysis and saved the results using incremental.save. Then currently there's no way to start server mode and load that incremental data I already have. Instead I have to do a full reanalysis in server mode.

Hence, it would be nice if incremental.load work also work together with server mode to load the initial state.

Additionally, it would be beneficial to have server mode requests for loading and saving incremental data at the user's discretion to (re-)load existing incremental data after startup or save satisfactory analysis results for future use.

Contributor guide

No contributing guide indexed for this repository

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by locating the implementations and request handling for incremental.save, incremental.load, and server mode. Trace how incremental state is initialized and how server requests are dispatched. Done means server mode can load an existing initial state and let users load or save incremental data through requests.

Written by the indexing model from the issue text.

Assessment

Tech stack
ocaml
Domain
tooling
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.