[new release] goblint (2.2.0)

[sim642]

Static analysis framework for C

• Project page: https://goblint.in.tum.de
• Documentation: https://goblint.readthedocs.io/en/latest/

CHANGES:

• Add setjmp/longjmp analysis (Soundly handle setjmp and longjmp goblint/analyzer#887, Analysis of longjmp/setjmp goblint/analyzer#970, Refactor setjmp/longjmp analysis goblint/analyzer#1015, Autotuner for longjmp goblint/analyzer#1019).
• Refactor race analysis to lazy distribution (Refactor and fix race access distribution goblint/analyzer#1084, Use TrieDomain to distribute accesses to contained fields goblint/analyzer#1089, Make access outer distribution lazy goblint/analyzer#1136, Add missing accesses to VLA lengths goblint/analyzer#1016).
• Add thread-unsafe library function call analysis (Detect calls of thread-unsafe functions as races goblint/analyzer#723, Detect calls of thread-unsafe functions as races goblint/analyzer#1082).
• Add mutex type analysis and mutex API analysis (Maintain more precise lockset for recursive mutexes goblint/analyzer#800, MayLock Analysis & Sanity Checks of Mutex Usage & Analysis of Mutex Types goblint/analyzer#839, Track multiplicities for mustLocks goblint/analyzer#1073).
• Add interval set domain and string literals domain (Add a new intDomain that deals with sets of intervals goblint/analyzer#901, Add Interval Set domain for Interval Set analysis goblint/analyzer#966, Add Interval Set domain for Interval Set analysis goblint/analyzer#994, String Literals Domain goblint/analyzer#1048).
• Add affine equalities analysis (Affine Equalities goblint/analyzer#592).
• Add use-after-free analysis (Use-After-Free (UAF) Analysis First Iteration goblint/analyzer#1050, Multi-threaded UAF Analysis goblint/analyzer#1114).
• Add dead code elimination transformation (Dead code elimination transformation goblint/analyzer#850, Dead Code Elimination Transformation goblint/analyzer#979).
• Add taint analysis for partial contexts (Track written lvalues per function and use this information in Base.combine goblint/analyzer#553, Taint analysis to improve the precision loss of partial contexts goblint/analyzer#952).
• Add YAML witness validation via unassume (Unassume witness invariants during solving goblint/analyzer#796, Thread-modular witnesses benchmarking fixes goblint/analyzer#977, Witness invariants for trivial arrays with all_array_index_exp goblint/analyzer#1044, Witness invariants for arrays and principled handling of unknown indices goblint/analyzer#1045, Unassume benchmarking fixes goblint/analyzer#1124).
• Add incremental analysis rename detection (Detect renamed functions and global variables.  goblint/analyzer#774, Extend cfg comparison with local rename mapping goblint/analyzer#777).
• Fix address sets unsoundness (Unsound address set must-not-equality check in base goblint/analyzer#822, AddressSet.meet: Convert offsets to intdomain values to check overlap goblint/analyzer#967, Unsound address set equality with mismatching offsets goblint/analyzer#564, Make address semantic equality more precise for 0-index goblint/analyzer#1032, Address domain bucket conflict with first field offset goblint/analyzer#998, Remove unnecessary lval domain special cases goblint/analyzer#1031).
• Fix thread escape analysis unsoundness (var_eq analysis is unsound when analyzing multithreaded code goblint/analyzer#939, Handle escaping in varEq analysis goblint/analyzer#984, Escaped variables are not communicated between threads goblint/analyzer#1074, ThreadEscape: Collect set of escaping threads flow-insensitively goblint/analyzer#1078).
• Fix many incremental analysis issues (Function forward-declarations mishandled in incremental compare and update goblint/analyzer#627, Group globals for comparison and updating of ids goblint/analyzer#836, Three incremental tests failing with the cfg comparison goblint/analyzer#835, Fixes for the incremental analysis with cfg comparison goblint/analyzer#841, Crash with reluctant incremental analysis on figlet goblint/analyzer#932, compinfo keys not updated incrementally goblint/analyzer#678, Incremental: Reset ckeys for anonymous structs and unions goblint/analyzer#942, Reluctant incremental analysis does not reach fixpoint and is unsound in some cases goblint/analyzer#949, Fix Unreached Fixpoint in Reluctant Incremental Analysis goblint/analyzer#950, Fix: not found global should be added not removed goblint/analyzer#957, Incremental goblint crashes with Goblint_lib.Lattice.BotValue on some commits of chrony and zstd goblint/analyzer#955, Fixpoint not reached in incremental analysis on some commits of chrony goblint/analyzer#954, Only pass stable reluctant_vs to postsolver goblint/analyzer#960, Reluctant incremental Goblint does not reach fixpoint on some commits of chrony goblint/analyzer#959, Fix incremental write-only restarting for side effects from deleted nodes goblint/analyzer#1004, Allow incremental octagon Apron analysis goblint/analyzer#558, Clear TD3 sides when not reusing wpoint incrementally  goblint/analyzer#1010, Fixpoint not reached in some incremental runs on chrony goblint/analyzer#1091).
• Fix server mode for abstract debugging (Goblint server mode crashes with unexpected requests goblint/analyzer#983, Fix various server mode crashes goblint/analyzer#990, Handle pseudo return nodes in server mode cfg/lookup request goblint/analyzer#997, Handle pseudo return nodes in Node.of_id and improve their location goblint/analyzer#1000, Add arg/lookup request to server mode goblint/analyzer#1001, Add global-state request to server mode goblint/analyzer#1013, arg/eval and arg/eval-int give wrong results for globals after reanalysis goblint/analyzer#1018, Fix incremental invariant parser for server mode goblint/analyzer#1017, Recursive functions cause arg/lookup to return edges that point to nodes that don't exist goblint/analyzer#1026, Exclude pruned witness lifter prevs from ARG construction goblint/analyzer#1027).
• Add documentation for configuration JSON schema and OCaml API (Render options JSON schema to Readthedocs goblint/analyzer#999, API documentation goblint/analyzer#1054, Add odoc API documentation goblint/analyzer#1055, Add documentation about Goblint's transfer functions goblint/analyzer#1053).
• Add many library function specifications (Add library function specifications for bench pthread programs goblint/analyzer#962, Add missing library functions for Concrat benchmarks goblint/analyzer#996, Add option lib.activated goblint/analyzer#1028, Convert library functions to new specifications goblint/analyzer#1079, Incorrect memmove library function specification goblint/analyzer#1121, Add support for quick_exit goblint/analyzer#1135, Library functions that are used in the silver searcher including some from the pcre library goblint/analyzer#1138).
• Add OCaml 5.0 support (Upgrade to OCaml 5.0.0 goblint/analyzer#1003, Fix compilation on OCaml 5.0.0~rc1 goblint/analyzer#945, Fix OCaml 5.0 Apron compatibility goblint/analyzer#1162).

[sim642]

Closing this because I'll do a new release which hopefully fixes some test failures.