[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...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20191120/e1e66751/attachment.html>

More information about the cfe-dev mailing list