CCured: type-safe retrofitting of legacy software 论文

2005ACM Transactions on Programming Languages and Systems引用 364
Security and Verification in ComputingParallel Computing and Optimization TechniquesAdvanced Malware Detection Techniques

CCured: type-safe retrofitting of legacy software · 相关技术