[cfe-dev] Obtain symbolic values of some variables backward from some path-sensitive callback

[Kristóf Umann via cfe-dev]

In LLVM, sure:
https://llvm.org/doxygen/classllvm_1_1ReachingDefAnalysis.html

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>