Проверяем IronPython и IronRuby с помощью PVS-Studio

[vladon]

Немного не по теме (не .NET), по C++:

void f1()
{
    Object * object_ptr{ nullptr };
    {
        Object object{};
        object_ptr = &object;
    }
    use1(object_ptr); // UB
    return rand();
}

void f2()
{
    std::vector<std::string> v{"foo", "bar"};
    auto & v_ref = v[0];
    v.emplace_back("baz");
    use2(v_ref); // UB
}

PVS-Studio (и CppCheck) прекрасно детектят паттерны как в f1(), но не может сдетектить или хотя бы предупредить о возможном UB в f2(), я просто не силён в подобных продуктах, но такое же часто встречается…

[Andrey2008]

Да, у нас записано в списке дел подобные диагностики. Но до них мы пока всё никак не доберёмся.

[vladon]

А можно ли увидеть весь список планируемых дел? :-)

[Andrey2008]

Теоретически можно, но практического смысла в этом нет. Он ведётся исключительно для внутреннего использования.

[vladon]

Просто уж интересно взглянуть