Verfahren und System zur Durchführung von Intervallanalyse in Quellcode mit Funktionalem Ansatz

Details

Veröffentlichungs-Nr.

EP4730140

Anmeldetag

13. Oktober 2025

Veröffentlichung

22. April 2026

Rechtsraum

EP

IPC

G06F11/3604, G06F8/75

Abstract

This disclosure relates generally to method and system to perform interval analysis in source code using functional approach. The method performs data-flow analysis using functional approach to solve infinite-height analyses and properties are validated such as array index within bounds, non-zero division, and preventing arithmetic overflow or underflow on real-life applications. The method receives source code comprising one or more functions to perform a whole program interval analysis over each function using a functional approach to identify range interval of each variable at every program point in the source code. Further, summary for each function is computed which is stored in the form of variable and its corresponding range interval at every exit point of each function. Finally, an incremental interval analysis is performed over each function having edited version change and summary is recomputed for each function impacted by change to optimize overall interval analysis.

Anmelder

Firma

Tata Consultancy Services Limited

Land

🇮🇳 Indien