clarva-v0.4

Repaired some critical bugs that affected soundness of results (modulo Soot), involving the transitions in a program-property composition that can be pruned. Previously we were pruning by removing transitions with sources that cannot reach a bad state, however given the presence of epsilon transitions we have to also take into account previous states reachable with epsilon transitions.

clarva-v0.3

Optimised version of the control-flow analysis algorithm, and using Soot 3.3.0.

clarva-v0.2

Removed useless old libraries

clarva-v0.1

Added DATE to FSM library to project, and repaired script generating