Marek Chalupa
Marek Chalupa
Oh, I thought that the output was from your clang-based tool. If the output is from the `llvm-to-source`, then it is normal that there are no declarations. `llvm-to-source` does not...
Are you interested in the top-level (register) variables, or do you want to get the memory allocations that were written/read?
Easier would be to get the memory allocations, but you can probably get also the variables. If you have `S_0 = load A` and `S_1 = store B to C`,...
Yes, try using `LLVMPointerAnalysis::getLLVMPointsTo` or `LLVMPointerAnalysis::getLLVMPointsToChecked` defined in `dg/llvm/analysis/PointsTo/PointerAnalysis.h` (so it should be callable on the `PTA` object from the builder.
yeah, but that needs better slicing algorithm (now we make all call-sites a dependence for the called function, so when we keep the function, we keep all callsites...)
Subissue of #242
See also #428 .
Hi, the SDG class is a replacement for DG class, but is not finished (nor used by any component of DG) yet. Is this problem present if you use `llvm-dg-dump`?
`return ret` does not modify anything, so it should have no data dependence edges. The control dep. edge between `main:: call mymalloc` and `OUT ARG malloc(5)` is there because the...
> Is there any difference between the two methods? Probably? I do not know. > is it correct? Correct in what sense? W.r.t the reachability analysis and backward slicing algorithms?...