Most solutions for detecting buffer overflow are based on source code. But the requirement tor source code is not always practical especially for business software. A new approach was presented to detect statically th...Most solutions for detecting buffer overflow are based on source code. But the requirement tor source code is not always practical especially for business software. A new approach was presented to detect statically the potential buffer overflow vulnerabilities in the binary code of software. The binary code was translated into assembly code without the lose of the information of string operation functions. The feature code abstract graph was constructed to generate more accurate constraint statements, and analyze the assembly code using the method of integer range constraint. After getting the elementary report on suspicious code where buffer overflows possibly happen, the control flow sensitive analysis using program dependence graph was done to decrease the rate of false positive. A prototype was implemented which demonstrates the feasibility and efficiency of the new approach.展开更多
Acupuncture,a form of traditional Chinese medicine with a history of 2,000 years in China,has gained wider acceptance worldwide as a complementary therapy.Studies have examined its effectiveness in various health cond...Acupuncture,a form of traditional Chinese medicine with a history of 2,000 years in China,has gained wider acceptance worldwide as a complementary therapy.Studies have examined its effectiveness in various health conditions and it is commonly used alongside conventional medical treatments.With the development of artificial intelligence(AI)technology,new possibilities for improving the efficacy and precision of acupuncture have emerged.This study explored the combination of traditional acupuncture and AI technology from three perspectives:acupuncture diagnosis,prescription,and treatment evaluation.The study aimed to provide cutting-edge direction and theoretical assistance for the development of an acupuncture robot.展开更多
文摘Most solutions for detecting buffer overflow are based on source code. But the requirement tor source code is not always practical especially for business software. A new approach was presented to detect statically the potential buffer overflow vulnerabilities in the binary code of software. The binary code was translated into assembly code without the lose of the information of string operation functions. The feature code abstract graph was constructed to generate more accurate constraint statements, and analyze the assembly code using the method of integer range constraint. After getting the elementary report on suspicious code where buffer overflows possibly happen, the control flow sensitive analysis using program dependence graph was done to decrease the rate of false positive. A prototype was implemented which demonstrates the feasibility and efficiency of the new approach.
基金supported by the National Natural Science Foundation of China (No.82305376)2021 Special Research Project of TCM Science and Technology Development Plan of Jiangsu Province (ZT202120)+1 种基金Luo Linxiu Teacher Development Funding Project (LLX202308)National Key Research and Development Plan Intelligent Robot (2022YFB4703100).
文摘Acupuncture,a form of traditional Chinese medicine with a history of 2,000 years in China,has gained wider acceptance worldwide as a complementary therapy.Studies have examined its effectiveness in various health conditions and it is commonly used alongside conventional medical treatments.With the development of artificial intelligence(AI)technology,new possibilities for improving the efficacy and precision of acupuncture have emerged.This study explored the combination of traditional acupuncture and AI technology from three perspectives:acupuncture diagnosis,prescription,and treatment evaluation.The study aimed to provide cutting-edge direction and theoretical assistance for the development of an acupuncture robot.
