Better PDG for undefined functions
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.