Marek Chalupa
Marek Chalupa
Could you post here/send me a link to the bitcodes that trigger this issue (the link above is still not working). Thanks!
These are "only" leaks, the log does not show any crash. So the crash is not present anymore? What was the version of DG that you used? Was it the...
Do the commit 7692458 fixes the issue for you?
Hmm, I guess there can be a cycle in reallocated memory longer than 1... Thanks for reporting it.
This looks like a bug, thaks for reporting it. For both `-c 7:z` and `-sc 7#z` the criteria get parsed correctly, so the problem will be in their matching: ```...
It is hard to remember, this is one of the oldest parts of DG (the comment is not very helpful with this, shame on me...). I think this edge is...
Yeah, well our PDG based algorithm has the same calling context issue at this moment. Yes, the pointer analysis is more evolved. Dg has two pointer analyses: flow-insensitive and flow-sensitive....
- Ad 1) In dg we use field-sensitive Andersen's analysis (the field sensitivity is configurable). There's no paper about measuring only the pointer analysis, but in the theses I linked...
Oh yeah, I meant there's no research paper comparing _our_ pointer analyses.