Statische Programmanalyse eines Teilsoftwareprogramms

Details

Veröffentlichungs-Nr.

EP3483768

Aktenzeichen

EP18205375

Anmeldetag

9. November 2018

Veröffentlichung

9. August 2023

Erteilung

9. August 2023

Rechtsraum

EP

IPC

G06F21/57G06F11/36

Abstract

A method for analyzing a partial software program includes receiving a first software program. The first software program is designed to execute using a second software program. A first symbolic value indicates a characteristic of the second software program. The first software program is analyzed using a static program analysis, where the static program analysis generates a second symbolic value based on the first symbolic value. The second symbolic value indicates a characteristic of the first software program. The first software program is analyzed independent of an availability of the second software program. In response to determining that the second symbolic value is associated with a predetermined characteristic and that the first software program would perform an action associated with the second symbolic value if the first software program was executed using the second software program, a warning signal is generated.

Anmelder

Firmen

Malikie Innovations Limited
BlackBerry Limited

Land

🇮🇪 Irland

Fachgebiete