That would be lava rock, can be used in either salt or freshwater, our brackish tank has a lot of lava rock in it because some pieces have some REALLY good caves.
I would soak them in water for a few hours, change the water, soak, change the water, soak, etc.... Salt probably made its way deep into the rock but should be totally removable with soaking method.