This comprehensive corrosion model solves the evolution of the non-uniform microenvironment in cracked reinforced concrete and utilizes the environment-dependent homogenized corrosion kinetics to describe the electrochemical reaction on the rebar-concrete interface and solves for the potential and current fields. It explained the complex effects of cracks on corrosion, including corrosion reduction over time, crack size and healing effects.