Undecidability of static analysis 论文

1992ACM Letters on Programming Languages and Systems引用 382
DOIPDF
Software Testing and Debugging TechniquesAdvanced Malware Detection TechniquesSoftware Reliability and Analysis Research
Software Testing and Debugging TechniquesSoftware Reliability and Analysis ResearchAdvanced Malware Detection Techniques
相关技术:Advanced Malware Detection Techniques
关系图谱

Undecidability of static analysis · 作者

W

William Landi