[cfe-dev] how can i get ud-chain of variable in checker?

Artem Dergachev via cfe-dev cfe-dev at lists.llvm.org
Tue Feb 4 10:47:12 PST 2020



On 2/4/20 1:05 PM, Kristóf Umann via cfe-dev wrote:
> I tagged a few folks who could answer the first one :)
>
> On Mon, 3 Feb 2020 at 16:40, 종모님 via cfe-dev <cfe-dev at lists.llvm.org 
> <mailto:cfe-dev at lists.llvm.org>> wrote:
>
>     i did clang static analyzer checker guide and i build it. it works
>     successfully.
>
>     and i have a 2 question.
>
>     Q1. I know that the Clang tool provides a du-chain. how can i get
>     du(define-use)-chain in checker? - i need du-chain for analysis
>
>     Q2. Analyze a file with the specified checker is fail. normal
>     package checker is works.
>
>     |$clang --analyze -Xanalyzer -analyzer-checker=alpha test.c |
>
>     -> it works.
>
>     |$clang --analyze -Xanalyzer -analyzer-checker=alpha.core test.c |
>
>     -> it fail. (I guess the argument changed.)
>
>     i <https://i.stack.imgur.com/XTY5r.png>mage ::
>     https://i.stack.imgur.com/XTY5r.png
>
>
> The list of checkers need to be comma-separated.

`alpha.core` is a valid package though.

Based on how highlighting looks on the screenshot, i suspect there must 
be some invisible unicode whitespace symbol before the `.`.

>
> clang --analyze -Xanalyzer -analyzer-checker=alpha,core test.c
> ---OR---
> clang --analyze -Xanalyzer -analyzer-checker=alpha -Xanalyzer 
> -analyzer-checker=core test.c
>
> Mind that if you don't invoke the analyzer through the frontend (using 
> the -cc1 flag), the core package is always be enabled. If you do, you 
> definitely should enable it by hand!
>
>     my env is win 10/ LLVM,CLNAG 8.0/ include MinGW envPATH / vs2019
>
>     thank you for reading :3
>
>     _______________________________________________
>     cfe-dev mailing list
>     cfe-dev at lists.llvm.org <mailto:cfe-dev at lists.llvm.org>
>     https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev
>
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-dev



More information about the cfe-dev mailing list