ระบบการวิเคราะห์แบบคงที่ของ Yutian สามารถทำการวิเคราะห์แบบคงที่ในไฟล์ .c/.cpp เนื้อหาการวิเคราะห์หลักประกอบด้วยการวิเคราะห์โฟลว์ควบคุม การวิเคราะห์โฟลว์ข้อมูล การคำนวณตัวชี้วัดพื้นฐาน การตรวจสอบการละเมิดกฎรหัส ฯลฯ สามารถแสดงความสัมพันธ์การเรียกระหว่างฟังก์ชันและกราฟโฟลว์ควบคุมของฟังก์ชันได้ กฎการเข้ารหัสอิงจาก MISRA และวิเคราะห์ปัญหาทั่วไปเกือบ 60 รายการ เช่น DU, DD, UR และการดำเนินการประเภทผสม สำหรับปัญหาที่ตรวจพบ ระบบจะระบุตำแหน่ง สาเหตุ และกฎที่เกี่ยวข้องเพื่ออำนวยความสะดวกให้ผู้ใช้ตรวจสอบและปรับปรุงปัญหา และแก้ไขปัญหาอย่างมีประสิทธิภาพเพื่อปรับปรุงคุณภาพโค้ด คุณสมบัติ: 1. ใช้งานง่ายดี. เพียงเปิดไฟล์เพื่อทำการวิเคราะห์ให้เสร็จสิ้น จากนั้นผู้ใช้สามารถดูกราฟโฟลว์การควบคุม เมตริก และผลการตรวจสอบกฎของฟังก์ชันที่สนใจได้ 2. ความครอบคลุมที่แข็งแกร่ง สามารถนำไปใช้กับไฟล์โปรแกรม c/c++ เกือบทั้งหมดที่สามารถคอมไพล์และส่งผ่านได้ 3. ตัวบ่งชี้ที่สมบูรณ์ ระบบจะคำนวณเมตริกหลายร้อยรายการเพื่อประเมินโค้ดอย่างครอบคลุมและเป็นกลาง 4. กฎคุณภาพที่หลากหลาย ตรวจสอบกฎคุณภาพที่ใช้งานจริงในตัวหลายร้อยรายการเพื่อตรวจจับการละเมิดกฎในโค้ดให้มากที่สุดเท่าที่จะเป็นไปได้ เนื้อหาหลักของการอัปเดตเวอร์ชันล่าสุด 1.5 ของระบบการวิเคราะห์แบบคงที่ Yutian คือ: 1. เพิ่มกฎโค้ดเพียง 10 ข้อเท่านั้น 2. แก้ไขข้อผิดพลาดเชิงบวกที่ผิดพลาดในการวิเคราะห์แบบคงที่ซึ่งฟังก์ชันที่ใช้เทมเพลต stl เป็นพารามิเตอร์ไม่ได้ถูกนำมาใช้ 3. แก้ไขคำจำกัดความของตัวแปร ของประเภทเทมเพลต stl และการวิเคราะห์ 4 แก้ไขปัญหาการวิเคราะห์คำจำกัดความที่ไม่ถูกต้องของฟังก์ชันด้วยพารามิเตอร์ค่าเริ่มต้น 5 ปรับแต่งการวิเคราะห์ตัวแปรของพารามิเตอร์จริงของการเรียกใช้ฟังก์ชัน (ก่อนหน้านี้ถูกประมวลผลเดี่ยวเป็นข้อมูลอ้างอิง)
ขยาย