ID0001106: **This issue was created automatically from Mantis Issue 1106. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0001106 | Frama-C | Plug-in > slicing | public | 2012-02-24 | 2012-04-18 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Anne | **Assigned To** | Anne | **Resolution** | won't fix | | **Priority** | low | **Severity** | feature | **Reproducibility** | have not tried | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### Description : First of all, this is not related to slicing, but I didn't find a PDG category in the BTS :-( It would be great to have intermediate nodes to represent inputs related to each parameter. For instance: Suppose that : int f (int * p, int * q); has \result \from p, q, *p, *q; and finally, the computed dependencies are : \result \from p, q, a, b, c, d; At the moment, there is no way to know whether a,b,c,d comes from p or q. So I think that an intermediate node representing (*p) with a dependence on p and let say a and b would be interesting. But I don't know if this information is available somewhere, and/or how difficult it is to have it.