[cfe-dev] Obtain symbolic values of some variables backward from some path-sensitive callback
Kristóf Umann via cfe-dev
cfe-dev at lists.llvm.org
Wed Nov 20 10:25:20 PST 2019
In LLVM, sure:
In Clang for C++ (or even C) code, none that I'm aware of. Its really not
far off, but I happen to be occupied with my thesis for a good long while :)
On Wed, 20 Nov 2019 at 17:00, Алексеев Кирилл <rldoc at yandex.ru> wrote:
> Thanks for you answer. Is there reaching definitions implementation in
> llvm or clang source (not in clang StaticAnalyzer)?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev