A lava planet is a type of terrestrial planet, with a surface mostly or entirely covered by molten lava. Situations where such planets could exist include a young terrestrial planet just after its formation, a planet that has recently suffered a large collision event, or a planet orbiting very close to its star, causing intense irradiation and tidal forces.

CoRoT-7b is an exoplanet orbiting the star CoRoT-7 in the constellation of Monoceros, 489 light-years from Earth. It was first detected photometrically by the French-led CoRoT mission and reported in February 2009. Until the announcement of Kepler-10b in January 2011, it was the smallest exoplanet to have its diameter measured, at 1.58 times that of the Earth and the first potential extrasolar terrestrial planet to be found. The exoplanet has a very short orbital period, revolving around its host star in about 20 hours.