C++静态分析，模板类

Question

我需要一个静态分析器，它可以找到模板类类型的未初始化变量members/variables ...。

任何分析仪都可以做到这一点吗？我尝试了clang/cppcheck和几个没有运气的人。

这里是我的测试代码：

enum class ViewMode 
{ 
One = 1, 
Two  = 2, 
Three = 3, 
Four  = 4 
}; 

class TestClass { 
public: 
    TestClass() {} 
}; 

template<typename T, bool C = std::is_copy_constructible<T>::value> 
class TemplateTest 
{ 
public: 

    TemplateTest() {} 

    TemplateTest(const T& value) 
    : value_(value) 
    {} 

    TemplateTest(const TemplateTest&) = delete; 

    TemplateTest(TemplateTest<T, C>&& rhs) 
     : value_(std::move(rhs.value_)) 
    {} 

    TemplateTest(T&& value) 
     : value_(std::move(value)) 
    {} 
private: 
    T value_; 

}; 

class StaticAnalysisTest { 

public: 
    StaticAnalysisTest() {} 

    void DoSomething() { 

    } 

private: 
    ViewMode viewMode_;  //this uninitialized warning is found 
    TemplateTest<ViewMode> viewMode2_; //this one is not 
}; 

我已经进一步蒸馏的问题：

class Foo 
{ 
private: 
    int m_nValue; 
public: 
    Foo() {}; 
    Foo(int value) : m_nValue(value) {} 
    int GetValue() { return m_nValue; } 
}; 

class Bar 
{ 
public: 
    Bar(){} 

    void DoSomething() { 
    Foo foo; 
    } 
}; 

这不会产生未初始化变量警告，但是当我注释掉：

//Foo(int value) : m_nValue(value) {} 

它

Answer 1

感谢您评价Cppcheck。警告，给出了第二个例子，如果你添加--inconclusive标志，例如：

class Foo 
{ 
private: 
    int m_nValue; 
public: 
    Foo() {}; 
    explicit Foo(int value) : m_nValue(value) {} 
    int GetValue() const 
    { 
     return m_nValue; 
    } 
}; 

class Bar 
{ 
public: 
    Bar() {} 

    static void DoSomething() { 
     Foo foo; 
    } 
}; 

从Cppcheck

输出

$ cppcheck --enable=all --inconclusive uninitmembervar.cpp 
[uninitmembervar.cpp:6]: (warning, inconclusive) Member variable 'Foo::m_nValue' is not initialized in the constructor.