Folgende Arten gehören zur Gattung Petrosaurus

 
Petrosaurus repens
Petrosaurus slevini
Petrosaurus thalassinus