symbiotic

symbiotic copied to clipboard

build: add all licenses into the archive

2

When building with `archive` or `full-archive`, copy also licenses from KLEE, LLVM, etc. into the archive.

mchalupa

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...

lzaoral

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` | ✅ |...

lzaoral

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...

lzaoral

Hi, in following test (from: [predator-regre](https://github.com/kdudka/predator/blob/master/tests/predator-regre/test-0158.c)): ```c #include #include int main() { union { void *p0; struct { char c[2]; void *p1; void *p2; } str; } data; // alloc...

vmihalko

CI: Enable CI for LLVM 3.9, 4.0 and 5.0

2

lzaoral

Depending in the optimization level, assertion violations in `inline` functions may not be detected

3

Code: * `main.c` ```c #include "inline.h" int main(void) { foo(); } ``` * `inline.h` ```c inline void foo(void) {} ``` * `inline.c` ```c #include void foo(void) { assert(0); } ```...

lzaoral

Code: ```c #include int a = (INT_MAX + 1) - 5; ``` IR: ```llvm @a = dso_local global i32 2147483643, align 4 ``` The easiest solution seems to be parsing...

lzaoral

For example, if we use a Debian based system with a suitable `ccache` symlink disguised as `clang` and without unversioned LLVM binaries in `PATH`, the initial sanity `clang` check in...

lzaoral

Or, I guess, any other function that is inserted into the program during transformations and is undefined (therefore it gets into the witness). We should use some functions like `__symbiotic_nondet_log`...

mchalupa