Oracle International Corporation

Anastasios Antoniadis

Padmanabhan Krishnan

Nicholas John Allen

Raghavendra Kagalavadi Ramesh

A method for detecting a defect may include extracting, from application code and using a framework support specification corresponding to a framework, a framework interaction between the application code and the framework. The framework interaction specifies an object used by the application code and managed by the framework. The method may further include performing, using the framework interaction, a dynamic analysis of the application code to obtain a heap snapshot, performing, using the heap snapshot and the framework interaction, a static analysis of the application code, and detecting, by the static analysis, the defect.

Growing community of inventors

Athens, Greece

Anastasios Antoniadis