[cfe-dev] static analyzer status?

Lou Wynn via cfe-dev cfe-dev at lists.llvm.org
Thu Sep 13 15:00:17 PDT 2018


I have watched the Building a Checker in 24 Hours slide
(http://llvm.org/devmtg/2012-11/Zaks-Rose-Checker24Hours.pdf). It
mentioned that one limitation of the Constraint Solver is that it can't
handle multiple symbols (page 83). The talk was given in 2012. I'm
wondering if this limitation has been removed now in 2018.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-dev/attachments/20180913/c1fe2335/attachment.html>

More information about the cfe-dev mailing list