基于clight形式语义的代码功能描述提取

？软件代码的功能提取是功能集成的最基本前提，但软件功能提取普遍存在正确率低的问题。为此，提出基于clight形式语义的代码功能描述提取机制，并用clight代码功能描述算法实现。该机制严格基于clight自然语义推理规则，忽略代码执行的中间细节，只关注执行前后的存储状态，并以此作为代码的功能描述，提高了功能提取的正确率和关键领域软件开发的成功率。