หินภูเขาไฟ
หินภูเขาไฟ (Volcanic rock)หรือ หินอัคนีพุ (Extrusive rock) คือหินอัคนีที่เกิดจากการเย็นตัวและตกผลึกของหินหลอมเหลวที่ไหลขึ้นมาบนผิวโลก ที่เราเรียกกันว่า ลาวา (Lava) ที่ไหลขึ้นมาสู่บนผิวโลกหรือใกล้ผิวโลกจากระเบิดของภูเขาไฟ จึงทำให้ลักษณะการเกิดหินอัคนีภูเขาไฟมีลักษณะที่มีเนื้อหินที่ละเอียด เพราะอัตราการเย็นตัวและตกผลึกของหินหลอมเหลวเป็นไปอย่างรวดเร็ว มีผลทำให้หินอัคนีภูเขาไฟมีเนื้อหินหรือขนาดผลึกที่ละเอียด สังเกตผลึกหรือแร่ประกอบหินด้วยตาเปล่าได้ยาก เช่น หินบะซอลต์ หรือในบางครั้งก็เป็นเนื้อแก้วที่ไม่มีรูปผลึก เช่น หินออบซิเดียน และ หินพัมมิซ
ป่าคดจาวัล
ป่าคดจาวัลเกิดขึ้นบนพื้นที่ของหิน ทำให้ยากต่อการพัฒนาให้เป็นพื้นที่เกษตรกรรม ดังนั้นพื้นที่ป่ายังไม่ถูกบุกรุกมากนักจนถึงศตวรรษที่ 20 ในปี 2000 การศึกษาของซง ชี-แท (Song Shi-tae) ได้ยืนยันว่าผืนป่าคดจาวัลส่วนใหญ่ตั้งอยู่บนหินลาวาชนิด AA และจากการลงพื้นที่ ทำให้เขาสามารถระบุพื้นที่ป่าคดจาวัลบนเกาะเชจูได้เป็น 4 แห่งใหญ่ อย่างไรก็ตามจากการศึกษาเพื่อเติมพบว่า ป่าคดจาวัลตั้งอยู่บนหินลาวาสองชนิด คือ อาอา (ʻAʻā) และปาโฮเวโฮเว (Pāhoehoe) ดร.ซง ชี-แท จึงเสนอชื่อใหม่คือ บิลเลลาวา (Bille Lava) อ้างอิงจากภาษาท้องถิ่นนั่นเอง