Re: NULL ptr dereferences found with Calysto static checker