ซอฟต์แวร์ตรวจสอบโค้ด คือ ซอฟต์แวร์คอมพิวเตอร์ที่ช่วยให้มนุษย์ค้นหาข้อบกพร่องในซอร์สโค้ด ของโปรแกรม และรับประกันคุณภาพของซอร์สโค้ด^{[ 1 ]}สามารถแบ่งออกได้เป็นสองประเภท:

• ซอฟต์แวร์ตรวจสอบโค้ดอัตโนมัติ จะตรวจสอบ โค้ดต้นฉบับเทียบกับชุดกฎที่กำหนดไว้ล่วงหน้าและสร้างรายงาน^{[ 2 ]}
  • เบราว์เซอร์ประเภทต่างๆ แสดงภาพโครงสร้างของซอฟต์แวร์และช่วยให้มนุษย์เข้าใจโครงสร้างของซอฟต์แวร์ได้ดียิ่งขึ้น ระบบเหล่านี้มุ่งเน้นไปที่การวิเคราะห์มากกว่า เนื่องจากโดยทั่วไปแล้วจะไม่มีชุดกฎที่กำหนดไว้ล่วงหน้าเพื่อตรวจสอบซอฟต์แวร์
• เครื่องมือตรวจสอบโค้ดด้วยตนเองช่วยให้ผู้คนสามารถตรวจสอบและอภิปรายเกี่ยวกับการเปลี่ยนแปลงร่วมกันได้ พร้อมทั้งบันทึกประวัติของกระบวนการไว้เพื่อใช้อ้างอิงในอนาคต

• รายชื่อเครื่องมือสำหรับการตรวจสอบโค้ด