DETECT APPLICATION DEFECTS BY CORRELATING CONTRACTS IN APPLICATION DEPENDENCIES

Patent №

US 10,083,029

Granted

2018-09-25

Filed 2016

Owner

RED HAT, INC.

Lab

—

AI components

planning · hardware

Assignment

Recorded

Dataset

AIPD

2023_r1 edition

Application

15347474

View graph

An example method of detecting incompatibility between an application and an application dependency includes identifying a first set of contracts exposed in a first version of an application dependency. Each contract includes a symbol and a corresponding signature. The example method also includes comparing the first set of contracts to a corresponding second set of contracts exposed in a second version of the application dependency. The example method further includes determining, based on the comparing, whether the first set of contracts matches the second set of contracts. If the first set of contracts matches the second set of contracts, an indication that the second set of contracts is compatible with the application is provided. If the first set of contracts does not match the second set of contracts, an indication that the second set of contracts is not compatible with the application is provided.

Planning AI hardwareG06F 8/71G06F 9/541

Google Patents

AI classification

AI hardware1.00

Planning0.93

Vision0.35

Knowledge representation0.33

Natural language0.17

Evolutionary computation0.02

Machine learning0.01

Speech0.00

Ownership

RED HAT, INC.

assignment · 402740798

Assignors

ODVODY, PAVEL, CHALOUPKA, JAN, POKORNY, FRIDOLIN

On an employer assignment, the assignors are typically the inventors.

From the same owner

QUANTUM SERVICE DISCOVERYUS 12,675,726 · 2026 SYSTEMS AND METHODS FOR ACTIVATION SPARSE AND KERNEL SPARSE GENERAL MATRIX MULTIPLICATION IN NEURAL NETWORKSUS 12,670,370 · 2026 REPLACING LAMBDA EXPRESSIONS IN A RETE NETWORK WITH CORRESPONDING CODE CLASSESUS 12,664,450 · 2026 PREDICTING QUBIT ANOMALIES BASED ON UTILIZATION HISTORYUS 12,651,189 · 2026 QUANTUM CODE SPACE ADMINISTRATIONUS 12,651,192 · 2026 SYSTEM AND METHOD OF EXECUTING NEURAL NETWORKS USING COMPRESSION AND TENSOR COLUMNSUS 12,645,911 · 2026 DECOMPOSING QUANTUM SOURCE CODE FILES INTO QUANTUM CODE SNIPPETSUS 12,639,605 · 2026 Qubit Registry NamespacesUS 12,639,609 · 2026

Cites (56)

Dependency-driven Co-Specialization of Specialized ClassesUS 9,678,729 · 2017 MODULAR CO-VERSIONING IN A DYNAMICALLY LINKED RUNTIME ENVIRONMENTUS 9,519,468 · 2016 Application Resource UpdatesUS 9,483,255 · 2016 CROSS-LIBRARY FRAMEWORK ARCHITECTURE FEATURE SETSUS 9,430,200 · 2016 IMPORTANCE-BASED CALL GRAPH CONSTRUCTIONUS 9,208,055 · 2015 AUTO DETECTING SHARED LIBRARIES AND CREATING A VIRTUAL SCOPE REPOSITORYUS 9,195,502 · 2015 METHOD AND A SYSTEM FOR SEARCHING FOR PARTS OF A COMPUTER PROGRAM WHICH AFFECTS A GIVEN SYMBOLUS 9,164,742 · 2015 Assigning Severity To A Software UpdateUS 9,158,530 · 2015 SYSTEMS AND METHODS FOR MONITORING APPLICATION RESOURCE USAGE ON MOBILE COMPUTING SYSTEMSUS 9,118,520 · 2015 CLOUD-BASED APPLICATION RESOURCE FILESUS 9,086,937 · 2015 VERSION CONFLICT CHECKING TO INSTALLABLE UNITUS 9,075,695 · 2015 Device Capability FilteringUS 9,055,120 · 2015 Method and system for converting a single-threaded software program into an application-specific supercomputerUS 8,966,457 · 2015 IDENTIFYING APPLICATION RESOURCES THROUGH IMPLICIT APPLICATION MODELSUS 8,930,886 · 2015 Generation of API Call Graphs from Static DisassemblyUS 8,930,916 · 2015 SYSTEM AND METHOD FOR MAINTAINING MAPPINGS BETWEEN APPLICATION RESOURCES INSIDE AND OUTSIDE ISOLATED ENVIRONMENTSUS 8,904,004 · 2014 STATIC ANALYSIS FOR VERIFICATION OF SOFTWARE PROGRAM ACCESS TO SECURE RESOURCES FOR COMPUTER SYSTEMSUS 8,793,800 · 2014 Classloading Technique for an Application Server that Provides Dependency EnforcementUS 8,738,589 · 2014 Providing computational resources to applications based on accuracy of estimated execution times provided with the request for application executionUS 8,689,229 · 2014 TYPED DEPENDENCY GRAPHSUS 8,624,898 · 2014 STATIC SEMANTIC ANALYSIS OF DYNAMIC LANGUAGESUS 8,555,250 · 2013 STATIC CODE ANALYSIS FOR PACKAGED APPLICATION CUSTOMIZATIONUS 8,549,490 · 2013 Generating An Executable Version Of An Application Using A Distributed Compiler Operating On A Plurality Of Compute NodesUS 8,495,603 · 2013 STATIC ANALYSIS USING INTERACTIVE AND INTEGRATION TOOLSUS 8,443,342 · 2013 SYSTEM AND METHOD FOR LOADING A CALLED CLASS FILE TABLE WITH DATA INDICATING A HIGHEST VERSION OF A CLASS FILEUS 8,418,161 · 2013

and 31 more

Related research

Detect Defects of Solidity Smart Contract Based on the Knowledge GraphSemantic Scholar Draft Better ContractsOpenAlex Partial Contracts Suffice: Sound, LLM-Inferred Regression VerificationarXiv Darcy: Automatic Architectural Inconsistency Resolution in JavaOpenAlex Analyzing information from versioning systems to detect logical dependencies in software systemsSemantic Scholar

Full text

Google Patents