Julian Erhard
Julian Erhard
## Findings @michael-schwarz and I did some runs of Goblint (`master`) on the SQLite amalgamation, and investigated performance using `perf` and the [firefox-profiler](https://profiler.firefox.com/). We looked at the high run time...
Values that are physically equal or, for `HConsed` have the same tag, are also `leq`. We should exploit this by implementing a short-circuiting version of `leq` for `HConsed`.
### Problem: Precision loss in combine with partial contexts When analyzing functions with partial contexts, the final state of a function `f` thus can contain abstract values joined over multiple...
Support for incremental runs with the octagon Apron analysis should be added. Currently, when `incremental.save` is activated, the serialization of Apron analyses results fails, with the following error: `Fatal error:...
When looking at #468, we found that there was a case when operations on the `IntDomTuple` yielded values with no active domain, which resulted in precision loss somewhere else, which...
The `EvalAssert` transformation is currently not able to produce C-output for the `bench/coreutil` programs, caused by several problems. Todo: - [x] Fix crash that occurs because some globals are not...
When activating the `EvalAssert` transformation, goblint crashes on some programs when the transformation is performed. In particular, this happens on all of the `bench/coreutil` programs. Example command-line: ``` ./goblint --trans.activated...
## Goal The interval domain should be improved by supporting wrap-arounds when possible, instead of going to `top` when a wrap around occurs. For `unsigned` integer types, handling wrap-arounds precisely...
This is work in progress on implementing the modular function summaries. The (internal) project documenting the tasks can be found [here](https://github.com/orgs/goblint/projects/12)
For the analysis of large programs, the autotuner should set the analysis to be context-insensitive, following the heuristic that context-insensitive analyses tend to terminate more quickly.