ในวิทยาการคอมพิวเตอร์อัลกอริทึมของ Steensgaardเป็นอัลกอริทึมที่ปรับขนาดได้และไม่ไวต่อการไหลสำหรับการวิเคราะห์ตัวชี้มักใช้ในคอมไพเลอร์เนื่องจากความเร็ว (ตัวอย่างเช่น มีการใช้งานใน เฟรมเวิร์กคอมไพเลอร์ LLVM ) ^{[ 1 ]}ในสูตรดั้งเดิม อัลกอริทึมนี้ไม่ไวต่อฟิลด์ บริบท และอาร์เรย์

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

Bjarne Steensgaard ได้กำหนดสูตรอัลกอริทึมนี้โดยอาศัยการอนุมานประเภทและการตรวจสอบประเภท Steensgaard เสนอการวิเคราะห์แบบ points-to สำหรับภาษาตัวชี้แบบคำสั่งขนาดเล็กแต่ทั่วไป ซึ่งสามารถรวบรวมคุณสมบัติที่สำคัญของภาษาทั่วไปอื่นๆ ที่ใช้ตัวชี้ เช่นCความหมายของภาษาและกฎการกำหนดประเภทเป็นส่วนประกอบของการวิเคราะห์นี้