Priyanka Bose

@montyly @0xalpharush I am planning to start implement this context sensitivity for data dependency. How should I proceed with that? Any specific process to follow here?

@0xalpharush Thanks a lot for the detailed explanation. I think I get the essence of the idea. I will still go over the ["call strings approach"](https://www.cse.psu.edu/~trj1/cse598-f11/docs/sharir_pnueli1.pdf) and the corresponding lecture...

@montyly I am planning to start implementing this in Slither. Just need a few clarifications. When you say that the "must depend on" mode should should only consider the dependencies...

I have a clear idea now where to start after talking to @0xalpharush. I will start with the constants first.