Products

CodeSonar

CodeSonar เป็นเครื่องมือวิเคราะห์ Source code อันทันสมัย ทำหน้าในการวิเคราะห์โค้ดภาษาC / C ++ และระบุบั๊กในโปรแกรมที่มีความซับซ้อน ซึ่งอาจส่งผลให้ระบบล่ม เกิดความเสียหายต่อหน่วยความจำ ทำให้ข้อมูลรั่วไหล และเกิดความเสี่ยงด้านความปลอดภัย CodeSonar ระบุถึงปัญหาที่จะก่อให้เกิดอันตรายอย่างแม่นยำ ในเวลาคอมไพล์ต่างจากการทดสอบแบบเดิมซึ่งอาจใช้เวลาหลายสัปดาห์กว่าจะระบุปัญหาออกมาได้

คุณสมบัติ

คุณลักษณะทั่วไป
  • เป็นเครื่องมือวิเคราะห์เชิงสถิติซึ่งใช้การวิเคราะห์เชิงกระบวนการเชื่อมต่อ(Inter-Procedural Analysis)
  • ยืนยันความถูกต้องของโค้ดได้นับล้านบรรทัด
  • ตรวจจับบั๊กที่อาจเกิดขึ้นโดยใช้เวลาวิเคราะห์ที่น้อยกว่า
  • ให้ตัวแปรบ่งชี้ที่แม่นยำซึ่งเป็นหนึ่งในปัจจัยที่สำคัญที่สุดสำหรับการเขียนโค้ด และการใช้ภาษา C
  • ตรวจจับข้อบกพร่องของซอฟท์แวร์โดยไม่ต้องมีอุปกรณ์เป้าหมาย (ใช้ Source Code ก็เพียงพอ )
  • สามารถตรวจสอบหาต้นเหตุของบั๊กได้อย่างง่ายดาย และยังรายงานผลในรูปแบบ HTML อีกด้วย จึงสะดวกต่อการแชร์ผลตรวจสอบกับสมาชิกในทีม
  • รองรับการเขียนโค้ดที่ป้องกันการถูกโจมตี( Secure Coding ) เพื่อลดช่องโหว่ความมั่นคงปลอดภัยทางไซเบอร์
ความสามารถในการตรวจจับข้อบกพร่อง
  • Buffer Overrun
  • Buffer Underrun
  • Division by Zero
  • Null-Pointer Dereference
  • Free Non-Heap Variable
  • Uninitialized Variable
  • DeadLock
  • Null Test after Dereference
  • Format String Problem
  • Excessive Stack Depth
  • Potential Unbounded Loop
  • Type Overrun
  • Type Underrun
  • Memory Leak
  • Use after Free
  • Double Free
  • POW10 Rule

การใช้งานที่รองรับ

  • ภาษา: C, C, Java
  • แพลตฟอร์ม: Windows, Linux, Solaris
  • โปรแกรมคอมไพเลอร์
    • GCC และ G
    • MS Visual Studio
    • ARM cc
    • Wind River compilers
    • Green Hills compilers
    • Compliers ที่สามารถทำงานข้ามแพลตฟอร์มอื่น ๆ

ติดต่อสอบถาม