Used splint to find non-portable and suspicious code