Datenflussanalyse mit Ausgeblendeten Kontexten

Details

Veröffentlichungs-Nr.

EP3156902

Aktenzeichen

EP16193631

Anmeldetag

13. Oktober 2016

Veröffentlichung

17. November 2021

Erteilung

17. November 2021

Rechtsraum

EP

IPC

G06F8/41G06F21/62G06F21/57G06F11/36

Abstract

Methods, systems, and apparatus, including computer programs encoded on computer storage media, for performing data flow analysis using collapsed contexts. One of the methods includes obtaining data representing a plurality of software elements, wherein one or more software elements are initially designated as elements having the particular property; iteratively designating other software elements to which data of the one or more elements having the particular property can flow, including: whenever the program includes multiple calls to a function, analyzing the function in a collapsed context to determine whether any argument can flow to a return value of the function, and whenever any data in an argument that has the particular property according to the collapsed context can flow to a return value of the function, adding each call to the function throughout the program having one argument having the particular property; and providing the set of software elements having the particular property.

Anmelder

Firmen

Microsoft Technology Licensing, LLC
Semmle Limited

Land

🇺🇸 USA

Fachgebiete