Marek Chalupa
Marek Chalupa
> Slicing seems to be interprocedure. Can you set a parameter to control whether the output is the slice bitcode of the target function or the slice set bitcode of...
If you need to only see the result, you can try `-annotate slice` with `llvm-slicer`. It will produce a commented .ll file. Also, `llvm-dg-dump` has the switch `-func` that makes...
Thanks for looking into that. If you know how to fix this, can you prepare a pull request?
If `obj.empty()` is true, then obj _is_ NONE. The rest of the code assumes, that there is some object we want to match and if there is no object that...
If an instruction is sliced away, it means none of slicing criterions depend on it, but it doesn't matter if it accesses memory or not. It is true, though, that...
> Hi, I would like to ask whether the fault tolerance rate of DG is relatively small. What do you mean by fault tolerance? > Is there any way to...
Hi, could you fill in the commands that you used (clang, llvm-slicer) and their output? Thanks
And what version of dg you have.
Oh, actually I see. The line 6 is called only after line 13, so it has no effect on the value of b on line 13.
For the slicing criterion `15:b`, I already answered (with lines referring to the previous code) > Oh, actually I see. The line 6 is called only after line 13, so...