[PATCH] D131645: [clang][dataflow] Allow user-provided lattices to provide a widen operator

Thu Aug 11 09:55:55 PDT 2022

xazax.hun added a comment.

In D131645#3716508 <https://reviews.llvm.org/D131645#3716508>, @li.zhe.hua wrote:

> In D131645#3716464 <https://reviews.llvm.org/D131645#3716464>, @xazax.hun wrote:
>
>> probably you are already aware of most of this
>
> Actually, more likely than not I don't! I don't have a strong background in PL (or, really any background), so I'm really just learning as I go, mostly from talking to @ymandel and reading through Introduction to Static Analysis <https://mitpress.mit.edu/9780262043410/> (I'm still struggling through Chapter 3!).

That is a really great book, I liked it a lot :) I implemented a small interpreter + static analysis framework for the graphical language in the book: https://github.com/Xazax-hun/domains
It is still half-baked, but it is doing something and can generate some ugly graphics.

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D131645/new/

https://reviews.llvm.org/D131645