Marvin Vogel

@svenfeld and me investigated issues on integrating the new Soot version 4.3.0. We found out the following: ### Some initial `AnalysisSeedWithSpecification` are not generated E.g. having a minimal example for...

It's a wrong fix I did there, should be more like: ```` if (negatives.size() == alternatives.size()) { if (alternatives.parallelStream().allMatch(e -> e is in list of ensured predicates) { return false;...

Here a little update: I created a rule as follows: ``` SPEC java.security.SecureRandom OBJECTS byte[] seed; byte[] next; EVENTS c1: SecureRandom(); Cons := c1; nB: nextBytes(next); Ends := nB; ORDER...

> * [ ] Can you change the icons with their respective explanation into one clickable button? Buttons cannot hold a layout. Hence it is not possible to put all...

> @marvinvo Is the screen sizable? If so, do we have scrollbars or a dynamic button layout so everything can be visible. E.g in the last screenshot it looks like...

Well, I don't found a fix yet, but I have an idea where it should be debugged: As far as I know, CryptoAnalysis will generate a seed for each object....

But with the whitelisting approach in mind, that should actually throw an typestate violation instead of constraint violation. In instance, if a method does not appear in the order section,...