Persistent database for incremental analysis

This module handles the maintenance of the persistent database needed for resuming a stopped incremental analysis.

Usage and interface

Documentation on exports

No further documentation available for this predicate.

Removes previous persistent data of an incremental analysis.

Usage 1:load_persistent_if_needed(Fs)

Restores the persistent analysis of tiles in list Fs if it existed and the flag inc_persistent is on.

  • The following properties should hold at call time:
    (list/1)Fs is a list.

Usage 2:load_persistent_if_needed(Fs)

  • The following properties should hold at call time:
    (atm/1)Fs is an atom.

No further documentation available for this predicate.

PREDICATEhas_dump/2
No further documentation available for this predicate.

Usage:set_inc_persistent(St)

This flags controls the storage of persistent information after the analysis.

  • The following properties should hold at call time:
    (inc_persistent_status/1)St Defines whether the analysis should be stored persistently.

inc_persistent_status(X)

X can be:

  • on: Analysis information will be stored in the same location as the analyzed code (as dump files). This is usefull when analysis scheduling involves loading and unloading modules. To perform an analysis from scratch, these files have to be manually removed.
  • off: No information is stored.

Usage:inc_persistent_status(St)

St Defines whether the analysis should be stored persistently.

    Usage:

    Makes incremental analysis persistent by saving it to disk.

      Documentation on imports

      This module has the following direct dependencies: