Eureka AIR delivers breakthrough ideas for toughest innovation challenges, trusted by R&D personnel around the world.

A Pointer Type Analysis Method in C Language

A technology of pointer type and analysis method, which is applied in the field of pointer type analysis of C language, and can solve problems such as incomplete and inaccurate technology

Active Publication Date: 2021-09-14
ZHEJIANG UNIV
View PDF9 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0006] The purpose of the embodiment of the present invention is to provide a pointer type analysis method of C language, to solve the problem of incomplete and inaccurate existing type analysis technology

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
  • A Pointer Type Analysis Method in C Language
  • A Pointer Type Analysis Method in C Language

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0031] In order to make the purpose, technical solution and advantages of the present application clearer, the technical solution of the present application will be clearly and completely described below in conjunction with specific embodiments of the present application and corresponding drawings. Apparently, the described embodiments are only some of the embodiments of the present application, rather than all the embodiments. Based on the embodiments in this application, all other embodiments obtained by persons of ordinary skill in the art without making creative efforts belong to the scope of protection of this application.

[0032] figure 1 The flow chart of the pointer type analysis method of a kind of C language that the embodiment of the present invention provides; The present embodiment provides the pointer type analysis method of a kind of C language, and this embodiment takes the pointer type analysis in the Android Linux operating system kernel as an example To il...

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 discloses a pointer type analysis method of C language, which can quickly analyze all possible pointer types of pointer variables in large-scale C codes. This method first converts and integrates all the C language source codes of the input program into LLVM IR bitcodes, and initializes the target state function according to the type information contained in the bitcodes; then traverses each instruction in the IR bitcodes, according to Different instruction types update the current target state function; this method repeatedly analyzes the instructions in the IR bit code until the target state function no longer changes; after the analysis is completed, the complete target state is obtained.

Description

technical field [0001] The invention relates to the field of computer program analysis, in particular to a pointer type analysis method of C language. Background technique [0002] C language is widely used because of its fast running speed and rich program library. Many high-performance software are written in C language, such as Linux / Windows operating system kernel, compiler, database and embedded system applications. These software provide the basic environment and basic functions for other applications, and constitute the infrastructure of the computer system, so they have an extremely wide deployment range and extremely high importance. Just take the Android operating system, one of the applications of the Linux kernel, as an example. As of May 2019, Google issued a statement stating that the number of global users of the Android system has reached 2.5 billion. With such a wide range of deployments, it is increasingly important to ensure the correctness and stability...

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/3604
Inventor 杨昱天申文博周亚金任奎
Owner ZHEJIANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
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