International Business Machines Corporation

Nili Ifergan-Guy

Aharon Abadi

Idan Ben-Harrush

Dmitri Pikus

Konstantin Shagin

Lior Turgeman

Oleg Sternberg

Alexander Dvinsky

A system for monitoring user engagement, comprising at least one hardware processor, configured to: receive from a plurality of sensors information about a sequence of interactions of a user with a software application during a time interval, the information comprising, for each of the sequence of interactions, a plurality of sensor output values of a plurality of engagement metrics reflecting the user's emotional attachment to the software application; compute a sequence of linearly uncorrelated principle components based on an outcome of principal component analysis (PCA) of the plurality of sensor output values of the plurality of engagement metrics; and select a first component from the sequence of linearly uncorrelated principle components to be a user engagement index representing engagement of the user with the application during the time interval according to the plurality of engagement metrics.

System and method for measuring user engagement

A computer implemented method of dynamically analyzing a data flow of a dynamic language program to determine access rights to data items, comprising:

Dynamic data flow analysis for dynamic languages programs

According to an aspect of some embodiments of the present invention there is provided a method for verifying correctness of application configuration of an application, comprising: for each of baseline and changed source codes of an application analyzing a graph representation of an execution flow of a plurality of application functionalities performed by execution of the respective source code to identify a plurality of functional dependencies between source code segments of the baseline source code and a plurality of functional dependencies between source code segments of the changed source code, wherein each of the functional dependencies is at least one of data dependency and control dependency, identifying a configuration discrepancy according to a match between functional dependencies of the changed source code when compared to the baseline source code, and producing a notification when the configuration discrepancy is found and is not permitted by the configuration.

Method for static and dynamic configuration verification

According to an aspect of some embodiments of the present invention there is provided a computer implemented method of refactoring a source code that includes a plurality of references to sensitive data into at least two separate source codes, comprising receiving a source code comprising a plurality of references to sensitive data, identifying a plurality of code blocks comprising the plurality of references, refactoring the source code into an enterprise source code having a plurality of functions containing the plurality of code blocks and a cloud source code that is semantically equivalent when executed to the source code when executed, and replacing within the cloud source code at least one of the plurality of code blocks with a call to a function within the enterprise source code, the function containing a code block that is semantically identical to the replaced code block.

Growing community of inventors

Haifa, Israel

Nili Ifergan-Guy