prepare release 1.0.12
#90 add static analysis annotations
#90 clear a couple of warnings
#90 more checks