Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Method and system for detecting array bound-crossing defect

An array out-of-bounds and defect technology, applied in the field of code detection, can solve problems such as software system failures, effective detection of array out-of-bounds problems, etc.

Active Publication Date: 2017-01-11
北京奇虎测腾安全技术有限公司 +1
View PDF3 Cites 3 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

However, the current symbolic execution technology does not have an effective detection method for array out-of-bounds problems, which usually cause serious failures in software systems

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Method and system for detecting array bound-crossing defect
  • Method and system for detecting array bound-crossing defect
  • Method and system for detecting array bound-crossing defect

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0032] Exemplary embodiments of the present invention will now be described with reference to the drawings; however, the present invention may be embodied in many different forms and are not limited to the embodiments described herein, which are provided for the purpose of exhaustively and completely disclosing the present invention. invention and fully convey the scope of the invention to those skilled in the art. The terms used in the exemplary embodiments shown in the drawings do not limit the present invention. In the figures, the same units / elements are given the same reference numerals.

[0033] Unless otherwise specified, the terms (including scientific and technical terms) used herein have the commonly understood meanings to those skilled in the art. In addition, it can be understood that terms defined by commonly used dictionaries should be understood to have consistent meanings in the context of their related fields, and should not be understood as idealized or over...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention relates to a method and a system for detecting an array bound-crossing defect. The method comprises the steps of determining multiple program points according to a grammar of a programming language of a source code to be detected; determining multiple detection points requiring to be detected from the multiple program points based on a detection logic of symbolic execution; adopting a memory reading and writing detection point in the multiple detection points as a starting point of the detection logic for defect detection; calculating a memory offset so as to determine a symbol value of the offset; comparing the symbol value of the offset with an array boundary, and determining a detection result according to the comparison.

Description

technical field [0001] The present invention relates to the field of code detection, and more specifically, to a method and system for detecting an array out-of-bounds defect. Background technique [0002] With the rapid development of network technology and applications, software system security is facing unprecedented challenges. Networking and interoperability have become the development direction of current software systems. The interconnection between the software system and the Internet or other networks increases the probability of the software system being attacked, and also leads to an unprecedented increase in the security threats faced by the software system. On the other hand, with the continuous enrichment of various business applications built on software systems and the continuous improvement of the complexity of software programs, there are more and more hidden security risks hidden in software systems, which are usually difficult to find and eliminate. ...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F11/36
CPCG06F11/3668
Inventor 章磊韩建
Owner 北京奇虎测腾安全技术有限公司
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com