Inventor · disambiguated record
Aharon Abadi
Also filed as: ABADI AHARON
52 granted patents·10 pending applications·101 citations·filing 2008–2022
97Inventor score
Top patents by PatentIndex Score
62 records- 0190US8959478B2Plan-based program slicingIBM·Filed 2013·Granted Feb 17, 2015·13 cites·10 claims
- 0288US11288044B1System and method for interprocedural analysisWHITESOURCE LTD·Filed 2021·Granted Mar 29, 2022·4 cites·20 claims
- 0387US11210083B1System and method for safe updating of open source librariesWHITESOURCE LTD·Filed 2020·Granted Dec 28, 2021·4 cites·13 claims
- 0486US8819637B2Fixing security vulnerability in a source codeABADI AHARON·Filed 2010·Granted Aug 26, 2014·10 cites·29 claims
- 0585US9424006B2Execution optimization of mobile applicationsIBM·Filed 2014·Granted Aug 23, 2016·9 cites·20 claims
- 0683US9830149B2Automatic extraction of sensitive code fragments to be executed in a sandboxIBM·Filed 2016·Granted Nov 28, 2017·5 cites·18 claims
- 0783US9710244B2System and/or method for computing interprocedural dominatorsIBM·Filed 2015·Granted Jul 18, 2017·3 cites·19 claims
- 0882US10372194B2Optimizing use of location services in mobile applications to improve battery consumptionIBM·Filed 2016·Granted Aug 6, 2019·4 cites·20 claims
- 0977US8539466B2Determining suitable insertion points for string sanitizers in a computer codeABADI AHARON·Filed 2011·Granted Sep 17, 2013·5 cites·20 claims
- 1076US8966455B2Flow analysis in program executionIBM·Filed 2012·Granted Feb 24, 2015·4 cites·17 claims
- 1175US9823913B2Method of adding local variables in place of global in JavaScriptIBM·Filed 2015·Granted Nov 21, 2017·2 cites·20 claims
- 1275US9786007B2Identifying additional variables for appraisal tablesIBM·Filed 2013·Granted Oct 10, 2017·2 cites·22 claims
- 1374US9298924B2Fixing security vulnerability in a source codeIBM·Filed 2013·Granted Mar 29, 2016·3 cites·14 claims
- 1472US10713364B2System and method for identifying vulnerabilities in code due to open source usageWHITESOURCE LTD·Filed 2018·Granted Jul 14, 2020·2 cites·19 claims
- 1572US10013243B2System and/or method for computing interprocedural dominatorsIBM·Filed 2017·Granted Jul 3, 2018·1 cites·17 claims
- 1672US9733905B1Embedded location awareness in UML modeling for mobile and IoT developmentIBM·Filed 2016·Granted Aug 15, 2017·2 cites·11 claims
- 1772US9195458B2System and/or method for computing interprocedural dominatorsIBM·Filed 2013·Granted Nov 24, 2015·2 cites·17 claims
- 1872US8612954B2Fine slicing: generating an executable bounded slice for programABADI AHARON·Filed 2009·Granted Dec 17, 2013·8 cites·19 claims
- 1971US11288063B2Method and apparatus for assisting in open source usageWHITESOURCE LTD·Filed 2019·Granted Mar 29, 2022·1 cites·20 claims
- 2069US9069562B2Mobile computing program slicing and behaviorIBM·Filed 2013·Granted Jun 30, 2015·2 cites·17 claims
- 2169US8543974B2Plan-based program slicingABADI AHARON·Filed 2009·Granted Sep 24, 2013·4 cites·20 claims
- 2267US10242315B2Finite state machine formingIBM·Filed 2013·Granted Mar 26, 2019·2 cites·14 claims
- 2367US9280446B2Method for finding all valid interprocedural execution paths on COBOL in polynomial timeIBM·Filed 2014·Granted Mar 8, 2016·2 cites·11 claims
- 2464US10296311B2Finding uninitialized variables outside the local scopeIBM·Filed 2015·Granted May 21, 2019·1 cites·16 claims
- 2564US10055329B2Detection of antipatterns through statistical analysisIBM·Filed 2015·Granted Aug 21, 2018·1 cites·22 claims
- 2663US9851957B2Improving application code execution performance by consolidating accesses to shared resourcesIBM·Filed 2015·Granted Dec 26, 2017·1 cites·16 claims
- 2760US8621430B2Method for code transformation supporting temporal abstraction of parametersABADI AHARON·Filed 2011·Granted Dec 31, 2013·1 cites·21 claims
- 2859US10956279B2Managing big data on document based NoSQL databasesIBM·Filed 2017·Granted Mar 23, 2021·1 cites·19 claims
- 2959US9720690B2Software architecture by untangling undesired code level dependencies using code refactoringABADI AHARON·Filed 2011·Granted Aug 1, 2017·1 cites·22 claims
- 3057US8135663B2Automated many-sorted theorem proverABADI AHARON·Filed 2008·Granted Mar 13, 2012·1 cites·1 claims
- 3154US2014278559A1Adjudication platform compliance managementIBM·Filed 2013·Application pending·0 cites
- 3252US10789067B2System and method for identifying open source usageWHITESOURCE LTD·Filed 2018·Granted Sep 29, 2020·0 cites·20 claims
- 3351US10747871B2System and method for producing secure data management softwareIBM·Filed 2018·Granted Aug 18, 2020·0 cites·19 claims
- 3451US10296306B2Embedded location awareness in UML modeling for mobile and IoT developmentIBM·Filed 2017·Granted May 21, 2019·0 cites·18 claims
- 3551US9983975B2Fixing anti-patterns in javascriptIBM·Filed 2014·Granted May 29, 2018·0 cites·16 claims
- 3649US9769590B2Moving critical actions within a mobile applicationIBM·Filed 2014·Granted Sep 19, 2017·0 cites·16 claims
- 3749US2013246080A1Generating Policy Summaries From Logic CodeABADI AHARON·Filed 2012·Application pending·0 cites
- 3848US11210087B2System and method for interprocedural analysisWHITESOURCE LTD·Filed 2019·Granted Dec 28, 2021·0 cites·22 claims
- 3948US9477448B2Screen-oriented computing program refactoringIBM·Filed 2013·Granted Oct 25, 2016·0 cites·18 claims
- 4046US11880470B2System and method for vulnerability detection in computer codeWHITESOURCE LTD·Filed 2021·Granted Jan 23, 2024·0 cites·18 claims
- 4146US9710264B2Screen oriented data flow analysisIBM·Filed 2013·Granted Jul 18, 2017·0 cites·20 claims
- 4244US2020142972A1System and method for identifying open source repository used in codeWHITESOURCE LTD·Filed 2018·Application pending·0 cites
- 4344US2023315862A1Method and apparatus for identifying dynamically invoked computer code using literal valuesWHITESOURCE LTD·Filed 2022·Application pending·0 cites
- 4443US9934132B2Determining code coverage of an application by test(S)IBM·Filed 2015·Granted Apr 3, 2018·0 cites·18 claims
- 4543US2023229460A1Method and apparatus for identifying dynamically invoked computer codeWHITESOURCE LTD·Filed 2022·Application pending·0 cites
- 4642US10136282B2Dynamic download policy for mobile applicationsIBM·Filed 2016·Granted Nov 20, 2018·0 cites·19 claims
- 4742US9983983B2Auto-generation of testable units for COBOL codeIBM·Filed 2016·Granted May 29, 2018·0 cites·22 claims
- 4842US9946536B2Automatic refactoring of javascript code for multi-thread executionIBM·Filed 2015·Granted Apr 17, 2018·0 cites·20 claims
- 4942US9009684B2Method, apparatus and product for porting applications to embedded platformsABADI AHARON·Filed 2012·Granted Apr 14, 2015·0 cites·18 claims
- 5041US10001543B1Methods and systems for noise removal in indoor positioningIBM·Filed 2017·Granted Jun 19, 2018·0 cites·14 claims
Showing the top 50 of 62 patent records by PatentIndex Score.
Join the waitlist — get patent alerts
Get an alert when Aharon Abadi files or is granted a new patent.
We store only your email — no account needed. See our privacy policy.
Identity basis: PatentsView inventor disambiguation (2025Q4-odp release). How scoring works →