Path selector quality analysis

[m-petuhov]

Description

Currently we have a lot of path selectors based on different heuristics, but there are no tools to analyze them

Context

A path selector is better relative to another in case it achieves the same or greater coverage in less time.

Idea

We want to implement statistics of coverage per time based on soot stmt's graph.

Implementation

We should develop:

• Сollecting statistics
• Parse statistics
• Visualize statistics