โปรแกรมตาม recoder.sf.net

RECODER เป็นกรอบ Java สําหรับการวิเคราะห์โปรแกรม Java และการแปลงซอร์สโค้ด มันคํานวณรูปแบบโปรแกรม syntactic และความหมายที่ใช้งานง่ายที่มีการอ้างอิงไขว้และรองรับการย้อนกลับการแปลงและการอัปเดตแบบจําลองที่เพิ่มขึ้น