การเปิดตัวเครื่องวิเคราะห์แบบคงที่ cppcheck 2.1

มีอยู่ เครื่องวิเคราะห์คงที่รุ่นใหม่ฟรี ซีพีพีเช็ค 2.1ซึ่งช่วยให้คุณระบุข้อผิดพลาดประเภทต่างๆ ในโค้ดในภาษา C และ C++ รวมถึงเมื่อใช้ไวยากรณ์ที่ไม่เป็นมาตรฐาน โดยทั่วไปสำหรับระบบฝังตัว มีการจัดเตรียมชุดปลั๊กอินซึ่ง cppcheck บูรณาการเข้ากับระบบการพัฒนา การบูรณาการและการทดสอบอย่างต่อเนื่อง และยังให้คุณสมบัติต่างๆ เช่น ตรวจสอบ การปฏิบัติตามโค้ดด้วยรูปแบบการจัดรูปแบบโค้ด หากต้องการแยกวิเคราะห์โค้ด คุณสามารถใช้ตัวแยกวิเคราะห์ของคุณเองหรือตัวแยกวิเคราะห์ภายนอกจาก Clang นอกจากนี้ยังมีสคริปต์ donate-cpu.py เพื่อจัดหาทรัพยากรในท้องถิ่นเพื่อทำงานตรวจสอบโค้ดร่วมกันสำหรับแพ็คเกจ Debian แหล่งที่มาของโครงการ จัดจำหน่ายโดย ได้รับอนุญาตภายใต้ GPLv3

การพัฒนา cppcheck มุ่งเน้นไปที่การระบุปัญหาที่เกี่ยวข้องกับพฤติกรรมที่ไม่ได้กำหนด และการใช้การออกแบบที่เป็นอันตรายจากมุมมองด้านความปลอดภัย เป้าหมายคือการลดผลบวกลวงให้เหลือน้อยที่สุด ท่ามกลาง ระบุ ปัญหา: ตัวชี้ไปยังวัตถุที่ไม่มีอยู่จริง, การหารด้วยศูนย์, จำนวนเต็มล้น, การดำเนินการกะบิตไม่ถูกต้อง, การแปลงไม่ถูกต้อง, ปัญหาเมื่อทำงานกับหน่วยความจำ, การใช้ STL ไม่ถูกต้อง, การยกเลิกการอ้างอิงพอยน์เตอร์ null, การใช้การตรวจสอบหลังจากการเข้าถึงบัฟเฟอร์จริง, ไป เกินขอบเขตบัฟเฟอร์ โดยใช้ตัวแปรที่ไม่ได้กำหนดค่าเริ่มต้น

ที่มา: opennet.ru

เพิ่มความคิดเห็น