Splint

ภาพหน้าจอของซอฟแวร์:
Splint
รายละเอียดซอฟแวร์:
รุ่น: 3.1.1
วันที่อัพโหลด: 3 Jun 15
ผู้พัฒนา: David Evans
การอนุญาต: ฟรี
ความนิยม: 12

Rating: nan/5 (Total Votes: 0)

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

ซอฟต์แวร์ที่คล้ายกัน

pytrace
pytrace

20 Feb 15

scanmem
scanmem

2 Jun 15

jarvis
jarvis

20 Feb 15

ความคิดเห็นที่ Splint

ความคิดเห็นที่ไม่พบ
เพิ่มความคิดเห็น
เปิดภาพ!
ค้นหาตามหมวดหมู่