Как я могу получить UD-цепочку переменной? - PullRequest
0 голосов
/ 02 февраля 2020

Я сделал Clang Stati c Руководство по проверке анализатора, и я создаю его. это работает успешно.

и у меня есть 2 вопроса.

Q1. Я знаю, что инструмент Clang обеспечивает двойную цепь. как я могу получить du (define-use) -цепь в контролере? - Мне нужна цепь для анализа

Q2. Проанализировать файл с указанной проверкой не удалось. Обычная проверка пакетов работает.

$clang --analyze -Xanalyzer -analyzer-checker=alpha test.c

-> работает.

$clang --analyze -Xanalyzer -analyzer-checker=alpha.core test.c

-> не работает. (Полагаю, аргумент изменился.)

alpha.core по умолчанию для проверки

мой env is win 10 / LLVM, CLNAG 8.0 / включая MinGW envPATH / vs2019

спасибо за чтение: 3

...