According to a document issued by the website of the Chinese government on April 5,in order to enhance the leadership and coordination of care and protection of left-behind children in rural areas and strengthen colla...According to a document issued by the website of the Chinese government on April 5,in order to enhance the leadership and coordination of care and protection of left-behind children in rural areas and strengthen collaboration and cooperation between departments,展开更多
The C standard libraries are basic function libraries standardized by the C language.Programmers usually refer to their APl documentation provided by third-party websites.Unfortunately,these documents are not necessar...The C standard libraries are basic function libraries standardized by the C language.Programmers usually refer to their APl documentation provided by third-party websites.Unfortunately,these documents are not necessarily complete or accurate,especially for constraint sentences of APl usage,which are called Security Specifications(SSs).SS issues can prevent programmers from following obligatory constraints,which results in APl misuse vulnerabilities.Previous work studying SS issues could only find certain types of inaccurate SSs through checking the compliance between APl usage and existing SSs.Therefore,we propose a novel approach SSeeker for quickly discovering missing and inaccurate SSs through the inconsistency of semantically similar SSs.More specifically,SSeeker first completes broken sentences and discovers SSs from them by judging their constraint sentiment.Then SSeeker puts semantically similar SSs from different sources into a group,which can be used to discover missing or inaccurate SSs.With the help of SSeeker,we investigated 4 popular online third-party C standard library documents,studied their conformity with the C99 standard,analyzed their APls and SSs,and discovered 92 prototype issues,15 web page issues,and 96 SS issues.展开更多
The No.1 Document supervising the rural work was released on Feb.4,2018 by the Central Committee of the Communist Party of China and the State Council.It is the 20th No.1 Document since the reform and opening up and t...The No.1 Document supervising the rural work was released on Feb.4,2018 by the Central Committee of the Communist Party of China and the State Council.It is the 20th No.1 Document since the reform and opening up and the 15th since the new century.The title of the document was The Opinions of the CCCPC and the State Council on Implementing the Strategies of Rural Vitalization展开更多
Recently,Ministry of Industry and Information Technology and Ministry of Finance jointly issued the National New Material Industry Resource Sharing Platform Construction Program(“the Program”),aiming to fully improv...Recently,Ministry of Industry and Information Technology and Ministry of Finance jointly issued the National New Material Industry Resource Sharing Platform Construction Program(“the Program”),aiming to fully improve the resource sharing service level,management level and public service supply capacity of the Chinese new material industry.展开更多
文摘According to a document issued by the website of the Chinese government on April 5,in order to enhance the leadership and coordination of care and protection of left-behind children in rural areas and strengthen collaboration and cooperation between departments,
基金the National Key Research and Development Program(No.2020AAA0104301)National Natural Science Foundation of China(No.U1836211,61902395)+1 种基金the Anhui Department of Science and Technology(No.202103a05020009)Beijing Academy of Artificial Intelligence(BAAl).
文摘The C standard libraries are basic function libraries standardized by the C language.Programmers usually refer to their APl documentation provided by third-party websites.Unfortunately,these documents are not necessarily complete or accurate,especially for constraint sentences of APl usage,which are called Security Specifications(SSs).SS issues can prevent programmers from following obligatory constraints,which results in APl misuse vulnerabilities.Previous work studying SS issues could only find certain types of inaccurate SSs through checking the compliance between APl usage and existing SSs.Therefore,we propose a novel approach SSeeker for quickly discovering missing and inaccurate SSs through the inconsistency of semantically similar SSs.More specifically,SSeeker first completes broken sentences and discovers SSs from them by judging their constraint sentiment.Then SSeeker puts semantically similar SSs from different sources into a group,which can be used to discover missing or inaccurate SSs.With the help of SSeeker,we investigated 4 popular online third-party C standard library documents,studied their conformity with the C99 standard,analyzed their APls and SSs,and discovered 92 prototype issues,15 web page issues,and 96 SS issues.
文摘The No.1 Document supervising the rural work was released on Feb.4,2018 by the Central Committee of the Communist Party of China and the State Council.It is the 20th No.1 Document since the reform and opening up and the 15th since the new century.The title of the document was The Opinions of the CCCPC and the State Council on Implementing the Strategies of Rural Vitalization
文摘Recently,Ministry of Industry and Information Technology and Ministry of Finance jointly issued the National New Material Industry Resource Sharing Platform Construction Program(“the Program”),aiming to fully improve the resource sharing service level,management level and public service supply capacity of the Chinese new material industry.
