Lukáš Zaoral

Incorrect slicing of functions ending with a `noreturn` call.

1

Consider the following C program ```c #include #include void test_assert(int arg) { assert(arg); } int main(void) { test_assert(1); exit(0); } ``` and slice it like this: ```console $ clang -O0...

llvm-slicer.cpp fixes

3

Blocks: https://github.com/staticafi/sbt-slicer/pull/8

Function pointers passed to and called in a variadic function are ignored in the call graph

6

Consider the following C program: ```c #include void foo(void) {} void bar(int a, ...) { va_list vaargs; va_start(vaargs, a); void (*b)(void) = va_arg(vaargs, void(*)(void)); b(); va_end(vaargs); } int main(void) {...

Support automated creation of archives of git repositories with submodules

1

By default, projects seem to be archived only using the plain `git archive` which ignores git submodules thus the build may fail if it depends on them. Of course, one...

Make submodules track master branches

3

As agreed on Monday's (9. 5.) meeting, from now on the submodules should track changes in corresponding `master` branches only. Only these branches are now considered to be stable. If...

Support for LLVM 11/12/13/14

6

Issue to track changes needed to support LLVM 11, 12, 13 and 14: | tool | 11 | 12 | 13 | 14 | |-----|:------:|:---------:|:---------:|:---------:| | `dg` | ✅ |...

This should enable Dependabot so that it will automatically create PRs with CI or git submodule related updates, run the build and test-suite. So that we only have to merge...