Julian Erhard

This is already implemented with setting the option `sem.int.signed_overflow` `assume_wraparound`.

To merge this PR, it would be good to add a white list of tests that already exist. After this PR is merged, old tests can gradually be converted.

We discussed how to handle this at GobCon today. We considered two options: 1. Compile such an expression as a call to a special function like [__builtin_constant_p](https://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html) 2. Introduce a...

Is there a chance to recover failed participation from the data base? E.g. for [this exercise](https://artemis.ase.in.tum.de/course-management/351/quiz-exercises/13683) where no participations were registered for the 9th and 10th of May. If there...

Please add a test case for the cases that are fixed with this PR. Then we can consider merging this PR. The following issues may be related to the behavior...

Following a dicussion at Gobcon, I closed the PR #1256. We might look again at implementing this when having a look at the escaping of variables, for this see https://github.com/goblint/analyzer/issues/1544,...

@michael-schwarz and I had a look at the treatment of function calls in the c-2po analysis. We noticed the following: - C-2PO does not keep equalities between parameters and actuals....

I don't quite see what the problem with the failing regression test is? It seems like the ordering of race warnings somehow has changed in one test case?

~~@krusche As the exam review is currently running, and we would ideally finish it within the next days, it would be great if this issue could get assigned a high...

While this is a very interesting approach, it is not yet integrated into the other analyses. Thus, we close this for now.