เฝือกเป็นเครื่องมือสำหรับการตรวจสอบแบบคงที่โปรแกรม C สำหรับช่องโหว่ความปลอดภัยและความผิดพลาดในการเขียนโปรแกรม
เข้าเฝือกไม่มากของการตรวจสอบผ้าสำลีแบบดั้งเดิมรวมทั้งประกาศที่ไม่ได้ใช้ไม่สอดคล้องกันประเภทการใช้งานก่อนที่จะนิยามรหัสเข้าไม่ถึงไม่สนใจค่าตอบแทนเส้นทางการดำเนินการกับการกลับมาไม่มีห่วงไม่มีที่สิ้นสุดแนวโน้มและตกผ่านกรณี
การตรวจสอบที่มีประสิทธิภาพมากขึ้นจะทำไปโดยได้รับข้อมูลเพิ่มเติมในแหล่งที่มาของคำอธิบายประกอบรหัส คำอธิบายประกอบความเห็นเก๋ว่าสมมติฐานเอกสารเกี่ยวกับฟังก์ชั่นตัวแปรพารามิเตอร์และประเภท
นอกจากนี้ในการตรวจสอบการใช้งานโดยเฉพาะคำอธิบายประกอบหลายผ้าสำลีการตรวจสอบแบบดั้งเดิมจะดีขึ้นโดยการใช้ประโยชน์ข้อมูลเพิ่มเติมนี้
ในฐานะที่เป็นความพยายามมากขึ้นที่จะใส่ลงในโปรแกรม annotating ผลการตรวจสอบที่ดีขึ้น เส้นโค้งความพยายามดำเนินการและผลประโยชน์ในการใช้เฝือกจะแสดงในรูปที่ 1
เฝือกถูกออกแบบมาให้มีความยืดหยุ่นและช่วยให้การเขียนโปรแกรมเพื่อเลือกจุดที่เหมาะสมในความพยายามที่โค้งประโยชน์สำหรับโครงการโดยเฉพาะอย่างยิ่ง
ตรวจสอบที่แตกต่างกันในขณะที่มีการเปิดและข้อมูลเพิ่มเติมจะได้รับในรหัสคำอธิบายประกอบจำนวนของบักที่สามารถตรวจพบการเพิ่มขึ้นอย่างมาก
ปัญหาที่ตรวจพบโดยเฝือกรวมถึง:
ความคิดเห็นที่ไม่พบ