Skip to content

Analysis Configuration

Jump to bottom Edit New page
Kasper Luckow edited this page Dec 16, 2015 · 2 revisions

The concolic execution can be further configured by specifying an "analysis configuration". Analysis configurations can be set up independently of concolic execution tasks. This allows to maintain a set of profiles which can be used for several concolic analyses.

Each analysis configuration must have a unique (among analysis configurations) name (e.g., sample). The JPF configuration prefix for a configuration named <name> is jdart.configs.<name> (e.g., jdart.configs.sample). In the remainder of this section, we will refer to this prefix as <prefix>.

To specify that a certain analysis configuration should be used in a concolic execution named <cm>, the (non-prefixed) name of the analysis configuration needs to be specified as the concolic.methods.<cm>.config key. For example:

#!bash
concolic.method.cm1.config=sample
...
jdart.configs.sample... # analysis config
Add a custom footer
Add a custom sidebar
Clone this wiki locally