analyzer
analyzer copied to clipboard
goblint
Static analysis framework for C
The pinned performance optimizations have finally been released on opam, so we can get rid of the pin. ### TODO - [ ] Merge GobView lock file update.
Extracted from #1392: > Remove `TODO` _only if_ passing thanks to analysis improvement. Otherwise improvement is unsound from a bug. #### update_suite incremental ast - [ ] Excellent: ignored check...
Based on the delayed widening from #1483, we could easily implement a domain lifter for narrowing that applies `meet` at most a fixed number of times. This makes it possible...
In the epic saga of problems with both branches being dead in the relational analysis, we proudly present the next example: ~~~C // SKIP PARAM: --set ana.activated[+] apron --set ana.relation.privatization...
Currently, malloc blobs are syntactical globals, i.e., they become shared between threads upon their creation. However, additional such variables can be created after having entered multi-threaded mode. Maybe it would...
> /home/goblint/michael-schwarz-dissertation/analyzer/apronPrecCompare /home/goblint/michael-schwarz-dissertation/bench/bench_result/wrk.box.prec /home/goblint/michael-schwarz-dissertation/bench/bench_result/wrk.oct.prec /home/goblint/michael-schwarz-dissertation/bench/bench_result/wrk.cluster12.prec Does not terminate after more than 35h and gobbling up some 40GB of RAM, even though the individual analyses all terminated within 15min.
I tried to install Goblint on an Ubuntu 24.04 machine following our instructions and it seems there is some issue with bubblewrap on these machines. ``` #=== ERROR while compiling...
In #1444 a bug ignoring external initializers was removed fixing an unsoundness. However, together with https://github.com/goblint/analyzer/commit/bdc1eec5883ff3819479e891d5305f5c39d96c4b, we are now sound for most programs, except those that use specific variable names:...
# Description This PR adds widening gas to the td3 solver. Widening gas permits an unknown to grow N times and still be combined with the regular join. Only once...
