วิเคราะห์. NET
กรอบการวิเคราะห์แบบคงที่สำหรับโปรแกรม. NET
คุณสมบัติ:
- ระดับ bytecode
- ไม่จำเป็นต้องใช้ซอร์สโค้ด
- สามารถวิเคราะห์ไลบรารีมาตรฐานได้
- การเป็นตัวแทนระดับกลาง
- Bytecode ง่ายขึ้น
- รหัสที่อยู่สามตัว
- การมอบหมายเดี่ยวแบบคงที่
- การแสดงออกโดยรวม
- การวิเคราะห์การควบคุมการไหล
- ปกติ
- พิเศษ
- การปกครอง
- เขตแดน
- ลูปธรรมชาติ
- การวิเคราะห์การไหลของข้อมูล
- การเข้าถึงคำจำกัดความ
- โซ่การใช้งานและการใช้งาน
- ตัวแปรสด
- คัดลอกการแพร่กระจาย
- จุดต่อ
- การวิเคราะห์กราฟ
- การเปลี่ยนแปลง
