Including Analysis Of Program Execution Patents (Class 717/131)
  • Patent number: 10977160
    Abstract: Determining instruction execution history in a debugger, including: retrieving, from an instruction cache, cache data that includes an age value for each cache line in the instruction cache; sorting, by the age value for each cache line, entries in the instruction cache; retrieving, using an address contained in each cache line, one or more instructions associated with the address contained in each cache line; and displaying the one or more instructions.
    Type: Grant
    Filed: October 9, 2019
    Date of Patent: April 13, 2021
    Assignee: International Business Machines Corporation
    Inventors: Thomas M. Gooding, Andrew T. Tauferner
  • Patent number: 10970198
    Abstract: An automatic test system suitable for testing a server comprises a storage device, a computing device, and a sensing device. The storage device stores an automatic test script. The sensing device collects a plurality of test results of the server. The automatic test script comprises a parameter configuration module, a data processing module, and a core logic module. The parameter configuration module provides a plurality of configuration parameters associated with a server test procedure. The data processing module comprises a data recording sub-module and a data sorting sub-module, while the former receives an output data set from the server test procedure, and the latter generates a test report according to the output data set and the configuration parameters. The core logic module comprises a plurality of instruction sets for controlling the server test procedure through a data exchange interface.
    Type: Grant
    Filed: August 15, 2019
    Date of Patent: April 6, 2021
    Assignees: INVENTEC (PUDONG) TECHNOLOGY CORPORATION, INVENTEC CORPORATION
    Inventors: Qun Wu, Xuefeng Chen, Dong-Rui Xue
  • Patent number: 10956292
    Abstract: A method includes receiving a data retrieval request. A plurality of identifiers are determined in accordance with the data retrieval request. Stored integrity information corresponding to the data retrieval request is received. Desired integrity information is generated based on the plurality of identifiers. The stored integrity information is compared with the desired integrity information. When the stored integrity information compares favorably with the desired integrity information, at least a decode threshold number of encoded data slices of a set of encoded data slices of a plurality of sets of encoded data slices are dispersed storage error decoded.
    Type: Grant
    Filed: September 17, 2020
    Date of Patent: March 23, 2021
    Assignee: PURE STORAGE, INC.
    Inventors: Gary W. Grube, Timothy W. Markison
  • Patent number: 10956396
    Abstract: A data system is provided for analyzing and maintaining data obtained from one or more data sources on which the data system depends. The system includes a primary database including current values used by the system and a collection of executable algorithms used to generate the data maintained in the primary database. In response to receiving a notification regarding a change in one of the data sources, a dependency database is used to establish an execution order for algorithms of the algorithm collection that are directly or indirectly dependent on the changed data. The algorithms identified in the execution order are then executed in accordance with the execution order and the corresponding result is stored in the primary database. The system may include data harvesters adapted to recognize changes in the data sources and to generate and transmit corresponding change notifications when such changes occur.
    Type: Grant
    Filed: November 7, 2019
    Date of Patent: March 23, 2021
    Assignee: Level 3 Communications, LLC
    Inventors: William Gray, Binchao Chen, Steven D. Meyer
  • Patent number: 10936385
    Abstract: A method, computer program product, and computer system are provided for running an application over a host kernel. The method intercepts a system call initiated by a container instance running on a host kernel, then determines whether the initiating container instance is tagged with a mapping to a virtual machine (VM) also running on the host kernel. The method further redirects the system call to the mapped VM responsive to the initiating container instance being tagged with a mapping to a VM, wherein the system call is to be processed by the VM.
    Type: Grant
    Filed: May 5, 2017
    Date of Patent: March 2, 2021
    Assignee: International Business Machines Corporation
    Inventors: Yanyan Hu, Guang Cheng Li, Yubo Li, Chao Zhu
  • Patent number: 10936334
    Abstract: The invention relates to a configuration implementation system that allows users to maintain configurations for production resources (e.g., application, systems, or the like) in a main configuration table, and multiple versions of the configurations in branch configuration tables in order to deploy and test the branch configurations independently of each other based on implementation schedules. Moreover, the configurations in the configuration branches can be implemented in various releases for the production resource as necessary and merged into the other branches in order to maintain consistency with the production resource and to identify any discrepancies between the configuration branches. The invention also utilizes script patterns to create scripts to implement the configuration changes in the production resources in a uniform way regardless of the user that is creating, modifying, deploying, testing, and/or implementing the configurations through the various branches.
    Type: Grant
    Filed: July 12, 2018
    Date of Patent: March 2, 2021
    Assignee: BANK OF AMERICA CORPORATION
    Inventors: Sailaja L. S. Nadella, Srinivas Ankareddy, Amitkumar R. Bhandari, Scott Davies Jordan, Adrian Marchis, Noah G. Sack
  • Patent number: 10891128
    Abstract: Techniques for detecting software regression in computing systems are disclosed. One example technique includes fitting data in a dataset into a multiple variable model to obtain a set of estimated coefficients. The dataset having data representing multiple entries each containing an identification of a combination of multiple payloads included in a build of a software product and a corresponding value of a performance metric of executing the build at a computing device. The payloads individually represent a source code change, a feature enablement, or a configuration modification of the software product. The estimated coefficients individually correspond to one of the payloads. The method further includes in response to determining that a corresponding estimated coefficient of one of the payloads has an absolute value that is greater than a preset threshold, indicating that a software defect is likely present in the corresponding payload.
    Type: Grant
    Filed: August 7, 2019
    Date of Patent: January 12, 2021
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Jihad Tafas, Eric Kratzer, Sergiy Dukhopel
  • Patent number: 10853060
    Abstract: A computer-implemented method includes creating, by a computing device, an abstract syntax tree based on a source code file of a software application, the source code file including source code defining operations of the software application. The method also includes traversing, by the computing device, the abstract syntax tree. The method further includes identifying, by the computing device and based on the traversing of the abstract syntax tree, one or more code violations present in the source code. The method also includes generating, by the computing device, at least one refactoring option for the one or more code violations, each refactoring option of the at least one refactoring option representing a change to the source code file that is configured to remediate the associated code violation.
    Type: Grant
    Filed: January 13, 2020
    Date of Patent: December 1, 2020
    Assignee: ARCHITECTURE TECHNOLOGY CORPORATION
    Inventors: Colleen Kimball, Katey Huddleston, Paul Nicotera
  • Patent number: 10846197
    Abstract: A computer-implemented method for debugging mixed-language applications may include (i) determining that an application includes code written in least two programming languages, (ii) identifying, in response to determining that the application includes the code written in the at least two programming languages, a language-agnostic debugger that integrates dynamically specified language-specific debuggers via a common debugger protocol, (iii) configuring the language-agnostic debugger to, for each of the at least two programming languages in which the application is written, integrate a language-specific debugger for the programming language, and (iv) debugging the application using the language-agnostic debugger that integrates the language-specific debuggers for the at least two programming languages. Various other methods, systems, and computer-readable media are also disclosed.
    Type: Grant
    Filed: December 13, 2018
    Date of Patent: November 24, 2020
    Assignee: Facebook, Inc.
    Inventor: Eric Bluestein
  • Patent number: 10817346
    Abstract: The disclosed technology teaches initializing an application instance using a SaaS model in a project implemented on a cloud-based computing service, including running a configuration engine that links a service provider for SaaS application to set configuration parameters for the project and initializing the project in which an application instance will be built, then removing the authorization of the configuration engine to access the project and removing access to set the parameters. The technology also includes running a SaaS application infrastructure builder autonomously, without the service provider having access to the builder, to build the instance, and then delivering the application as a SaaS service. The method further includes running a SaaS maintenance service, under sovereign control of a customer organization, to pull from the service provider and install in the project, maintenance updates for the instance, without exposing data secured by the customer organization to the service provider.
    Type: Grant
    Filed: September 23, 2019
    Date of Patent: October 27, 2020
    Assignee: ForgeRock, Inc.
    Inventors: Scott Culp, Beau Croteau, Steve White
  • Patent number: 10810368
    Abstract: A parser for natural language text is provided. The parser is trained by accessing a corpus of labeled utterances. The parser extracts details of the syntactic tree structures and part of speech tags from the labeled utterances. The details extracted from the tree structures include Simple Links which are the key to the improved efficiency of this new approach. The parser creates a language model using the details that were extracted from the corpus. The parser then uses the language model to parse utterances.
    Type: Grant
    Filed: July 19, 2018
    Date of Patent: October 20, 2020
    Inventor: Robert D. New
  • Patent number: 10789067
    Abstract: A method, system and computer program product, the method comprising: obtaining one or more source files to be examined for open source usage; extracting partial representation of a source file from the source files; creating fingerprints from the partial representation; encoding the fingerprints into characteristics; issuing a query to a database for retrieving from an open source and characteristics index one or more open source files associated with the characteristics; receiving a response including the retrieved open source file; checking whether the source file comprises a snippet from the open source file; and subject to the source file comprising the snippet, outputting an identification of the open source file.
    Type: Grant
    Filed: November 5, 2018
    Date of Patent: September 29, 2020
    Assignee: WHITESOURCE LTD.
    Inventors: Aharon Abadi, Doron Cohen, Rami Sass
  • Patent number: 10789238
    Abstract: An event triggering method includes the following steps. First, it is detected whether a version control command received from the version control server is a commit command. In response to detecting that the version control command is the commit command, the commit command is decoded to obtain a comment string and the comment string is compared with at least one predetermined string to determine whether they are matched, wherein the predetermined string corresponds to a predetermined event. In response to determining that the comment string and the comment string are matched, triggering of the predetermined event corresponding to the predetermined string is being performed.
    Type: Grant
    Filed: June 3, 2016
    Date of Patent: September 29, 2020
    Assignee: WISTRON CORP.
    Inventor: Kuang-Hao Tung
  • Patent number: 10789307
    Abstract: Information from a variety of different sources may be used to enrich information about an object retrieved from a computing device/instance associated with a computing network (or web service provider). The additional information from the different sources provides to a user a more comprehensive set of information that may not be easily found (or even available) via sources associated with the computing network. As such, the additional information is beneficial in assisting users in making decisions regarding the purchase, licensing, and use of different objects (e.g. software, hardware, web services) associated with the computing network.
    Type: Grant
    Filed: September 15, 2017
    Date of Patent: September 29, 2020
    Assignee: BDNA Corporation
    Inventors: Alexander Meau, Prakhar Gangwal, Robin James
  • Patent number: 10747880
    Abstract: Certain embodiments of the present invention are configured to facilitate analyzing computer code more efficiently. For example, by conducting a first level abstraction (e.g., symbolic interpretation and algebraic simplification) and a second level abstraction (e.g., generalization) of the computer code, the analysis may more accurately account for variations in the code that may occur as a result of register renaming, instruction reordering, choice of instructions, etc. while minimizing the cost of computations required to perform the analysis.
    Type: Grant
    Filed: December 30, 2013
    Date of Patent: August 18, 2020
    Assignee: University of Louisiana at Lafayette
    Inventor: Arun Lakhotia
  • Patent number: 10719336
    Abstract: Described herein is a system and method for dependency version conflict auto-resolution for executing job(s). During execution of a particular version of a workflow comprising tasks, information regarding a particular task to be executed is received. The particular task is dependent on another task. Information regarding the dependency is retrieved from a global dependency data structure (e.g., graph) that stores current dependency information regarding the tasks. When it is determined that the conflict exists with respect to the dependency of the particular task on the another task, information regarding the dependency and workflows is retrieved, information regarding a dependency change history regarding at least one of the plurality of tasks, information regarding the particular version of the workflow and a different version of the workflow. A resolution to the conflict can be identified based, at least in part, upon the retrieved information, and, a correct action performed.
    Type: Grant
    Filed: May 14, 2019
    Date of Patent: July 21, 2020
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Vitalii Tsybulnyk, Aritra Dattagupta, Marwan Elias Jubran, Willy Tanimihardja
  • Patent number: 10705814
    Abstract: Certain example embodiments relate to techniques for generating reassemblable disassemblies of binaries using declarative logic. A declarative logic programming language (e.g., Datalog) is used to compile reverse engineering, binary analysis, and disassembly rules into a format applicable to an executable program, yielding disassembly of that program. Datalog, for example, can be used as a query language for deductive databases, to facilitate this approach. Certain example embodiments thus involve (1) preparation of an executable for Datalog analysis, (2) inference rules and the application of Datalog for program analysis, including the application of Datalog to the domain of binary reverse engineering and analysis, and (3) the collection of assembly code from the results of the Datalog analysis. These rules can include both “hard rules” and “soft rules” or heuristics, even though standard Datalog does not support the latter.
    Type: Grant
    Filed: November 30, 2018
    Date of Patent: July 7, 2020
    Assignee: GRAMMATECH, INC.
    Inventors: Eric Michael Schulte, Antonio Enrique Flores Montoya
  • Patent number: 10684937
    Abstract: This disclosure relates generally to a system and a method for repositioning of a plurality of static analysis alarms is provided. The proposed repositioned techniques, reposition each of the static analysis alarms from the set of static analysis alarms up or down the application code from the program points of their original reporting, for reducing the number of static analysis alarms reported or for reporting them closer to their causes or for both the objectives. Further the proposed repositioning techniques also ensure that the repositioning of the static analysis alarms is without affecting the errors uncovered by them. Further the disclosure also proposes to maintain traceability links between a repositioned static analysis alarm and its corresponding static analysis alarm(s).
    Type: Grant
    Filed: December 4, 2018
    Date of Patent: June 16, 2020
    Assignee: Tata Consultancy Services Limited
    Inventors: Tukaram B. Muske, Rohith Talluri
  • Patent number: 10684938
    Abstract: Disclosed aspects relate to debugging a set of code components of an application program. A set of defect data which indicates a set of defects may be collected with respect to an application program. The set of defect data may be derived from a set of post-compilation users of the application program. A set of test case data which indicates a set of user interface features of the application program may be collected with respect to the application program. The set of test case data may be derived from a set of development tests of the application program. Using both the set of defect data and the set of test case data, a set of fragility data for the set of code components of the application program may be determined. Based on the set of fragility data, the set of code components of the application program may be debugged.
    Type: Grant
    Filed: October 24, 2018
    Date of Patent: June 16, 2020
    Assignee: International Business Machines Corporation
    Inventors: Vijay Ekambaram, Leigh A. Williamson, Shinoj Zacharias
  • Patent number: 10671380
    Abstract: Implementations of the present specification include receiving, from a smart contract, and by a function controller executing within the blockchain network, a function call to execute a function, the function call including data for execution of the function, transmitting, by the function controller, the data of the function call to a function component, the function component executing the function based on the data of the function call, receiving, by the function controller, a function result from the function component, and providing, by the function controller, the function result to the smart contract.
    Type: Grant
    Filed: April 22, 2019
    Date of Patent: June 2, 2020
    Assignee: Alibaba Group Holding Limited
    Inventors: Kailai Shao, Xuming Lu
  • Patent number: 10664374
    Abstract: An event analysis device having an event collector for collecting event log data representing an operation history by a DCS operator; an event analyzer for analyzing the event log data, and extracting basic unit operations or unit operations representing an operation method based on operations of the DCS operator or an operation intention based on operations of the DCS operator; an operation sequence extractor for extracting operation sequences which the basic unit operations or the unit operations are aligned in accordance with time order in every service time period; an operation clusterer for clustering the operation sequences based on similarity among the operation sequences extracted in every service time period; and an operation procedure generator for analyzing the operation sequences clustered in same type, and estimating a structure of the operation procedure based on the operation of the DCS operator.
    Type: Grant
    Filed: November 7, 2016
    Date of Patent: May 26, 2020
    Assignee: Yokogawa Electric Corporation
    Inventors: Zhuo Liu, Yuichi Sakuraba
  • Patent number: 10664334
    Abstract: A robot, failure diagnosis system, failure diagnosis method, and recording medium that enable easy diagnosis of a failure of a robot are provided. In a robot 100, a failure diagnosis unit 150 diagnoses a failure of the robot 100, based on a spontaneous self motion made by the robot 100 independently of a predetermined target without interaction with the predetermined target.
    Type: Grant
    Filed: July 10, 2017
    Date of Patent: May 26, 2020
    Assignee: CASIO COMPUTER CO., LTD.
    Inventors: Toshihiko Otsuka, Hiroki Atsumi, Takahiro Tomida, Yoshihiro Kawamura
  • Patent number: 10664387
    Abstract: Disclosed aspects relate to debugging a set of code components of an application program. A set of defect data which indicates a set of defects may be collected with respect to an application program. The set of defect data may be derived from a set of post-compilation users of the application program. A set of test case data which indicates a set of user interface features of the application program may be collected with respect to the application program. The set of test case data may be derived from a set of development tests of the application program. Using both the set of defect data and the set of test case data, a set of fragility data for the set of code components of the application program may be determined. Based on the set of fragility data, the set of code components of the application program may be debugged.
    Type: Grant
    Filed: October 30, 2018
    Date of Patent: May 26, 2020
    Assignee: International Business Machines Corporation
    Inventors: Vijay Ekambaram, Leigh A. Williamson, Shinoj Zacharias
  • Patent number: 10649688
    Abstract: A processor includes a memory subsystem having a first memory subunit that includes a status register and an execution engine unit coupled to the memory subsystem. The execution engine unit is to: randomly select a load operation to monitor; determine a re-order buffer identifier of the load operation; and transmit the re-order buffer identifier to the memory subsystem. Responsive to receipt of the re-order buffer identifier, the first memory subunit stores a piece of information, related to a status of the load operation, in the status register. Responsive to detection of retirement of the load operation, the first memory subunit is to store the piece of information from the status register into a particular field of a record of a memory buffer, wherein the particular field is associated with the first memory subunit.
    Type: Grant
    Filed: November 1, 2018
    Date of Patent: May 12, 2020
    Assignee: Intel Corporation
    Inventors: Ahmad Yasin, Michael Chynoweth, Rajshree Chabukswar, Muhammad Taher
  • Patent number: 10613971
    Abstract: Certain aspects of the present disclosure provide techniques for autonomously testing a web-based application. The techniques generally include an analysis module searching a page of the web-based application for one or more fillable form fields and identifying a fillable form field in the page. The analysis module determines a field type associated with the fillable form field, determines a field data format based on the field type of the fillable form field and generates a test data entry based on the field data format. The analysis module then enters the test data entry into the respective fillable form field and submits the test data entry to a server.
    Type: Grant
    Filed: January 12, 2018
    Date of Patent: April 7, 2020
    Assignee: INTUIT INC.
    Inventor: Raj Vasikarla
  • Patent number: 10614238
    Abstract: A data protection method includes detecting whether critical code of an application has been called, with the critical code being used to access critical data; switching from a preconfigured first extended page table (EPT) to a preconfigured second EPT according to preset trampoline code corresponding to the critical code when an operating system calls the critical code using the first EPT, wherein memory mapping relationships of the critical data and the critical code are not configured in the first EPT, the memory mapping relationships of the critical data and the critical code are configured in the second EPT, and the critical data and the critical code are separately stored in independent memory areas; and switching from the second EPT back to the first EPT according to the trampoline code after calling and executing the critical code using the second EPT.
    Type: Grant
    Filed: November 22, 2017
    Date of Patent: April 7, 2020
    Assignee: HUAWEI TECHNOLOGIES CO., LTD.
    Inventors: Yutao Liu, Yubin Xia, Haibo Chen
  • Patent number: 10608879
    Abstract: Aspects of the present disclosure relate to systems and methods that help automate the validation of a configuration of a functional product. Every functional product, be it a service, device, or combination thereof, has one or more documents associated with it. These documents may include such documentation as: (1) Release Notes; (2) Configuration Guides; (3) command line interfaces (CLIs)/application program interfaces (APIs); (4) Data Sheets; (5) Installation Guides; (6) User Manuals; (7) Errata notices; and (8) other documentation. In embodiments, datatset used for validating a configuration setting may be extracted using natural language processing from technical documentation. In embodiments, this extracted information is used to validate a design vector representing a configuration setting.
    Type: Grant
    Filed: April 13, 2016
    Date of Patent: March 31, 2020
    Assignee: DELL PRODUCTS L.P.
    Inventors: Vinay Sawal, Sachinrao Chittaranjan Panemangalore, Vivek Dharmadhikari, Kuntal Atulbhai Patel
  • Patent number: 10606571
    Abstract: A direct relationship extraction unit generates a direct relationship list indicating a set of a direct dependence source, a direct dependence destination, and a direct dependence type. A storage unit stores an indirect relationship rule including a plurality of direct dependence types, an element relationship, a dependence source element, and a dependence destination element.
    Type: Grant
    Filed: April 26, 2016
    Date of Patent: March 31, 2020
    Assignee: MITSUBISHI ELECTRIC CORPORATION
    Inventors: Natsuko Fujii, Yuki Hikawa, Ryo Kashiwagi, Katsuhiko Nakamura, Takanari Fujimoto, Miwa Fukuda
  • Patent number: 10606731
    Abstract: Disclosed aspects relate to debugging a set of code components of an application program. A set of defect data which indicates a set of defects may be collected with respect to an application program. The set of defect data may be derived from a set of post-compilation users of the application program. A set of test case data which indicates a set of user interface features of the application program may be collected with respect to the application program. The set of test case data may be derived from a set of development tests of the application program. Using both the set of defect data and the set of test case data, a set of fragility data for the set of code components of the application program may be determined. Based on the set of fragility data, the set of code components of the application program may be debugged.
    Type: Grant
    Filed: April 23, 2019
    Date of Patent: March 31, 2020
    Assignee: International Business Machines Corporation
    Inventors: Vijay Ekambaram, Leigh A. Williamson, Shinoj Zacharias
  • Patent number: 10565089
    Abstract: A first code version is received. The first code version includes a plurality of code features, such as methods or classes. A second code version is received. The second code version includes a plurality of code features. The first code version is executed. A first plurality of code features executed during the execution of the first code version are determined. A second plurality of code features differing between the first and second code versions are determined. The first and second plurality of code features are compared. An indication is provided that a code feature is potentially relevant to the code behavior if the code feature is present in the first plurality of code features and in the second plurality of code features.
    Type: Grant
    Filed: August 15, 2016
    Date of Patent: February 18, 2020
    Assignee: SAP SE
    Inventors: Xia Yu, Yang Peng, Xikang Wu, Jieyan Huang
  • Patent number: 10489354
    Abstract: Example embodiments relate to storage systems for containers. An example storage system may include a set of servers associated with a global namespace for containers, a plurality of storage domains connected under the global namespace, and a processor to identify a storage tree for a container image of a container, where the storage tree is mapped to a storage domain storing the container image, and to clone the container to a second container, where the second container image is stored in a second storage domain.
    Type: Grant
    Filed: July 29, 2016
    Date of Patent: November 26, 2019
    Assignee: HEWLETT PACKARD ENTERPRISE DEVELOPMENT LP
    Inventors: Nigel Edwards, Chris I Dalton, Venkataraman Kamalaksha, Kishore Kumar M
  • Patent number: 10484506
    Abstract: Existing program code, which is executable on one or more computers forming part of a distributed computer system, is analyzed. The analysis identifies log output instructions present in the program code. Log output instructions are those statements or other code that generate log messages related to service requests processed by the program code. A log model is generated using the analysis. The log model is representative of causal relationships among service requests defined by the program code. The log model can then be applied to logs containing log messages generated by execution of the program code, during its normal operation, to group log messages for improved analysis, including visualization, of the performance and behaviour of the distributed computer system.
    Type: Grant
    Filed: July 4, 2017
    Date of Patent: November 19, 2019
    Assignee: YSCOPE INC.
    Inventors: Muhammad Faizanullah, David Lion, Yu Luo, Michael Stumm, Ding Yuan, Xu Zhao, Yongle Zhang
  • Patent number: 10453130
    Abstract: An electronic exchange system includes a physical data bus directly communicatively coupling first and second physical processing elements of an electronic processor. The second element may receive indications of orders from remote devices not part of the system, add each order to a respective one of a queue of buy orders and a queue of sell orders for a financial instrument, and determine a match between orders of the respective queues. The first element may receive an indication of an occurrence of an event, determine that an adjustment to an order is conditioned on a criteria associated with the occurrence, determine that the criteria is satisfied, and transmit, through the physical data bus, to the second element, an indication to adjust the order that acts as an interrupt to processing of the second element to cause the second element to, in response to receiving the indication, adjust the order.
    Type: Grant
    Filed: March 18, 2009
    Date of Patent: October 22, 2019
    Assignee: BGC PARTNERS, INC.
    Inventors: Howard W. Lutnick, Bijoy Paul, Michael Sweeting
  • Patent number: 10445253
    Abstract: The embodiments described herein relate to dynamically managing metric data of a network environment with respect to a data storage system. A data retention policy is analyzed, which includes extracting one or more metric definitions from the retention policy. A relevance of a set of metric data is identified based on the analysis. The set of metric data includes an aggregation of one or more metric observations. A storage location in a data storage system for the set of metric values is selected based on the identified relevance. The data storage system includes a cache storage location and a persistent storage location. The set of metric data is retained in the selected storage location. As the retention policy is modified, select data may be re-classified and moved within the storage system based on the re-classification.
    Type: Grant
    Filed: April 20, 2016
    Date of Patent: October 15, 2019
    Assignee: International Business Machines Corporation
    Inventors: Gabriel Alatorre, Heiko Ludwig, Nagapramod S. Mandagere, Mohamed Mohamed
  • Patent number: 10430184
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for attributing violation introductions and removals. One of the methods includes receiving a request to compute a number of violation introductions attributable to a particular developer entity in a plurality of ancestor snapshots of an original snapshot in a revision graph of a code base. A respective match set for each of a plurality of violations occurring in the plurality of ancestor snapshots of the original snapshot are computed, wherein each match set for a particular violation in a particular snapshot includes any transitively matching violations in the ancestor snapshots of the particular snapshot that transitively match the particular violation. A count of unique match sets having at least one violation that was introduced by the particular developer entity is computed. The number of unique match sets is provided in response to the request.
    Type: Grant
    Filed: October 24, 2017
    Date of Patent: October 1, 2019
    Assignee: Semmle Limited
    Inventor: Robin Neatherway
  • Patent number: 10417372
    Abstract: Systems and techniques for creating and displaying a circuit design view are described. A hardware description language (HDL) specification and a power intent specification of the circuit design can be analyzed to determine a correspondence between one or more signals in the HDL specification and one or more isolation cells in the power intent specification. The correspondence can be stored in a memory of a computer, and can be used for annotating a visual representation of a signal in a circuit design view based on a corresponding isolation cell. Next, the circuit design view with the annotated visual representation of the signal can be displayed.
    Type: Grant
    Filed: November 25, 2015
    Date of Patent: September 17, 2019
    Assignee: Synopsys, Inc.
    Inventors: Chih Neng Hsu, Yaping Chen
  • Patent number: 10409563
    Abstract: System and method to generate automatically a compact application code suitable for taking advantage of the intrinsic power of processors. The system can generate the application code executable by a processor from a formal specification associated with an application, the formal specification including operators, and the system including an analyzer to code each operator of the formal specification by a corresponding operation code followed by a minimum number of input code(s) and output code identifying input and output parameters associated with the operator, thus automatically generating a compact application code suitable for being stored in a memory associated with the processor and for being executed by an interpreter of the processor.
    Type: Grant
    Filed: September 20, 2017
    Date of Patent: September 10, 2019
    Assignee: Airbus Operations (S.A.S.)
    Inventors: Dominique Portes, Victor Jegu
  • Patent number: 10387144
    Abstract: A method for determining logging statement coverage of code. According to the inventive embodiments of this disclosure, a method is used for determining logging statement coverage of code, the method including the step of determining a plurality of code paths through the code file that may be traversed during execution of a program, identifying a plurality of branches in the code paths that do not contain a logging statement; and calculating, as a percentage of the plurality of code paths through the code file that may be traversed during execution of percentage code paths that have not been traversed the plurality of branches through the code file that do not contain a logging statement.
    Type: Grant
    Filed: November 19, 2015
    Date of Patent: August 20, 2019
    Assignee: CA, Inc.
    Inventor: Dayne Howard Medlyn
  • Patent number: 10380689
    Abstract: Various embodiments of exchanges are described. Methods and other embodiments are also described.
    Type: Grant
    Filed: March 6, 2009
    Date of Patent: August 13, 2019
    Assignee: BGC PARTNERS, INC.
    Inventors: Howard W. Lutnick, Bijoy Paul, Michael Sweeting
  • Patent number: 10360004
    Abstract: A system, method and computer program product to refine an original complex CFG into a simpler CFG showing interesting paths and reducing interfering paths with dynamic input for the state of program. The method receives/encodes dynamic user input in the form of annotations which encodes user's special interests or knowledge of the program at run time, e.g., some assumptions of any variables appeared, which can be equations of variable and value or relationships between variables. The method then simplifies all the branching points in a generated AST (Abstract Syntax Tree) whenever possible by querying a SMT (Satisfiability Modulo Theories) solver with branching condition and the user annotations and by evaluating immediate values of expressions or eliminate unreachable parts in the CFG. Finally, the method generates a simplified CFG by simplified AST. This can assist a programmer to understand the code and facilitates correlating different basic blocks under a same scenario.
    Type: Grant
    Filed: February 27, 2017
    Date of Patent: July 23, 2019
    Assignee: International Business Machines Corporation
    Inventors: Si Bin Fan, Bo Li, Nai Jie Li, Jia Sen Wu, Zi Ying Xin, Xiao Zhen Zhu
  • Patent number: 10332308
    Abstract: One or more system, apparatus, method, and computer readable media is described below for automated data type precision control capable of improving rendering quality on a graphics processor. Perceptible rendering quality is dependent at least in part on number format precision (e.g., FP16 or FP32) employed for shader program variables. In accordance with embodiments, shader variables implemented in lower precision data formats are tracked during shader compile to identify those that might trigger a floating point overflow and/or underflow exception. For shaders including one or more such variable, resources are provided to automatically monitor overflow and/or underflow exceptions during shader execution. In further embodiments, shader code is automatically re-generated based, at least in part, upon occurrences of such exceptions, and an increased number format precision specified for one or more of the tracked shader variables.
    Type: Grant
    Filed: December 8, 2014
    Date of Patent: June 25, 2019
    Assignee: Intel Corporation
    Inventors: Feng Chen, Yi Yang, Xiaoming Chen
  • Patent number: 10324825
    Abstract: A source code processing application may process source code and realize the results of the code in a map configuration. In one example, the map may be displayed with a number of stations and pathways between the stations to illustrate associations with classes of the source code. An example method of operation may include one or more of retrieving source code comprising a class from memory, processing the source code to identify an error associated with the class, creating a map with a station linked to the error, and displaying the map on a device.
    Type: Grant
    Filed: August 14, 2018
    Date of Patent: June 18, 2019
    Assignee: International Business Machines Corporation
    Inventors: Kristofer A. Duer, John T. Peyton, Johnathan D. Smith, Stephen D. Teilhet, Jason N. Todd, Lin Tan, Jinqiu Yang
  • Patent number: 10275334
    Abstract: A system for identifying and describing programming errors passes source code through a syntax checker, operates a parser to identify potential problems in the source code, assembles a structured problem list of identified potential problems, operates an interpreter to execute the source code and match execution errors to an identified potential problem in the structured problem list, and generates an error report for novice programmers to understand.
    Type: Grant
    Filed: November 30, 2017
    Date of Patent: April 30, 2019
    Assignee: Codepops Inc.
    Inventors: Scott Lininger, Jeffrey Bull
  • Patent number: 10275558
    Abstract: Technologies for providing FPGA infrastructure-as-a-service include a computing device having an FPGA, scheduler logic, and design loader logic. The scheduler logic selects an FPGA application for execution and the design loader logic loads a design image into the FPGA. The scheduler logic receives a ready signal from the FGPA in response to loading the design and sends a start signal to the FPGA application. The FPGA executes the FPGA application in response to sending the start signal. The scheduler logic may time-share the FPGA among multiple FPGA applications. The computing device may include signaling logic to manage signals between a user process and the FPGA application and DMA logic to manage bulk data transfer between the user process and the FPGA application. The computing device may include a user process linked to an FGPA library executed by a processor of the computing device. Other embodiments are described and claimed.
    Type: Grant
    Filed: November 7, 2016
    Date of Patent: April 30, 2019
    Assignee: Intel Corporation
    Inventors: Eliezer Tamir, Ben-Zion Friedman, Alexey Puzhevich, Shai Krigman
  • Patent number: 10257312
    Abstract: Examples disclosed herein involve measuring application performance based on user engagement of the application. In examples herein, an activation of an action item may be detected and a degree of user engagement of the application in response to the activation of the action item may be determined. A threshold time for acceptable performance of the action item is adjusted based on the degree of user engagement.
    Type: Grant
    Filed: October 27, 2016
    Date of Patent: April 9, 2019
    Assignee: ENTIT SOFTWARE LLC
    Inventors: Amichai Nitsan, Haim Shuvali
  • Patent number: 10223528
    Abstract: Technologies for code flow integrity protection include a static analyzer that identifies a potential gadget in an atomic code path of a protected code. A marker instruction is inserted after the potential gadget with a parameter that corresponds to an address of the marker instruction, a hash evaluator instruction is inserted after an exit point of the atomic code path with a parameter that corresponds to the address of the marker instruction, and a compare evaluator instruction and a hash check instruction are inserted after the hash evaluator instruction. A target computing device executes the protected code and updates a path hash as a function of the parameter of the marker instruction, determines an expected hash value as a function of the parameter of the hash evaluator instruction, and generates an exception if the path hash and the expected hash value do not match. Other embodiments are described and claimed.
    Type: Grant
    Filed: September 27, 2016
    Date of Patent: March 5, 2019
    Assignee: Intel Corporation
    Inventors: Michael E. Kounavis, David M. Durham, Ravi L. Sahita, Karanvir S. Grewal
  • Patent number: 10216500
    Abstract: Methods and system for providing synchronization of a multi-threaded application includes analyzing a source file of the application to identify one or more synchronization annotations contained therein, wherein the synchronization annotations are defined using declarative statements. One or more synchronization annotation processors are identified and invoked for processing the one or more synchronization annotations identified in the source file so as to generate code files. The source file is compiled to generate one or more class files by compiling the procedural code within the source file to generate one or more class files, and compiling the code files to generate the one or more class files. The class files associated with the code files are used by the multiple threads during execution of the application to arbitrate access to methods and data manipulated by classes within the class files associated with the procedural code.
    Type: Grant
    Filed: February 10, 2012
    Date of Patent: February 26, 2019
    Assignee: Oracle International Corporation
    Inventors: Yi Huang, David Leibs, Peter Kessler
  • Patent number: 10210077
    Abstract: A static analysis tool is augmented to provide for enhanced security vulnerability determination from generated code traces. According to this disclosure, a multiple sequence alignment is applied to a set of traces generated by static analysis of application source code. The output of this operation is an alignment result that simplifies the traces, e.g., by representing many common nodes as a single node. In particular, the sequence alignment identifies entries in the alignment result that represent at least one code execution path that multiple traces in the set of traces include. A call graph can then be output that includes the at least one code execution path identified, and that call graph can also be simplified by applying a compression portions of the traces that are used to generate it. Using multiple sequence alignment and simplified call graphs enable a user to identify security vulnerabilities more efficiently.
    Type: Grant
    Filed: May 18, 2016
    Date of Patent: February 19, 2019
    Assignee: International Business Machines Corporation
    Inventor: Shu Wang
  • Patent number: 10185772
    Abstract: A system and method for query selection are provided. The method may include acquiring a natural language sentence, pre-processing to obtain a standard node sequence, constructing a node tree based on the relationship between an index node and other nodes, generating a data query command based on the node tree, querying data using the data query command, and filtering the results. The standard node sequence may include at least an index node and a condition node. The node tree may be used to characterize the index-condition combination. The system may include an acquisition unit, a pre-processing unit, a node tree construction unit, a translation unit, and a querying and filtering unit.
    Type: Grant
    Filed: June 24, 2014
    Date of Patent: January 22, 2019
    Assignee: HITHINK ROYALFLUSH INFORMATION NETWORK CO., LTD.
    Inventors: Zheng Yi, Wei Xia, Zhiwei Tao
  • Patent number: 10157049
    Abstract: Statically analyzing a computer software application can include identifying a plurality of objects within the instructions of a computer software application, where the objects in the plurality of objects are of the same object type, and preparing a modified version of the instructions in which any of the objects in the plurality of objects determined to be extraneous is omitted.
    Type: Grant
    Filed: October 26, 2011
    Date of Patent: December 18, 2018
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Yinnon A. Haviv, Daniel Kalman, Dmitri Pikus, Omer Tripp, Omri Weisman