Inventor

ABADI AHARON

IL53 patents

⚠️ This page may combine multiple inventors who share the name “ABADI AHARON”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

ABADI AHARON

IBM

Execution optimization of mobile applications

Plan-based program slicing

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

Finite state machine forming

System and/or method for computing interprocedural dominators

Flow analysis in program execution

Method of adding local variables in place of global in JavaScript

Fixing security vulnerability in a source code

Automatic extraction of sensitive code fragments to be executed in a sandbox

Identifying additional variables for appraisal tables

Embedded location awareness in UML modeling for mobile and IoT development

System and/or method for computing interprocedural dominators

Mobile computing program slicing and behavior

Method for finding all valid interprocedural execution paths on COBOL in polynomial time

Finding uninitialized variables outside the local scope

Managing big data on document based NoSQL databases

Detection of antipatterns through statistical analysis

System and/or method for computing interprocedural dominators

System and method for producing secure data management software

Improving application code execution performance by consolidating accesses to shared resources

Embedded location awareness in UML modeling for mobile and IoT development

Fixing anti-patterns in javascript

Automatic refactoring of javascript code for multi-thread execution

Determining code coverage of an application by test(S)

Moving critical actions within a mobile application

Screen oriented data flow analysis

Screen-oriented computing program refactoring

Assuring data correctness in non-stable network environment

Dynamic download policy for mobile applications

Multi platform based event processing

Auto-generation of testable units for COBOL code

Dynamic data flow analysis for dynamic languages programs

Method for static and dynamic configuration verification

Methods and systems for improving accuracy of indoor positioning

ABADI AHARON

Fixing security vulnerability in a source code

Fine slicing: generating an executable bounded slice for program

Determining suitable insertion points for string sanitizers in a computer code

Plan-based program slicing

Automated many-sorted theorem prover

Software architecture by untangling undesired code level dependencies using code refactoring

Method for code transformation supporting temporal abstraction of parameters

Method, apparatus and product for porting applications to embedded platforms

WHITESOURCE LTD

System and method for identifying vulnerabilities in code due to open source usage

System and method for interprocedural analysis

System and method for safe updating of open source libraries

Method and apparatus for assisting in open source usage

System and method for interprocedural analysis

System and method for identifying open source usage

System and method for vulnerability detection in computer code

NEXT SILICON LTD

Device and method of computing an output value of a mathematical function, and method of designing an integrated circuit for the same