Generate quick fixes for errors that alternatives can be suggested for

[kruegers]

For most misuses, Cognicrypt may suggest correct alternatives via quick-fixes. For example: Regular typestate errors Generate additional call to expected method right before encountered call

End-of-Lifecycle typestate errors Generate addtional call to expected method right after last encountered call on object

Call to forbidden methods Replace call to forbidden method with alternative call

Constraints For some constraints, one may replace parameter values with what was expected.

Missing predicates Generate code snippet that would generate the missing predicate

We've already got some code related to quick-fix generation here.. Also check out issue #35 while working on this one here.

[Lonzak]

One addenum for the above:

Please support the feature that several quickfixes of the same type can be executed at once.

[kruegers]

Finally merging #35 into this one. It is no longer necessary to read the paper mentioned there as most of the work is being done by @AndreSonntag in his master thesis. In order to complete this issue, integrate his tool CogniCrypt_FIX into the plugin. As a first step, rather read the thesis.