Some static analyzer stuff