Sarah Tilscher
Sarah Tilscher
In the following example an integer is written through a char pointer. The following assert should fail, because only part of the integer value was overwritten. But currently the assert...
As discussed in #731 the rename mapping introduced for detecting renames of local variables or formal parameters in the AST comparison can easily be passed through to the cfg comparison....
When benchmarking [zstd](https://github.com/goblint/bench/issues/16) I discovered that for some commits the runtime of the incremental analysis with reluctant destabilization was noticeable worse than for the basic incremental run. For these commits...
For several commits of zstd, the incremental analysis with extensive restarting throws a stack overflow exception: ``` vars = 0 evals = 0 narrow_reuses = 0 aborts = 0 Timings:...
This PR proposes to remove the respective dependencies/influences of an unknown from `side_dep`, `side_infl` and `infl` before (instead of in between the recursive calls) of `destabilize_with_sides`. It would make sure...
This PR arises from several incremental test cases that failed when enabling the cfg comparison (#835). With the grouping of globals (#836) and the bug fix in 6f2486ac0bd85fa97b8a0d7a45f73035975a3d87 a couple...
This PR a fix for the way globals are handled in the version comparison and when updating the ids. Globals are now identified only by their name. The associated declaration...
Currently three incremental test cases fail when the cfg comparison is activated. The first two throw a `Not_found` exception, for the third the result is not as expected. - [...
This PR improves the abstraction of the `cos` function if the argument is neither nan nor inf by - storing also the inverted relationship between arguments of math functions and...