Merge branch 'master' into gh-pages

.github/workflows/acceptance-tests.yml

@@ -5,6 +5,8 @@ on:
     branches:
       - master
   pull_request:
+    branches:
+      - master
 
 env:
   CARGO_TERM_COLOR: always

CHANGES.md

@@ -1,3 +1,12 @@
+0.8 (2024-02)
+===
+
+-   Improve logic and context information generation of CWE-416 (use-after-free) check (PRs #423, #429)
+-   Enforce expression complexity limit to reduce RAM usage (PR #428)
+-   Implement tracking of nested parameters to improve runtime and analysis quality (PR #432)
+-   Reduce amount of false positives generated by CWE-416 check (PR #433)
+-   Added check for CWE-337: Predictable Seed in Pseudo-Random Number Generator (PR #439) 
+
 0.7 (2023-06)
 ====
 

CONTRIBUTORS.md

@@ -4,7 +4,7 @@
     -   Original author, maintainer 2018-2019
 
 -   [Nils-Edvin Enkelmann](https://github.com/Enkelmann)
-    -   Maintainer since 2020
+    -   Maintainer 2020-2024
 
 -   [Jörg Stucke](https://github.com/jstucke)