CodA
1.0.0
CODA เป็นชุดเครื่องมือที่ดำเนินการวิเคราะห์แบบคงที่และแบบไดนามิกขั้นสูงในซอร์สโค้ดที่กำหนด
การวิเคราะห์แบบคงที่รวมถึงกราฟการควบคุมการไหล (CFG) และการสกัดเส้นทางที่สำคัญ
การวิเคราะห์แบบไดนามิกรวมถึงการคำนวณรหัสเครื่องมือและการคำนวณความครอบคลุมของเส้นทาง ปัจจุบันโปรแกรมสนับสนุน CPP CPP 14
สำหรับข้อมูลเพิ่มเติมโปรดดูที่เว็บไซต์เอกสาร CODA: https://m-zakeri.github.io/coda
