International Business Machines Corporation

Aharon Abadi

Moria Abadi

Yishai Abraham Feldman

Jonathan Bnayahu

Idan Ben-Harrush

Ran Ettinger

Roie Melamed

Dmitri Pikus

Mordechai Nisenson

Omer Tripp

Adi Sharabani

Yinnon Avraham Haviv

Nili Ifergan-Guy

Yael Dubinsky

Oleg Sternberg

Omri Weisman

Samuel Kallner

Maayan Goldstein

Natalie Shapira

Konstantin Shagin

Yossi Mesika

Alexander Kofman

Gabi Zodik

Eli Packer

Andrei Kirshin

Alexander Dvinsky

Moti Nisenson

Aidan Shribman

Ashraf Haib

Nili Guy-Ifergan

Hisham Yasin

Shmuel Kallner

Yishai Fieldman

A document management system including a document manager connected to a document storage, and a backup coordinator connected to the document manager and adapted to: continuously receive a plurality of notifications from the document manager, each including information describing a change in a document stored in the document manager's document storage; and for each notification in the plurality of notifications: select a backup agent from a plurality of backup agents connected to the backup coordinator; send a backup request to the backup agent including the information, for the purpose of updating a copy of the document stored in a backup storage connected to the backup agent; wait for an acknowledgement message from the backup agent; and send another backup request to another backup agent selected from the plurality of backup agents upon a failure to receive the acknowledgement message within an identified amount of time after sending the backup request.

Managing big data on document based NoSQL databases

A system for producing secure data management software, comprising at least one hardware processor adapted to: receive a plurality of data patterns, each comprising at least one data field identifier selected from a set of protected data field identifiers of at least one data repository, at least one output target, and an access instruction; identify in a plurality of computer instructions of the data management software one or more forbidden output instructions by matching one or more reaching definitions of some of the plurality of computer instructions with one or more of the plurality of data patterns; and remove the one or more forbidden output instructions from the plurality of computer instructions.

System and method for producing secure data management software

A computer implemented method of assuring correctness of data updated at a remote server and used by a local application, comprising one or more processors at a client terminal adapted to receive from a remote server updated values for a plurality of data items associated with a dataset required for execution of an application executed by the processor(s) where the dataset defines a close relation among the plurality of associated data items, determine whether the reception includes updated values for all of the associated data items, retrieve automatically from a local memory resource, previous values for all of the associated data items in case the updated value is missing for at least one of the associated data items and provide to the application the updated values or the previous values according to the determination.

Assuring data correctness in non-stable network environment

According to some embodiments of the present invention there is provided a method for identifying control dependencies between a source code and selected paths though the source code comprising: receiving an source code having a plurality of application functionalities, calculating a control graph dataset mapping a plurality of code segments of the source code into a plurality of source code execution paths, defining at least one control dependency from at least one source code execution path to the source code, receiving a subgroup defining a plurality of selected application functionalities from the plurality of application functionalities, identifying at least one of the plurality of source code execution paths that covers suitable code segments of the plurality of code segments which are required for performing application functionalities from the subset, and identifying at least one control dependency to eliminate within the one identified source code execution path.

Data flow analysis for dynamic application, skipping views

A method for optimizing use of location services in mobile applications, comprising: analyzing a computer code executable on a processor of a mobile device; identifying in the computer code program instructions for receiving location data from at least one location service device of the mobile device; analyzing the program instructions according to a set of location request rules to identify program instructions violating at least one of the location request rules; and providing at least one suggested change to the program instructions according to the at least one of the location request rules.

Optimizing use of location services in mobile applications to improve battery consumption

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 computer implemented method of automatically generating and storing a data structure for displaying a Unified Modeling Language (UML) model of behavior of a network of computing devices, the behavior dependent on location of the computing devices, comprising: creating a UML model comprising a plurality of line charts arranged in parallel to a time indicating axis, adding to the displayed UML model a plurality of connectors indicating communication between two entities, where a distance between each two line charts of the plurality of line charts in the UML model maps a geographical distance therebetween, and wherein the distance and the value and the plurality of connectors are editable according to at least one user input indicative of a selection of an area of the displayed UML model.

Embedded location awareness in UML modeling for mobile and IoT development

Embodiments of the present invention provide a method and system for finding uninitialized variables outside the local scope. Initially, a source code of a program is received. The source code may include multiple functions. A checked scope is determined for at least one variable in the source code. The checked scope includes a local scope. Additionally, the local scope is accessed using at least one function call of the functions. Static analysis is run, covering the checked scope for the at least one variable in the source code. At least one inter-procedural dependency is identified to determine whether the at least one variable in the local scope is uninitialized. Responsive to determining that the at least one variable in the local scope is uninitialized the at least one variable is displayed to a user.

Finding uninitialized variables outside the local scope

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

Techniques for representing a finite state machine forming are described herein. The techniques include a method that identifies screens of a computing program. The method may include correlating the identified screens with states of a finite state machine. Events indicating transition between the identified screens may be determined as well as data flow associated with the events. The method may include forming a graph representing the screens, events, and data flow in the finite state machine.

Finite state machine forming

Obtaining a dynamic download policy for a mobile application being executed on the mobile computing device, wherein the dynamic download policy indicating a download policy for a data item, the download policy is defined by the dynamic download policy as enabled in a first device context of the mobile computing device. During execution of the mobile application, a current device context of the mobile application is being monitored. In response to the mobile application attempting to download the data item and in response to the current device context being the first device context, the download policy may be enforced.

Dynamic download policy for mobile applications

A computer implemented method of detecting code antipatterns, comprising:

Detection of antipatterns through statistical analysis

A computerized method of improving position measurement of an indoor positioning system (IPS), comprising: gathering a plurality of position samples of a mobile device measured by an indoor wireless device, each of the position samples is indicative of a measured position and a measurement time; receiving a current position sample of the mobile device; for each of the plurality of position samples and the current position sample, determining a time weight, the time weight is higher for samples measured at a later time; for each of the plurality of position samples and the current position sample, determining a signal weight, the signal weight is higher for measured with stronger signal; and estimating a current position of the mobile device by weighting at least some of the position samples with the respective weights.

Methods and systems for improving accuracy of indoor positioning

According to an aspect of some embodiments of the present invention there is provided a computerized method of analyzing code of a software program for dominance relationships between a plurality of functions of the software program, the method comprising: receiving source code of a software program, the source code having a plurality of functions; identifying a plurality of intraprocedural dominator graphs each for another of the plurality of functions; combining the plurality of intraprocedural dominator graphs to create an interprocedural dominance graph with edges that logically connect between nodes of the plurality of functions; identifying a plurality of interprocedural dominance relations between nodes in different functions of the plurality of functions using the interprocedural dominance graph; and analyzing the software program according to the plurality of interprocedural dominance relations.

System and/or method for computing interprocedural dominators

A computerized method of improving position measurement of an indoor positioning system (IPS), comprising: gathering a plurality of position samples of a mobile device measured by an indoor wireless device, each of the position samples is indicative of a measured position and a measurement time; estimating a movement direction of the mobile device from the plurality of position samples; receiving a current position sample of the mobile device; estimating a temp movement direction of the mobile device from at least one of the plurality of position samples and the current position sample; and when the temp movement direction is identified as false, marking the current position sample as noise.

Growing community of inventors

Petach Tikva, Israel

Aharon Abadi