For one of the analysis we are doing internally, I need to determine
for a given statement what pointers have been dereferenced and how
many levels of dereference they have. Perhaps this is best solved
with treehydra, but the script is written in dehydra and I'm thinking
it may not be too hard to compute.
So, given:
T1 **p;
T2 ***q;
x = *p + foo (**q);
For that assignment statement, I would like to create something along
the lines of:
stmt.dereferences = { {symbol: p, dereferenceLevel: 1}, {symbol: q,
dereferenceLevel: 2} }
I think it's feasible to implement in dehydra, but I'm not quite sure
how or whether it would be an acceptable feature for it.
Thanks. Diego.
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
