Program Verification Patents (Class 717/126)
  • Patent number: 11194559
    Abstract: Platform as a service (PaaS) automation control systems and methods are provided for automating the deployment of software solutions or middleware into an enterprise or cloud-computing system. The system comprises a distributed network of virtual and physical computing devices arranged in layers including a platform operation layer, development layer, platform administration layer, operating system administration layer and security administration layer. A development automation server and production automation server are configured to selectively advance an automation project from development to production rollout as a function of delegated privilege command (DPC). Using the DPCs, the PaaS automation control system enforces a controlled use of configuration commands needed to implement an automated deployment while limiting access to the infrastructure layer.
    Type: Grant
    Filed: August 6, 2019
    Date of Patent: December 7, 2021
    Assignee: Saudi Arabian Oil Company
    Inventor: Al Alaa N. Tashkandi
  • Patent number: 11182132
    Abstract: A method may comprise determining, by executing a first model having first configuration parameters, a first result associated with the first model. The method may comprise determining, by executing a second model having second configuration parameters, a second result associated with the second model. The method may comprise determining, based on the first result, the second result, and equivalency criteria, that the second model is not functionally equivalent to the first model. The equivalency criteria may indicate that the second model is functionally equivalent to the first model when a difference between the second result and the first result satisfies a threshold. The method may comprise modifying a configuration parameter, of the second configuration parameters, to cause the second model to improve toward functional equivalence with the first model.
    Type: Grant
    Filed: March 7, 2019
    Date of Patent: November 23, 2021
    Assignee: The MathWorks, Inc.
    Inventors: Ravi Vompolu, Ivan Garcia, Gareth Thomas, Paul Cox, Ebrahim Mestchian, Pieter J. Mosterman
  • Patent number: 11157390
    Abstract: Disclosed embodiments provide techniques for automatic software defect correction of a computer program. Computer program log files are scanned to identify runtime errors, corresponding to software defects. The software defects are analyzed to determine an error type, and identify the source file/code that caused the error. A solution template repository is searched for a solution template corresponding to the identified error type. If a solution template is found, the source code is checked out from the identified source repository. The template is applied to the “original” checked out source file to create a new source file with the fix, which is then uploaded back to the repository. A new software distribution is automatically built with the new source file, and the new software distribution is automatically deployed to the devices that experienced the error. Thus, defects can be automatically detected, repaired, and deployed without human intervention.
    Type: Grant
    Filed: June 28, 2019
    Date of Patent: October 26, 2021
    Assignee: International Business Machines Corporation
    Inventors: Ajoy Acharyya, Arijit Roy
  • Patent number: 11144833
    Abstract: Provided are a data processing apparatus and method for merging and processing deterministic knowledge and non-deterministic knowledge. The data processing apparatus and method may efficiently process various real-time and large-scale data to convert the data into knowledge by merging and processing non-deterministic knowledge and also deterministic knowledge perceived by an expert. Thus, it is possible to adaptively operate in accordance with a dynamically changing application service environment by converting a conversion rule for converting collected data generated from an application service system into semantic data, a context awareness rule for perceiving context information from given information, and a user query for searching for knowledge information into knowledge and gradually augmenting the knowledge information in accordance with an application service environment.
    Type: Grant
    Filed: August 31, 2017
    Date of Patent: October 12, 2021
    Assignee: ELECTRONICS AND TELECOMMUNICATIONS RESEARCH INSTITUTE
    Inventors: Soon Hyun Kwon, Eun Joo Kim, Hong Kyu Park, Hyun Joong Kang, Kwi Hoon Kim, Young Min Kim, Hyun Jae Kim, Ji Hoon Bae, Se Won Oh, Jae Hak Yu, Yeon Hee Lee, Ho Sung Lee, Nae Soo Kim, Sun Jin Kim, Cheol Sig Pyo
  • Patent number: 11132183
    Abstract: This disclosure involves development and deployment platforms for decision algorithms. For example, a computing system provides software development interface to a client device. The system sets, based on an input from the client device via the interface, a decision engine to a test mode that causes the decision engine to operate on test data stored in a first database and that prevents the decision engine from applying operations from the client device to production data stored in a second database. The system also configures the decision engine in the test mode to execute a different decision algorithms on the test data. The system also sets, based on another input via the interface, the decision engine to a deployment mode that causes the decision engine to operate on the production data. The system configures the decision engine in the deployment mode to execute one or more of the tested decision algorithms.
    Type: Grant
    Filed: February 22, 2018
    Date of Patent: September 28, 2021
    Assignee: EQUIFAX INC.
    Inventors: Sandeep Gupta, Christian Hall, James Reid, Shen Lu, Dennis Horton, Lee Grice, Thresa Dixon, Scott Garten, Sudhakar Reddy
  • Patent number: 11119761
    Abstract: A computer-implemented method, system and computer program product for identifying implicit dependencies between code artifacts. Co-defect association rules between code artifacts are generated, where such co-defect association rules include a prediction of how likely there will be a defect in a code artifact when there is a defect in an associated code artifact. After detecting a defect in a first code artifact, the co-defect association rules are reviewed to identify any code artifacts associated with the first code artifact. If there is a code artifact associated with the first code artifact, and if the probability of the associated code artifact being defected when the first code artifact is defected exceeds a threshold value, then a recommendation is made to the user to review not only the first code artifact that was defected but also its associated code artifact for a potential defect.
    Type: Grant
    Filed: August 12, 2019
    Date of Patent: September 14, 2021
    Assignee: International Business Machines Corporation
    Inventors: Bo Zhang, Xianjun Zhu, Bradley C. Herrin, Liwei Wang
  • Patent number: 11106460
    Abstract: A change tracking and analytics system and method receives software code blocks from one or more repositories of software related to a software project, such as a new video game. Changes associated with software code blocks, such as relative to previous versions of the software code blocks, may be determined and logged. Additionally, various analytics, such as metrics associated with complexity, divergence from a master version of software code blocks, and/or any cascading effects of the software code blocks may be generated and stored in association with the software code blocks. The change information and analytics may then be used to generate any variety of reports indicating complexity, divergence, or the like over time, information related to software code blocks, and/or information related to behavior of software teams. The change information may also be used to make changes to allocated resources, such as quality assurance resources and/or software engineering resources.
    Type: Grant
    Filed: September 3, 2019
    Date of Patent: August 31, 2021
    Assignee: Electronic Arts Inc.
    Inventors: Milan Culibrk, Edward Kilham, Jeff Skelton
  • Patent number: 11086754
    Abstract: Approaches presented herein enable optimization of a developing application to a user base. More specifically, application-centric data is gathered during a cultivation phase of the developing application. Substantially concurrently with the cultivation phase of the developing application, the application-centric data is analyzed according to static code of the developing application, a testing of the developing application, or a user experience (UX) design of the developing application. A machine learning model is applied to the analyzed application-centric data. This machine learning model is trained on historic application feedback data from applications available to the user base. Based on the machine learning model, a recommended change to optimize the developing application to the user base is generated.
    Type: Grant
    Filed: July 2, 2019
    Date of Patent: August 10, 2021
    Assignee: International Business Machines Corporation
    Inventors: Manish Anand Bhide, Vijay Kumar Ananthapur Bache, Srinivas Chebolu, Jhilam Bera
  • Patent number: 11080175
    Abstract: A scalable enterprise platform for automated functional and integration regression testing is provided. Embodiments of the disclosed system facilitate the testing of any number of different software systems in development, even where the systems have unique dataset formats. Embodiments of the present invention provide a common method to generate logging and results reports across the platform, thereby providing simpler results analysis. Embodiments may also standardize the query set and facilitate the capability to analyze large results sets. Furthermore, embodiments of the disclosed system may combine the original data to the validated data to allow testers to analyze the testing results. In addition, embodiments of the present invention supports secured separation of testing domains. In at least one embodiment, the system includes a centralized user interface system that provides users with different domains to securely access one or more testing domains.
    Type: Grant
    Filed: May 13, 2019
    Date of Patent: August 3, 2021
    Assignee: JPMORGAN CHASE BANK, N.A.
    Inventors: Mark R Wilson, Nicholas Johnston, Pollawat Poonjiradejma, Hani El Sayyed, Thomas Williams
  • Patent number: 11061791
    Abstract: A method, system and computer program product for detecting potential failures in completing a continuous delivery (CD) pipeline using machine learning. A CD pipeline is defined to include stages, where each stage includes a binary event(s). A model is created by applying an Apriori algorithm and a sequential pattern mining algorithm to a set of previous patterns of sequences of binary events to calculate confidence scores for completing a set of binary events in a particular order. After identifying an ongoing CD sequence (ordered set of binary events) for a software application, the model is used to predict a likelihood of the ongoing CD sequence for the software application completing the CD pipeline by generating confidence score(s) for the ongoing CD sequence. A notification is issued regarding a potential failure in completing the CD pipeline for the software application if a confidence score is below a threshold value.
    Type: Grant
    Filed: July 8, 2019
    Date of Patent: July 13, 2021
    Assignee: International Business Machines Corporation
    Inventors: Bo Zhang, Alexander Sobran, Bradley C. Herrin, Xianjun Zhu
  • Patent number: 11061745
    Abstract: Various embodiments discussed herein systems and methods that facilitate analysis of shared resources for a multi-core system. One example embodiment comprise a method involving identifying, via static data based on analysis of the multi-core system, shared resource(s) of the multi-core system that are subject to potential resource violation(s), wherein the static data identifies each read and write access of those shared resource(s) in a software of the multi-core system; receiving hardware trace data for the multi-core system comprising each read and write access of those shared resource(s) in the software as executed by the multi-core system; and making a determination, for each shared resource of the one or more shared resources, based on a comparison between the static data and the hardware trace data, whether at least one of the one or more associated potential resource violations of that shared resource is an associated resource violation of that shared resource.
    Type: Grant
    Filed: November 13, 2018
    Date of Patent: July 13, 2021
    Assignee: Infineon Technologies AG
    Inventors: Sumit Khandelwal, Sandeep Chandrashekar, Akhila Shamsunder, Swasati Baishya
  • Patent number: 11061790
    Abstract: A method, system and computer program product for detecting potential failures in completing a continuous delivery (CD) pipeline using machine learning. A CD pipeline is defined to include stages, where each stage includes a binary event(s). A model is created by applying an Apriori algorithm and a sequential pattern mining algorithm to a set of previous patterns of sequences of binary events to calculate confidence scores for completing a set of binary events in a particular order. After identifying an ongoing CD sequence (ordered set of binary events) for a software application, the model is used to predict a likelihood of the ongoing CD sequence for the software application completing the CD pipeline by generating confidence score(s) for the ongoing CD sequence. A notification is issued regarding a potential failure in completing the CD pipeline for the software application if a confidence score is below a threshold value.
    Type: Grant
    Filed: January 7, 2019
    Date of Patent: July 13, 2021
    Assignee: International Business Machines Corporation
    Inventors: Bo Zhang, Alexander Sobran, Bradley C. Herrin, Xianjun Zhu
  • Patent number: 11055448
    Abstract: Systems and methods for SMT processes using uninterpreted function symbols. A method includes receiving a configuration model. The method includes computing a variant for the configuration model that includes a non-linear function. The method includes identifying input/output pairs in the non-linear function of the variant. The method includes executing a process on an external application for each input/output pair to produce an output value corresponding to each input of the input/output pairs. The method includes comparing the output value corresponding to each input of the input/output pairs with the output corresponding to each input of the input/output pairs. The method includes, when the output value corresponding to each input of the input/output pairs is equal to the output corresponding to each input of the input/output pairs, then the system stores an indication that the variant is correct.
    Type: Grant
    Filed: April 11, 2017
    Date of Patent: July 6, 2021
    Assignee: Siemens Industry Software Inc.
    Inventors: Martin Richard Neuhäuβer, Gabor Schulz
  • Patent number: 11036920
    Abstract: Systems and methods are disclosed for embedding location information in a media collaboration using natural language processing. A method includes identifying, using natural language processing (NLP) techniques, a location discussed by users in a media collaboration, determining a location context of at least one user of the users, the location context comprising a geographic location of a device of the at least one user, identifying location information corresponding to the identified location, generating a preview of the location information, providing the preview to the at least one user via a graphical user interface (GUI) of the media collaboration, the preview provided in a conversation portion of the GUI of the media collaboration, and providing the location information within the media collaboration.
    Type: Grant
    Filed: December 3, 2018
    Date of Patent: June 15, 2021
    Assignee: GOOGLE LLC
    Inventors: Eric W. Barndollar, Aaron Eidelson, Holger Meyers
  • Patent number: 11030087
    Abstract: Systems and methods for automated invocation of accessibility validations in accessibility scripts are disclosed. According to one embodiment, in an information processing apparatus comprising at least one computer processor, an automated accessibility test program performing the following: (1) invoking an automated test program; (2) invoking the automated accessibility test program in the automated test program; (3) loading a webpage to be validated; (4) identifying at least one interactive webpage element on the webpage; (5) causing the automated accessibility program to validate the interactive webpage element with the automated accessibility program; (6) storing a result of the validation; and (7) performing an action validation on the interactive webpage element.
    Type: Grant
    Filed: August 2, 2019
    Date of Patent: June 8, 2021
    Assignee: JPMORGAN CHASE BANK, N.A.
    Inventors: Swaroop Kumar Balakrishnan, Raj Dhilip Kumar Rajmohan, Reddeppa Mandem, Anil Kumar Movva
  • Patent number: 11030066
    Abstract: Techniques for dynamic decomposition of an application executing in a computing environment are provided. For example, an apparatus comprises at least one processing platform comprising one or more processing devices. The at least one processing platform is configured to execute a portion of an application program in a first virtual computing element, wherein the application program comprises one or more portions of marked code, receive a request for execution of one of the one or more portions of marked code, decide whether to execute the portion of marked code identified in the request in the first virtual computing element or in a second virtual computing element, and cause the portion of marked code identified in the request to be executed in the second virtual computing element, when it is decided to execute the portion of the marked code in the second virtual computing element.
    Type: Grant
    Filed: October 30, 2019
    Date of Patent: June 8, 2021
    Assignee: EMC IP Holding Company LLC
    Inventors: Xuebin He, Alex Robbins, James R. King, Amy Seibel, Victor Fong
  • Patent number: 11030035
    Abstract: A method prevents a cascading failure in a complex stream computer system. The method includes receiving binary data that identifies multiple subcomponents in a complex stream computer system. These identified multiple subcomponents include upstream subcomponents that generate multiple outputs and a downstream subcomponent that executes a downstream computational process that uses the multiple outputs. The method dynamically adjusts which of multiple inputs are used by the downstream subcomponent in an attempt to generate an output from the downstream subcomponent that meets a predefined trustworthiness level for making a first type of prediction. If no variations of execution of one or more functions used by the downstream subcomponent ever produce an output that meets the predefined trustworthiness level for making a first type of prediction, then computer hardware executes a new downstream computational process that produces a different second type of prediction.
    Type: Grant
    Filed: April 12, 2019
    Date of Patent: June 8, 2021
    Assignee: International Business Machines Corporation
    Inventors: Robert R. Friedlander, James R. Kraemer, Justyna M. Nowak, Elizabeth V. Woodward
  • Patent number: 11023958
    Abstract: Systems and methods for dynamically defining smart measurement points are disclosed. A first experiment configured to provide one of a base element or a variant element is defined and the first experiment is associated with a first page. The first experiment includes a first dynamically defined qualifying measurement point. A plurality of records each comprising one or more variables indicative of an interaction between one of the plurality of user systems and the computing device are generated and a search query including the first dynamically defined qualifying measurement point is received. Each record received is searched. For each record containing the first dynamically defined qualifying measurement point, an associated one of the plurality of user devices is qualified for the at least one experiment and, for each remaining record, the associated one of the plurality of user devices is excluded for the at least one experiment.
    Type: Grant
    Filed: January 29, 2018
    Date of Patent: June 1, 2021
    Assignee: Walmart Apollo, LLC
    Inventors: Anthony Tang, Swetharam Kasireddi, Justin Rubin, Gholamreza Esfandani Bozchelouei, Girish Subramanian, Duy Le, Shriram Sharma, Stephen Bitondo
  • Patent number: 10970059
    Abstract: Systems and methods for updating firmware or other critical configuration data in scalable distributed systems are provided. Such systems and methods can include (1) a master controller receiving (a) a firmware update file that is divided into a plurality of packets and (b) a metadata file that is associated with the firmware update file and (2) a first one of a plurality of slave controllers receiving the metadata file and, responsive thereto, updating a local peer table to include entries for the master controller and a group of the plurality of slave controllers that are available to share any of the plurality of packets and downloading each of the plurality of packets from a combination of the master controller and the group of the plurality of slave controllers.
    Type: Grant
    Filed: November 30, 2018
    Date of Patent: April 6, 2021
    Assignee: Honeywell International Inc.
    Inventors: Chandramohan Harkude, Sreejith Naarakathil, Deepu Paul
  • Patent number: 10949327
    Abstract: An example embodiment provides a high level language (called a pseudo language herein) built on top of (or representing an abstraction layer on top of) Business Prosecution Execution Language (BPEL), which incorporates three new specialized functions, or “verbs,” that facilitate developer friendly operations that are readily validated during design time using schema awareness, and that enable schema-aware implementations of complex variable modifications during runtime. The pseudo language and accompanying verbs (e.g.
    Type: Grant
    Filed: March 7, 2019
    Date of Patent: March 16, 2021
    Assignee: Oracle International Corporation
    Inventors: Jorge Herreria, Venkatesh Mohanram
  • Patent number: 10949336
    Abstract: A method may include obtaining, from one of the rules of a static analysis, a built-in path relation describing a path constraint on a path variable, generating, using the rules, a transfer function that updates a property vector while analyzing code, generating an evaluation function that determines, using the updated property vector, whether the static analysis is satisfied, and determining whether the code includes a defect by executing the static analysis on the code using the path constraint, the transfer function, and the evaluation function.
    Type: Grant
    Filed: March 29, 2019
    Date of Patent: March 16, 2021
    Assignee: Oracle International Corporation
    Inventors: Nathan Robert Albert Keynes, Eric Beguet
  • Patent number: 10942841
    Abstract: There is provided a computer-implemented method for generating verified software application tests, the method comprising: acquiring a computer readable model representing a functionality of a software application to be tested; generating, based at least partly on the model, a test template for generating a plurality of verified software application tests, the test template comprising a plurality of data input fields for data values and defining data value constraints for the data values; obtaining user data input regarding a data input field; determining whether said user data input defines a data value of the data input field according to the data value constraints; in response to determining that said user data input does not define a data value according to the data value constraints, adjusting one or more data values of the test template such that said data value constraints are met; and generating, based on the test template, at least one software application test meeting the data value constraints.
    Type: Grant
    Filed: December 7, 2018
    Date of Patent: March 9, 2021
    Assignee: Conformiq Holding LLC
    Inventor: Kimmo Nupponen
  • Patent number: 10930139
    Abstract: Apparatus and methods for providing protection from economic exploitation. The apparatus and methods may include a platform for tagging a social security number and/or other suitable identification number. The system may allow a person associated with a social security number to automatically flag and deny any product or service request associated with the social security number. The alarms are “silent,” because the alarm may initiate an institution internal process in which the customer interaction with the institution follows a normal diligence process until an intervention can be effectively executed on behalf of the customer. This reduces the likelihood of a reaction from the customer's associate prior to completing the diligence process. A system may provide the customer with an opportunity to electronically activate an alarm by typing keystrokes on a card reader keypad or interacting with a physical sensor on the reader, on the card, or the like.
    Type: Grant
    Filed: October 10, 2019
    Date of Patent: February 23, 2021
    Assignee: Bank of America Corporation
    Inventors: Monika Kapur, Maria Carolina Barraza Enciso, Elena Kvochko, Katherine Dintenfass
  • Patent number: 10922060
    Abstract: The Application Source Code Reuse Apparatuses, Methods and Systems (“ACR”) transforms compilation request inputs via ACR components into compilation response outputs. A compilation request datastructure that specifies an application identifier is obtained. A first source code branch associated with the application identifier is pulled from a source code repository. A second source code branch associated with the application identifier is rebased using the first source code branch. A first transformation file in the second source code branch is selected. The first transformation file is written in a first programming language and includes a first set of annotations that specify how to modify the first transformation file into a compilable file in the first programming language. The first transformation file is transformed, in accordance with the first set of annotations, into a compilable file in the first programming language. A content package is generated using the transformed first transformation file.
    Type: Grant
    Filed: September 26, 2019
    Date of Patent: February 16, 2021
    Assignee: FMR LLC
    Inventor: John Ward
  • Patent number: 10904331
    Abstract: A method implemented by an application (app) store system that includes receiving a first request for a first version of an app for the mobile phone; pushing the first version of the app for the mobile in response to the first request; automatically pushing a second version of the app to a watch associated with the mobile phone, the mobile phone and the watch having different operating systems; receiving a second request for a third version of the app for the mobile phone; pushing the third version of the app for the mobile phone in response to the second request, where the third version of the app for the mobile phone comprises an update to the first version of the app; and automatically pushing a fourth version of the app to the watch, where the fourth version of the app comprises an update to the second version of the app.
    Type: Grant
    Filed: January 6, 2020
    Date of Patent: January 26, 2021
    Assignee: Futurewei Technologies, Inc.
    Inventor: Guangbin Fan
  • Patent number: 10884902
    Abstract: An autonomous vehicle software management system can distribute AV software versions to safety-driven autonomous vehicles (SDAVs) operating within a given region. The system can receive log data from the SDAVs indicating any trip anomalies of the SDAVs while executing the AV software version. When a predetermined safety standard has been met based on the log data, the system can verify the AV software version for execution on fully autonomous vehicles (FAVs) operating within the given region.
    Type: Grant
    Filed: May 23, 2017
    Date of Patent: January 5, 2021
    Assignee: UATC, LLC
    Inventors: Dima Kislovskiy, David McAllister Bradley
  • Patent number: 10885067
    Abstract: Data gathering and re-presentation tools provided by a service to a client organization enable data to be acquired in an automated manner from a multiplicity of systems (e.g., proprietary databases and other data storage, handling, and management systems) and then re-present the acquired data in any layout and in format in accordance with specifications provided by the client and/or third party. The tools execute routines to validate the acquired data to ensure its completeness and logical accuracy as well as enrich the data with data from other sources or data that is derived from the acquired data. The processed data is organized and transformed into specified end states and routed to appropriate recipients in the client organization.
    Type: Grant
    Filed: September 18, 2018
    Date of Patent: January 5, 2021
    Inventors: W. C. Taylor, III, Michael S. Ackerman, Devlin P. McConagly
  • Patent number: 10878141
    Abstract: Systems and methods and apparatus for placing a plot in an agricultural field. Systems and methods are also provided for selecting a plot location based on primary and secondary parameters, for selecting a plot location based on user-defined parameters, and for allowing a user to accept or reject proposed plot placement.
    Type: Grant
    Filed: June 13, 2012
    Date of Patent: December 29, 2020
    Assignee: The Climate Corporation
    Inventors: Timothy A. Sauder, Justin L. Koch
  • Patent number: 10867032
    Abstract: A method of generating a protected item of software, there being an execution path within code for the protected item of software that causes code for one or more second functions to be executed before executing code for a first function, wherein execution of the code for the one or more second functions causes data to be stored at one or more memory locations, the data satisfying a set of one or more predetermined properties, wherein, in the absence of an attack against the protected item of software when the code for the protected item of software is being executed, the first function is arranged to provide first functionality, the method comprising: configuring the code for the first function so that execution, by one or more processors, of the code for the first function provides the first functionality only if the set of one or more predetermined properties is satisfied by data being stored, when the first function is executed, at the one or more memory locations.
    Type: Grant
    Filed: September 17, 2014
    Date of Patent: December 15, 2020
    Assignee: IRDETO B.V.
    Inventor: Robert Krten
  • Patent number: 10866845
    Abstract: According to one set of embodiments, a computer system can expose, to a non-native software program running in a web browser of the computer system, one or more native OS APIs implemented by an OS of the computer system, where the exposing enables the non-native software program to invoke the one or more native OS APIs as part of its execution within a runtime environment provided by the web browser.
    Type: Grant
    Filed: May 16, 2018
    Date of Patent: December 15, 2020
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Kiril Nikolov Seksenov, Kirupa Chinnathambi, John-David Lewis Dalton, David Risney
  • Patent number: 10846210
    Abstract: Aspects described herein may relate to methods, systems, and apparatuses that combine one or more versions of different software application components of a software platform with a new version of a software component in order to perform an integration test. The combination may be tested in an integration test plan by utilizing versions of the one or more versions of different software application components of the software platform that previously passed the integration test plan. Notification of a failure of the integration testing may be sent back to an applicable developer for correction while the one or more versions of different software application components are maintained.
    Type: Grant
    Filed: October 31, 2019
    Date of Patent: November 24, 2020
    Assignee: Capital One Services, LLC
    Inventors: Bijender Singh, Srinivas Alladi
  • Patent number: 10838750
    Abstract: Ahead-of-time (AOT) and just-in-time (JIT) compilation can be combined to improve application deployment. For example, an application can be deployed in a first container for responding to requests associated with the application. The first container is configured to execute the application at least in part by performing JIT compilation. While the application is deployed within the first container, program code for the application can be compiled in a second container by performing AOT. Based on determining that AOT compilation is complete, a system can be configured to respond to subsequent requests associated with the application by executing the machine code.
    Type: Grant
    Filed: January 10, 2019
    Date of Patent: November 17, 2020
    Assignee: Red Hat, Inc.
    Inventors: Nicola Ferraro, Luca Burgazzoli
  • Patent number: 10795733
    Abstract: A cloud manager controls the deployment and management of machines for an online service. A build system creates deployment-ready virtual hard disks (VHDs) that are installed on machines that are spread across one or more networks in farms that each may include different configurations. The build system is configured to build VHDs of differing configurations that depend on a role of the virtual machine (VM) for which the VHD will be used. The build system uses the VHDs to create virtual machines (VMs) in both test and production environments for the online service. The cloud manager system automatically provisions machines with the created virtual hard disks (VHDs). Identical VHDs can be installed directly on the machines that have already been tested.
    Type: Grant
    Filed: January 2, 2019
    Date of Patent: October 6, 2020
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Jason M. Cahill, Alexander Hopmann, Marc Keith Windle, Erick Raymundo Lerma
  • Patent number: 10789362
    Abstract: A method that involves generating, for source code, a set of nodes for a set of statements comprising a first statement and a second statement, wherein each node of the set of nodes comprises a dataflow fact and a statement of the set of statements; identifying a source node and a sink node of the set of nodes; determining that the source node is backward reachable from the sink node by analyzing an incoming access path; and, in response to the determination, identifying a potential taint flow from the source node to the sink node.
    Type: Grant
    Filed: July 31, 2018
    Date of Patent: September 29, 2020
    Assignee: Oracle International Corporation
    Inventors: Nicholas Allen, Francois Gauthier, Alexander Jordan
  • Patent number: 10783063
    Abstract: A graphical programming test generation system and method are provided. The system, for example, may include, but is not limited to a graphical programming test generator comprising a processor and a memory, the processor configured to generate a graphical programming test generator interface to generate an application, including, but not limited to, a canvas, a plurality of tools, each of the plurality of tools, when added to the canvas, generating a customizable node, wherein one of the plurality of tools is a test node, which when added to the canvas marks the application as a test application and defines a trigger event for executing the test application, wherein the processor is configured to generate the test application based upon one or more customizable nodes added to the canvas, monitor a customer environment for events, and execute the test application upon detection of the trigger event defined for the test application.
    Type: Grant
    Filed: October 23, 2018
    Date of Patent: September 22, 2020
    Assignee: salesforce.com, inc.
    Inventor: Nathan Edward Lipke
  • Patent number: 10785122
    Abstract: Systems and methods provide for validating a canary release of containers in a containerized production environment. A first container of the containerized production environment can receive network traffic. The first container can transmit the network traffic to a first version of a second container of the containerized production environment and to a traffic analysis engine. First metrics relating to processing by the first version of the second container can be captured. The traffic analysis engine can determine one or more traffic patterns included in the network traffic. The traffic analysis engine can cause simulated network traffic corresponding to the one or more traffic patterns to be transmitted to a second version (e.g., a canary release) of the containerized production environment. Second metrics relating to processing by the second version of the second container can be captured. A comparison between the first metrics and the second metrics can be presented.
    Type: Grant
    Filed: October 5, 2018
    Date of Patent: September 22, 2020
    Assignee: CISCO TECHNOLOGY, INC.
    Inventors: Kaustubh Inamdar, Ram Mohan Ravindranath, Gonzalo Salgueiro, Sebastian Jeuk
  • Patent number: 10783247
    Abstract: Software, such as malware, may be classified using phylogenetic techniques. An evolutionary history of a representative set of software programs may be reconstructed to generate a reference phylogeny. Dynamic traces of the representative software programs may be obtained. The dynamic traces may include time-ordered sequences of execution commands extracted from running software binaries. Metrics may be developed using the dynamic traces. One or more unknown software programs may then be classified against the reference phylogeny using the metrics developed using the dynamic traces of the representative set of software programs.
    Type: Grant
    Filed: December 14, 2017
    Date of Patent: September 22, 2020
    Assignee: Triad National Security, LLC
    Inventors: Shannon Steinfadt, Taina Immonen, Thomas Leitner, Michael Kyle
  • Patent number: 10776233
    Abstract: In general, a test instrument includes a first processing system that is programmable to run one or more test programs to test a device interfaced to a test instrument, and that is programmed to control operation of the test instrument, and a second processing system that is dedicated to device testing. The second processing system being programmable to run one or more test programs to test the device, and the first processing system has a first application programming interface (API) and the second processing system has a second API, the first API and the second API being different APIs, the first API and the second API having at least some duplicate functions.
    Type: Grant
    Filed: October 28, 2011
    Date of Patent: September 15, 2020
    Assignee: Teradyne, Inc.
    Inventors: Lloyd K. Frick, David John Lind
  • Patent number: 10769054
    Abstract: Functionality is disclosed herein for integrating a program code marketplace and a service provider network. A program code marketplace system is configured to provide a program code marketplace through which developers or other users can list program code for sale. Program code offered through the program code marketplace may have an associated execution environment definition that defines an execution environment for the program code. A request may be received to deploy program code available through the program code marketplace to a service provider network for execution. In response thereto, the execution environment definition may be utilized to create an execution environment in the service provider network. The program code may then be deployed to the execution environment in the service provider network for execution. The program code marketplace may integrate with other systems, such as a payments system, for processing micropayments for program code available through the program code marketplace.
    Type: Grant
    Filed: February 13, 2014
    Date of Patent: September 8, 2020
    Assignee: Amazon Technologies, Inc.
    Inventors: Charlotte Elaine Henkle, Samuel Ytzhak Donnelley, Sunbir Gill, Ameesh Paleja, Matthew A. Jones, Alexander Lowell Rouse
  • Patent number: 10761972
    Abstract: Implementations include a method and system configured to allow users to track, record, and store process instances and use the recordings in the same or different environments in order to test, debug, and repair detected errors and anomalies in process flows. The method and system also provides a conceptual way where users can create tests by recording and playback one or more flow instances along with processing artifacts in order to test and debug their flow in a different environment to ensure flow executions work across updates, releases, and across different environments.
    Type: Grant
    Filed: June 10, 2019
    Date of Patent: September 1, 2020
    Assignee: Oracle International Corporation
    Inventors: Muthukumar Palanisamy, Rajan Modi, Adinarayana Bellala
  • Patent number: 10754758
    Abstract: Querying resource lifetime using a trace of program execution. An embodiment includes identifying a query expression targeted at least a portion of the trace of program execution. The query expression specifies at least (i) a data object representing a plurality of events identified in the trace, each event associated with one or more attributes relating to resource lifetime, and (ii) one or more conditions matching the one attributes relating to resource lifetime. In response to receiving the query expression, the query expression is processed based at least on an analysis of an identified subset of the trace. Based on processing the query expression, a result data set that includes or identifies at least one of the plurality of events that meets the one or more conditions is presented.
    Type: Grant
    Filed: January 18, 2019
    Date of Patent: August 25, 2020
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
    Inventors: Jordi Mola, Juan Carlos Arevalo Baeza, Darek Josip Michocka
  • Patent number: 10749987
    Abstract: Disclosed embodiments relate to a shared computing system for use in telecommunications between end-point telecommunication devices comprising a plurality of instances of a telecommunications service component and a version control gateway configured to route a communication connection from an end-point telecommunication device to an appropriate instance, of the plurality of instances, of the service component. In some embodiments, different end-point telecommunication devices may use different instances of the service component. Some embodiments relate to a network for telecommunications between end-point telecommunication devices, a version control gateway for use in the system of the disclosure, a method of providing a telecommunications service to a user, a method of migrating a user from one software version of a telecommunications service to another, and computer programs and computer-readable media.
    Type: Grant
    Filed: September 13, 2017
    Date of Patent: August 18, 2020
    Assignee: StarLeaf Ltd
    Inventors: Nicholas Ian Moss, Timothy Joseph Nicolson, Phillip Michael Birtwell
  • Patent number: 10749986
    Abstract: Interacting with a computing device can include registering a plurality of commands from a plurality of applications, wherein the plurality of commands specify entity types that are accepted as parameters, determining a first entity having a first entity type, wherein the first entity is independent of the plurality of applications, and determining a selected command from the plurality of commands registered by the plurality of applications that accepts the first entity type as a parameter. The first entity and the selected command can be provided, using a processor, to a first application of the plurality of applications that supports the selected command for execution.
    Type: Grant
    Filed: April 7, 2017
    Date of Patent: August 18, 2020
    Assignee: SAMSUNG ELECTRONICS CO., LTD.
    Inventors: Jeffrey S. Pierce, Mike Digman, Ranhee Chung
  • Patent number: 10713261
    Abstract: Implementations provide an enhanced search result to improve the user search experience. For example, the result may include insightful information relevant to the search query that was not specifically requested but that the user may find interesting, such as relationships shared between the two entities related to the query, a relationship between the two entities that does not commonly occur with another relationship shared by the entities, or strong secondary connections for an entity related to the query. In some implementations, insightful connections may also be unique facts for a particular entity. Unique facts may represent a superlative attribute of an entity such as, for example, the tallest actor, the oldest president, the most expensive stock, etc. Such shared relationships, rare relationships, and/or unique facts may be provided as part of the search results presented to the query requestor and may provide insight to the requestor about the entity.
    Type: Grant
    Filed: March 13, 2013
    Date of Patent: July 14, 2020
    Assignee: GOOGLE LLC
    Inventors: David Francois Huynh, Guanghua Li, Chen Ding, Yanlai Huang, Ying Chai, Liang Hu, Jingxu Chen
  • Patent number: 10698795
    Abstract: A virtual payments environment can be used to simulate and test performance of a payments system. A plurality of characteristics and settings can be used to generate and/or determine one or more scenarios associated with a payments environment. The one or more scenarios associated with the payments environment can comprise a plurality of activity engines that simulate real-word components of a payments environment. Payment information can be introduced to the one or more scenarios and activity engines can be used to test and/or verify the integrity of the payment information as it traverses a transactional path through the payments environment. Performance data associated with the payment information can be accessed and review in order to determine a number or successes and/or failures associated with processing the payment information as it transverses the payments environment.
    Type: Grant
    Filed: September 18, 2017
    Date of Patent: June 30, 2020
    Assignee: TOTAL SYSTEMS SERVICES, INC.
    Inventors: Donald Morford Riddick, Russell Moore, Kevin Powers
  • Patent number: 10685123
    Abstract: A system that validates a native code module. During operation, the system receives a native code module comprised of untrusted native program code. The system validates the native code module by: (1) determining that code in the native code module does not include any restricted instructions and/or does not access restricted features of a computing device; and (2) determining that the instructions in the native code module are aligned along byte boundaries such that a specified set of byte boundaries always contain a valid instruction and control flow instructions have valid targets. The system allows successfully-validated native code modules to execute, and rejects native code modules that fail validation. By validating the native code module, the system facilitates safely executing the native code module in the secure runtime environment on the computing device, thereby achieving native code performance for untrusted program binaries without significant risk of unwanted side effects.
    Type: Grant
    Filed: July 17, 2017
    Date of Patent: June 16, 2020
    Assignee: Google LLC
    Inventors: J. Bradley Chen, Matthew T. Harren, Matthew Papakipos, David C. Sehr, Bennet S. Yee
  • Patent number: 10678916
    Abstract: Malicious programs may be detected by obtaining program information of a program. A control flow graph may be generated based on the program information. The program may be identified as being potentially malicious based on one or more portions of the control flow graph.
    Type: Grant
    Filed: March 20, 2018
    Date of Patent: June 9, 2020
    Assignee: DiDi Research America, LLC
    Inventor: Yinhong Chang
  • Patent number: 10671758
    Abstract: A technique includes identifying a statement of a program based on a category that is associated with a sensitive-information category. The technique includes, based on a variable that is contained in the program statement, identifying at least one modifiable parameter (MP) of the program; and obfuscating a portion of a memory image associated with the program based on the identified MP.
    Type: Grant
    Filed: August 30, 2017
    Date of Patent: June 2, 2020
    Assignee: MICRO FOCUS LLC
    Inventor: Pramod Joisha
  • Patent number: 10666721
    Abstract: A resource management device includes a memory and a processor configured to accept, from the terminal, a request to execute an exclusion of a first processing device from a device group, the device group including processing devices that execute processing in response to an instruction, execute copying of a processing execution history from a storage in the first processing device to a second processing device different from the first processing device among the device group in response to the request, and execute the exclusion of the first processing device from the device group after completion of the copying of the processing execution history.
    Type: Grant
    Filed: October 20, 2017
    Date of Patent: May 26, 2020
    Assignee: FUJITSU LIMITED
    Inventors: Miki Hayashi, Daisuke Kudo, Chan Jeon Jeon
  • Patent number: 10642923
    Abstract: In one example of the disclosure, an expected measurement range is identified for each of a set of metrics. Actual value measurements are obtained for each of the metrics. Each of the identified expected measurement ranges and the actual value measurements are normalized according to a common scale. A graph is caused to be displayed. The graph includes a baseline band representative of the normalized measurement ranges, and includes the normalized actual value measurements plotted relative to the baseline band.
    Type: Grant
    Filed: April 1, 2015
    Date of Patent: May 5, 2020
    Assignee: MICRO FOCUS LLC
    Inventors: Yair Horovitz, Maria Smolkov, Nurit Peres