refactoring uninitialized reads checks to analyzers