[vtk-developers] clang undefined behaviour sanitizer overview

Sean McBride sean at rogue-research.com
Tue Mar 5 20:02:56 EST 2013


On Fri, 1 Mar 2013 17:46:24 -0500, Sean McBride said:

>As of tonight, I'm turning on "-fsanitize=unreachable,return,vla-bound"
>on Rogue7's debug build.  These checks currently find no problems, so
>should not upset our newfound greenness. :)

Tonight I'm adding "-fsanitize=shift,bool,integer-divide-by-zero,object-size" because, as of now, they no longer report any problems either.

That's 7 of 15 ubsan checks now enabled.

Cheers,

-- 
____________________________________________________________
Sean McBride, B. Eng                 sean at rogue-research.com
Rogue Research                        www.rogue-research.com 
Mac Software Developer              Montréal, Québec, Canada





More information about the vtk-developers mailing list