Marek Chalupa
Marek Chalupa
DG does not support LLVM generated from C++, which seems to be the problem here -- that the invoke instructions were sliced incorrectly.
> I met the same issue when slicing LLVM IR generated from C++. Do you plan to support C++ in the future? @mchalupa I don't have time to work on...
Fix together with #248 .
So we've got the representation, but there are still some features missing: - [x] SDG representation - [ ] building SDG for LLVM - [x] intraprocedural - [x] interprocedural with...
For some reason, RDA cannot find a points-to set of a store operand. I'll take look into that.
Can you try the very latest version? And also if there is a difference with Release build? Thanks.
Hi, seems like a duplicate of #335 . Unfortunately, I haven't had time to fix this yet.
btw. https://github.com/polish-polish/dg/commit/4f89c424094ef9827dc3369b278e8c2daf874d93 has a workaround for this issue.
Could you compile DG with `-g -fsanitize=address,undefined` and post the output of running the llvm-slicer after that? P.S. the link for cxxfilt.0.0.preopt.zip seems to point to this issue, not to...
Thanks for the output. > It seems to be related to a recursive call in ReadWriteGraphBuilder. Yes, the problem is too deep recursion. I have a suspicion that the program...