Release 2.3.0

[lukasrothenberger]

Performance:

• naive parallelization of pattern detection

Pattern detection:

• improved accuracy using an extended shadow memory

Interfaces:

• added wrapper scripts around clang and clang++ for easy integration of the static and dynamic analysis into build systems (e.g. CMake)

Code:

• improved CI, style checks and pre-commit hooks
• improved type-checking
• end-to-end tests added
• minor cleanup, formatting and refactoring

Experimental features:

• performance modeler for CPU multithreading
• suggestion of loop scheduling clauses
• integration of Microbenchmark results and ExtraP model generation