Marek Chalupa

- [x] lazy data dependence analysis - [ ] lazy points-to analysis

Hi, > (a) it's difficult to generate a compliable slice and Yes, it is quite difficult to generate compilable slice in C as far as I know. `llvm-to-source` is just...

> For example, for the current criteria like line:variable, can I extend it and include the file name? No, at this moment you cannot use file name (you can provide...

Hi, currently, the only "correct" way is to create the graph again. It also depends on your transformations -- whether they add something or just remove some instructions, or move...

Now we have everything prepared (ids in nodes) for this change, so I'm marking this issue as a bug since now the data attribute is redundant and breaks thinks (cannot...

Hi, currently, there is no way how to get the dependence graph for the original C. But yes, you can get the references to lines from debugging information and create...

At this moment, I have no plan on extending support for functions from the standard library. However, it may change. Can you be more concrete where are you missing this...

We have moved here towards the declarative description of external functions. Could you post here a bit more details about the features that you are missing (what and how would...

Byt the way, reaching definitions analysis now supports custom modelling of functions, check e.g. https://github.com/mchalupa/dg/blob/master/include/dg/llvm/analysis/ReachingDefinitions/LLVMReachingDefinitionsAnalysisOptions.h#L27

The bitcode must be compiled with debugging information. The behavior is that it gives you the number of lines (and also the lines if the source code is passed as...