Julian Erhard

Regarding our discussion at today's Gobcon, whether it suffices to exclude that the abstract value for the artificially introduced loop counter variable is top: As for an artificial loop counter...

>Does this now also fix the case from https://github.com/goblint/analyzer/issues/1671? Yes, it does, I also merged master with the Bitfielddomain in here and added the test case as `37/16`. Thus, this...

@michael-schwarz Brought up at todays Gobcon that as this is using the pathsensitivity functor, this may lead to a quadractic computational cost, as all iterations yet considered have to be...

@sim642 In the GobCon today, you mentioned that you want to have a look at this PR and potentially cherry-pick some changes, before closing this. (As we are currently not...

One should check whether compiling random C code can have malicious effects.