adriaanjacobs
adriaanjacobs
Hi! When running `AndersenWaveDiff` on something like nginx, calls to `dlopen` are frequently included in the points-to sets of dereferenced pointers. However, it seems to me like the return value...
When iterating the `pag->getEdgeSet(PAGEdge::PEDGEK::Store)` set, only edges are found of kind `PAGEdge::PEDGEK::Store`, as expected. However, some of them seem to have no value of type `Instruction`, as `getInst()` returns NULL....
Hi We've submitted patches in the past to allow extending the ExtAPI programmatically with new entries to describe allocation wrappers (#821, #1083), and would like to continue updating that functionality...
Debugging an unsound points-to set led me on a wild goose chase of ExtAPI functions that do not seem to be modeled entirely according to the semantics of the man...
Hi As discussed in #1680, this patch largely reverts #1616, which mistakenly seems to refer to statically-allocated objects as "stack-allocated objects". As far as we can tell, this lead to...
Is it possible that .gitmodule files are not anonymized? I've disabled both "keep links" and added parts of the submodule URL to the censor list, but the file remains intact....
Hi! Thanks for the useful utility, I've been using it for a while now. Is it possible that I can't seem to be able to dump variable contents, though? For...