Xazax-hun wrote:

> Do you happen to know any references to similar work, maybe in CSA?

CSA will also remove dead symbols from the path constraints (which is akin to 
the flow condition in path-sensitive analysis). But this definitely introduced 
some challenges, there was a recent discussion about some of the fallouts here: 
https://discourse.llvm.org/t/keeping-the-extent-symbol-alive/76676 

https://github.com/llvm/llvm-project/pull/82611
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to