·
13 commits
to main
since this release
afe8628
This commit was signed with the committer’s verified signature.
The key has expired.
schwitanski
Simon Schwitanski
- Add new category 'misc' that adds test cases challenging for static tools
- Aliasing between buffers introduced in a function (interprocedural analysis required for detection)
- Deeply nested function calls (buffers still have to be attributed correctly by an analysis within the deeply nested function)
- Function pointers (difficult to determine statically which function is called)
- External function calls that generate aliases (here: memcpy)
- The 'misc' tests are currently only generated for MPI RMA.
- Use pointer variable in MPI RMA test case template (required for some 'misc' test cases)