Get all data sharing dependence

[fgnm]

Hi, great work! I'm trying to extract all data sharing dependence between nodes in the PDG. With data sharing I mean that if I have two statements S1 and S2, if they both appear in the same execution path thus they share some data, for example: If I have this code

public void main() {
        String str = read();
        boolean valid = isValid(str);
        if (valid) {
            foo(str);
        } else {
            bar(str);
        }
    }

the function read is linked to: isValid, foo and bar because data dependence (i.e. I found and Edge of type Data in the PDG), but I need to track also that the function isValid is linked to foo and bar because data sharing. Indeed the result of isValid choose which function call. Can you help me with that? Thank you

[nhjclxc]

Hello, I now want to implement the data type dependency of the source code through this project. Do you know how to achieve it?