Marek Chalupa

Hi, > I slice it based on other_func(ret1), and want store of b to be sliced: I'm not sure I understand. `other_func(ret1)` is not part of the code, what do...

> I slice it based on other_func(ret1), and want store of b to be sliced Oh, you want forward slicing?

> Further, I wonder if it's possible to control the "strength" or "degree" of both forward and backward slicing. Sometimes I want %c to be replaced with an arbitrary argument,...

Hi, how do you run Symbiotic? For me, it finds both the assertions: ``` scripts/symbiotic ~/Downloads/test.c 8.0.0-llvm-unknown-symbiotic:8.0.0 INFO: Looking for reachability of calls to __assert_fail,__VERIFIER_error INFO: Optimizations time: 0.013025760650634766 INFO:...

What command did you use to run Symbiotic? If you used the `--sv-comp` flag, then the automatic initialization of uninitialized memory was turned off (https://github.com/staticafi/symbiotic/blob/main/lib/symbioticpy/symbiotic/options.py#L122). The relevant command-line option is...

> @trtikm since he has already created https://github.com/staticafi/sbt-dg. Oh, didn't notice. Well, then just let me know when it is ready to be referenced in DG as the main repo.

and is even buggy

Hi, > I would like to know if the issue lies with my slicing criteria, differences between rustc and clang, or something else? Thank you! I think the issue is...

DG does not support C++ in general. But to solve this particular issue might be possible, you could try forbidding slicing away functions that are mentioned in Comdat. Or event...

> Thank you for your answer. What should I do specifically, should I modify the source code of DG? Yes, that is what I meant. For starters, you may try...