| Patent | Date |
|---|
Method and apparatus for assisting in open source usage
Grant 11,288,063 - Abadi , et al. March 29, 2 | 2022-03-29 |
System and method for interprocedural analysis
Grant 11,288,044 - Abadi , et al. March 29, 2 | 2022-03-29 |
System and method for interprocedural analysis
Grant 11,210,087 - Abadi , et al. December 28, 2 | 2021-12-28 |
System and method for safe updating of open source libraries
Grant 11,210,083 - Abadi , et al. December 28, 2 | 2021-12-28 |
System And Method For Interprocedural Analysis
App 20210173639 - ABADI; Aharon ; et al. | 2021-06-10 |
Method And Apparatus For Assisting In Open Source Usage
App 20210117185 - ABADI; Aharon ; et al. | 2021-04-22 |
Managing big data on document based NoSQL databases
Grant 10,956,279 - Abadi , et al. March 23, 2 | 2021-03-23 |
System and method for identifying open source usage
Grant 10,789,067 - Abadi , et al. September 29, 2 | 2020-09-29 |
System and method for producing secure data management software
Grant 10,747,871 - Abadi , et al. A | 2020-08-18 |
System and method for identifying vulnerabilities in code due to open source usage
Grant 10,713,364 - Abadi , et al. | 2020-07-14 |
System And Method For Identifying Open Source Repository Used In Code
App 20200142972 - ABADI; Aharon ; et al. | 2020-05-07 |
System And Method For Identifying Open Source Usage
App 20200142692 - ABADI; Aharon ; et al. | 2020-05-07 |
Assuring data correctness in non-stable network environment
Grant 10,560,356 - Abadi , et al. Feb | 2020-02-11 |
System And Method For Producing Secure Data Management Software
App 20190392133 - Abadi; Aharon ; et al. | 2019-12-26 |
Data flow analysis for dynamic application, skipping views
Grant 10,509,634 - Abadi , et al. Dec | 2019-12-17 |
System And Method For Identifying Vulnerabilities In Code Due To Open Source Usage
App 20190347422 - ABADI; Aharon ; et al. | 2019-11-14 |
Optimizing use of location services in mobile applications to improve battery consumption
Grant 10,372,194 - Abadi , et al. | 2019-08-06 |
Dynamic data flow analysis for dynamic languages programs
Grant 10,331,909 - Abadi , et al. | 2019-06-25 |
MANAGING BIG DATA ON DOCUMENT BASED NoSQL DATABASES
App 20190171532 - Abadi; Aharon ; et al. | 2019-06-06 |
Finding uninitialized variables outside the local scope
Grant 10,296,311 - Abadi , et al. | 2019-05-21 |
Embedded location awareness in UML modeling for mobile and IoT development
Grant 10,296,306 - Abadi , et al. | 2019-05-21 |
Method for static and dynamic configuration verification
Grant 10,248,536 - Abadi , et al. | 2019-04-02 |
Finite state machine forming
Grant 10,242,315 - Abadi , et al. | 2019-03-26 |
Dynamic download policy for mobile applications
Grant 10,136,282 - Abadi , et al. November 20, 2 | 2018-11-20 |
Detection of antipatterns through statistical analysis
Grant 10,055,329 - Abadi , et al. August 21, 2 | 2018-08-21 |
Context Based Configuration Management
App 20180203707 - Abadi; Aharon ; et al. | 2018-07-19 |
Methods and systems for improving accuracy of indoor positioning
Grant 10,028,100 - Abadi , et al. July 17, 2 | 2018-07-17 |
System and/or method for computing interprocedural dominators
Grant 10,013,243 - Abadi , et al. July 3, 2 | 2018-07-03 |
Methods and systems for noise removal in indoor positioning
Grant 10,001,543 - Abadi , et al. June 19, 2 | 2018-06-19 |
Fixing anti-patterns in javascript
Grant 9,983,975 - Abadi , et al. May 29, 2 | 2018-05-29 |
Auto-generation of testable units for COBOL code
Grant 9,983,983 - Abadi , et al. May 29, 2 | 2018-05-29 |
Method For Static And Dynamic Configuration Verification
App 20180129581 - Abadi; Aharon ; et al. | 2018-05-10 |
Method For Static And Dynamic Configuration Verification
App 20180121315 - Abadi; Aharon ; et al. | 2018-05-03 |
Automatic refactoring of javascript code for multi-thread execution
Grant 9,946,536 - Abadi , et al. April 17, 2 | 2018-04-17 |
Determining code coverage of an application by test(S)
Grant 9,934,132 - Abadi , et al. April 3, 2 | 2018-04-03 |
Optimizing discovery of high resources consuming wireless network resource within a group of mobile communication devices
Grant 9,913,152 - Abadi , et al. March 6, 2 | 2018-03-06 |
Auto-generation Of Testable Units For Cobol Code
App 20180032425 - Abadi; Aharon ; et al. | 2018-02-01 |
Assuring Data Correctness in Non-Stable Network Environment
App 20180019934 - Abadi; Aharon ; et al. | 2018-01-18 |
Method For Dynamic Change Of Application Behavior By Configuration
App 20180013616 - Abadi; Aharon ; et al. | 2018-01-11 |
Methods And Systems For Improving Accuracy Of Indoor Positioning
App 20170374525 - Abadi; Aharon ; et al. | 2017-12-28 |
Improving application code execution performance by consolidating accesses to shared resources
Grant 9,851,957 - Abadi , et al. December 26, 2 | 2017-12-26 |
Automatic extraction of sensitive code fragments to be executed in a sandbox
Grant 9,830,149 - Abadi , et al. November 28, 2 | 2017-11-28 |
Method of adding local variables in place of global in JavaScript
Grant 9,823,913 - Abadi , et al. November 21, 2 | 2017-11-21 |
Identifying additional variables for appraisal tables
Grant 9,786,007 - Abadi , et al. October 10, 2 | 2017-10-10 |
Data Flow Analysis For Dynamic Application, Skipping Views
App 20170286104 - Abadi; Aharon ; et al. | 2017-10-05 |
EMBEDDED LOCATION AWARENESS IN UML MODELING FOR MOBILE AND IoT DEVELOPMENT
App 20170269912 - Abadi; Aharon ; et al. | 2017-09-21 |
Moving critical actions within a mobile application
Grant 9,769,590 - Abadi , et al. September 19, 2 | 2017-09-19 |
Multi platform based event processing
Grant 9,747,143 - Abadi , et al. August 29, 2 | 2017-08-29 |
System And/or Method For Computing Interprocedural Dominators
App 20170235667 - Abadi; Aharon ; et al. | 2017-08-17 |
Embedded location awareness in UML modeling for mobile and IoT development
Grant 9,733,905 - Abadi , et al. August 15, 2 | 2017-08-15 |
Optimizing use of location services in mobile applications to improve battery consumption
App 20170228011 - Abadi; Aharon ; et al. | 2017-08-10 |
Dynamic Download Policy For Mobile Applications
App 20170230480 - Abadi; Aharon ; et al. | 2017-08-10 |
Software architecture by untangling undesired code level dependencies using code refactoring
Grant 9,720,690 - Abadi , et al. August 1, 2 | 2017-08-01 |
Dynamic Data Flow Analysis For Dynamic Languages Programs
App 20170213049 - Abadi; Aharon ; et al. | 2017-07-27 |
Automatic extraction of sensitive code fragments to be executed in a sandbox
App 20170206082 - Abadi; Aharon ; et al. | 2017-07-20 |
Automatic extraction of sensitive code fragments to be executed in a sandbox
App 20170206081 - Abadi; Aharon ; et al. | 2017-07-20 |
System and/or method for computing interprocedural dominators
Grant 9,710,244 - Abadi , et al. July 18, 2 | 2017-07-18 |
Screen oriented data flow analysis
Grant 9,710,264 - Abadi , et al. July 18, 2 | 2017-07-18 |
Method of Adding Local Variables In Place of Global in JavaScript
App 20170161035 - Abadi; Aharon ; et al. | 2017-06-08 |
Automatic Refactoring Of Javascript Code For Multi-thread Execution
App 20170161060 - Abadi; Aharon ; et al. | 2017-06-08 |
Improving Application Code Execution Performance By Consolidating Accesses To Shared Resources
App 20170161034 - Abadi; Aharon ; et al. | 2017-06-08 |
Optimizing Discovery Of High Resources Consuming Wireless Network Resource Within A Group Of Mobile Communication Devices
App 20170150374 - Abadi; Aharon ; et al. | 2017-05-25 |
Finding Uninitialized Variables Outside The Local Scope
App 20170147475 - Abadi; Aharon ; et al. | 2017-05-25 |
Detection Of Antipatterns Through Statistical Analysis
App 20170091073 - Abadi; Aharon ; et al. | 2017-03-30 |
Determining Code Coverage Of An Application By Test(s)
App 20170060733 - Abadi; Aharon ; et al. | 2017-03-02 |
Managing the Presentation of Elements Via a User Interface of a Computing Device.
App 20160370953 - Abadi; Aharon ; et al. | 2016-12-22 |
Screen-oriented computing program refactoring
Grant 9,477,448 - Abadi , et al. October 25, 2 | 2016-10-25 |
Execution optimization of mobile applications
Grant 9,424,006 - Abadi , et al. August 23, 2 | 2016-08-23 |
Fixing Anti-patterns In Javascript
App 20160188435 - Abadi; Aharon ; et al. | 2016-06-30 |
Execution Optimization Of Mobile Applications
App 20160188304 - Abadi; Aharon ; et al. | 2016-06-30 |
Moving Critical Actions Within A Mobile Application
App 20160182654 - Abadi; Aharon ; et al. | 2016-06-23 |
Fixing security vulnerability in a source code
Grant 9,298,924 - Abadi , et al. March 29, 2 | 2016-03-29 |
Method for finding all valid interprocedural execution paths on COBOL in polynomial time
Grant 9,280,446 - Abadi , et al. March 8, 2 | 2016-03-08 |
System And/or Method For Computing Interprocedural Dominators
App 20160011956 - Abadi; Aharon ; et al. | 2016-01-14 |
System and/or method for computing interprocedural dominators
Grant 9,195,458 - Abadi , et al. November 24, 2 | 2015-11-24 |
Method For Finding All Valid Interprocedural Execution Paths On Cobol In Polynomial Time
App 20150248342 - Abadi; Aharon ; et al. | 2015-09-03 |
Mobile computing program slicing and behavior
Grant 9,069,562 - Abadi , et al. June 30, 2 | 2015-06-30 |
Screen Oriented Data Flow Analysis
App 20150121349 - Abadi; Aharon ; et al. | 2015-04-30 |
Screen-oriented Computing Program Refactoring
App 20150121336 - Abadi; Aharon ; et al. | 2015-04-30 |
Mobile Computing Program Slicing
App 20150113501 - Abadi; Aharon ; et al. | 2015-04-23 |
Finite State Machine Forming
App 20150106303 - Abadi; Aharon ; et al. | 2015-04-16 |
Method, apparatus and product for porting applications to embedded platforms
Grant 9,009,684 - Abadi , et al. April 14, 2 | 2015-04-14 |
Flow analysis in program execution
Grant 8,966,455 - Abadi , et al. February 24, 2 | 2015-02-24 |
Plan-based program slicing
Grant 8,959,478 - Abadi , et al. February 17, 2 | 2015-02-17 |
System And/or Method For Computing Interprocedural Dominators
App 20150040105 - Abadi; Aharon ; et al. | 2015-02-05 |
Adjudication Platform Compliance Management
App 20140278559 - Abadi; Aharon ; et al. | 2014-09-18 |
Identifying Additional Variables For Appraisal Tables
App 20140278476 - Abadi; Aharon ; et al. | 2014-09-18 |
Fixing security vulnerability in a source code
Grant 8,819,637 - Abadi , et al. August 26, 2 | 2014-08-26 |
Flow Analysis in Program Execution
App 20140189656 - Abadi; Aharon ; et al. | 2014-07-03 |
Method for code transformation supporting temporal abstraction of parameters
Grant 8,621,430 - Abadi , et al. December 31, 2 | 2013-12-31 |
Fine slicing: generating an executable bounded slice for program
Grant 8,612,954 - Abadi , et al. December 17, 2 | 2013-12-17 |
Method, Apparatus And Product For Porting Applications To Embedded Platforms
App 20130283248 - Abadi; Aharon ; et al. | 2013-10-24 |
Plan-based program slicing
Grant 8,543,974 - Abadi , et al. September 24, 2 | 2013-09-24 |
Generating Policy Summaries From Logic Code
App 20130246080 - Abadi; Aharon ; et al. | 2013-09-19 |
Plan-based Program Slicing
App 20130247015 - Abadi; Aharon ; et al. | 2013-09-19 |
Determining suitable insertion points for string sanitizers in a computer code
Grant 8,539,466 - Abadi , et al. September 17, 2 | 2013-09-17 |
Fixing Security Vulnerability In A Source Code
App 20130133075 - Abadi; Aharon ; et al. | 2013-05-23 |
Software Architecture By Untangling Undesired Code Level Dependencies Using Code Refactoring
App 20130125086 - Abadi; Aharon ; et al. | 2013-05-16 |
Method For Code Transformation Supporting Temporal Abstraction Of Parameters
App 20120227029 - Abadi; Aharon ; et al. | 2012-09-06 |
Automated many-sorted theorem prover
Grant 8,135,663 - Abadi March 13, 2 | 2012-03-13 |
Fixing Security Vulnerability In A Source Code
App 20110302566 - Abadi; Aharon ; et al. | 2011-12-08 |
Plan-based Program Slicing
App 20110055803 - Abadi; Aharon ; et al. | 2011-03-03 |
Fine Slicing: Generating An Executable Bounded Slice For Program
App 20110041123 - Abadi; Aharon ; et al. | 2011-02-17 |
Automated Many-Sorted Theorem prover
App 20090248391 - Abadi; Aharon | 2009-10-01 |
| 