关键词: 恶意代码分析, 代码混淆, 模型检验, 信息安全

Abstract: A semantic based method is presented to analyze malicious behavior in software, with more precise description of function call based attacks, and flow sensitive, context sensitive and path sensitive inter-procedure analysis ability. Experiments on malicious and benign programs show that it is effective to identify malicious behavior in software.

Key words: malware analysis, code obfuscation, model checking, information security