Tracking Benchmark Changes for Thesis

[michael-schwarz]

The branch I used to benchmark for my thesis diverges at d8be117.

This draft MR is not intended to be merged but should allow me to keep an overview of the changes and see what should be maybe back-ported.

Back-ported:

• Typos (c28ca49, e192c8e, 5073759, c5d2b36)
• Traces: Enable def_exc_widen_by_join for reproducability for SAS '21 results 3e13e04

To consider:

• Way to supply suffix to name of privPrecCompare output
• Quick fix for Crash on pthread_mutex_lock with complicated argument #1421
• Do not colorize privPrecCompare output to stderr (in case it is saved to somewhere)
• exp.priv-prec-dump-proj option to project precision of dumps to enums, intervals, and def_exc for comparison between different activated domains
• Warn instead of crash if an argument to a string function does not evaluate to an address.
• More useful stats output by privPrecCompare #1431
• 22fdef6 (adapt traces and traces-rel configurations to be more similar)
• 1b180d4 (Add bot_in_blob_leq_bot so bot and Blob(bot) compare equal in privPrecCompare)
• Cherry-picked Fix catch-all exception handlers #1435
• Fix to force refinement to only happen when dumping precision comparisons (to avoid Int domain refinement causes fixpoint error #1005)
• Cherry-picked BaseAnalysis: For non-definite AD, join over **all** components not just cpa in set #1458
• Cherry-picked Make meet in AddressDomain more precise #1468
• Manually included Union: meet in Field: Do not raise Uncomparable when one arg is Top #1471 1471
• Cherry-picked Fix global_init for escaped globals in mutex-meet-tid cluster configuration #1481
• Cherry-picked Fix relation analysis ignoring extern inits #1444
• Cherry-picked Fix mutex-meet for malloc after thread creation #1492