โปรแกรมตาม javelina-cc.sf.net

Javelina เป็นเครื่องมือครอบคลุมรหัสขั้นสูงที่ใช้เครื่องมือแบบไดนามิกเพื่อลดค่าโสหุ้ยสําหรับการรวบรวมข้อมูลความคุ้มครอง นอกจากนี้ Javelina ยังอนุญาตให้ใช้การดําเนินการทางตรรกะเพื่อเขียนโค้ดข้อมูลความครอบคลุม