Displaying 1 result from an estimated 1 matches for "nnethercote".
2016 Nov 01
3
PVS-Studio analysis of LLVM code
Hi, Jonas!
On Tue, Nov 1, 2016 at 3:26 AM, Jonas Wagner <jonas.wagner at epfl.ch> wrote:
> Hi Eugene,
>
> I think this is really cool! You've convinced me to try out PVS on some of
> my own projects :)
>
> Of all the warnings presented in the article, there was one for which I
> thought it's a false positive. By default, LLVM is compiled without RTTI and
>