Including Analysis Of Program Execution Patents (Class 717/131)
-
Patent number: 10977160Abstract: 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: GrantFiled: October 9, 2019Date of Patent: April 13, 2021Assignee: International Business Machines CorporationInventors: Thomas M. Gooding, Andrew T. Tauferner
-
Patent number: 10970198Abstract: 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: GrantFiled: August 15, 2019Date of Patent: April 6, 2021Assignees: INVENTEC (PUDONG) TECHNOLOGY CORPORATION, INVENTEC CORPORATIONInventors: Qun Wu, Xuefeng Chen, Dong-Rui Xue
-
Patent number: 10956292Abstract: 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: GrantFiled: September 17, 2020Date of Patent: March 23, 2021Assignee: PURE STORAGE, INC.Inventors: Gary W. Grube, Timothy W. Markison
-
Patent number: 10956396Abstract: 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: GrantFiled: November 7, 2019Date of Patent: March 23, 2021Assignee: Level 3 Communications, LLCInventors: William Gray, Binchao Chen, Steven D. Meyer
-
Patent number: 10936385Abstract: 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: GrantFiled: May 5, 2017Date of Patent: March 2, 2021Assignee: International Business Machines CorporationInventors: Yanyan Hu, Guang Cheng Li, Yubo Li, Chao Zhu
-
Patent number: 10936334Abstract: 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: GrantFiled: July 12, 2018Date of Patent: March 2, 2021Assignee: BANK OF AMERICA CORPORATIONInventors: Sailaja L. S. Nadella, Srinivas Ankareddy, Amitkumar R. Bhandari, Scott Davies Jordan, Adrian Marchis, Noah G. Sack
-
Patent number: 10891128Abstract: 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: GrantFiled: August 7, 2019Date of Patent: January 12, 2021Assignee: Microsoft Technology Licensing, LLCInventors: Jihad Tafas, Eric Kratzer, Sergiy Dukhopel
-
Patent number: 10853060Abstract: 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: GrantFiled: January 13, 2020Date of Patent: December 1, 2020Assignee: ARCHITECTURE TECHNOLOGY CORPORATIONInventors: Colleen Kimball, Katey Huddleston, Paul Nicotera
-
Patent number: 10846197Abstract: 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: GrantFiled: December 13, 2018Date of Patent: November 24, 2020Assignee: Facebook, Inc.Inventor: Eric Bluestein
-
Patent number: 10817346Abstract: 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: GrantFiled: September 23, 2019Date of Patent: October 27, 2020Assignee: ForgeRock, Inc.Inventors: Scott Culp, Beau Croteau, Steve White
-
Patent number: 10810368Abstract: 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: GrantFiled: July 19, 2018Date of Patent: October 20, 2020Inventor: Robert D. New
-
Patent number: 10789067Abstract: 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: GrantFiled: November 5, 2018Date of Patent: September 29, 2020Assignee: WHITESOURCE LTD.Inventors: Aharon Abadi, Doron Cohen, Rami Sass
-
Patent number: 10789238Abstract: 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: GrantFiled: June 3, 2016Date of Patent: September 29, 2020Assignee: WISTRON CORP.Inventor: Kuang-Hao Tung
-
Patent number: 10789307Abstract: 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: GrantFiled: September 15, 2017Date of Patent: September 29, 2020Assignee: BDNA CorporationInventors: Alexander Meau, Prakhar Gangwal, Robin James
-
Patent number: 10747880Abstract: 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: GrantFiled: December 30, 2013Date of Patent: August 18, 2020Assignee: University of Louisiana at LafayetteInventor: Arun Lakhotia
-
Patent number: 10719336Abstract: 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: GrantFiled: May 14, 2019Date of Patent: July 21, 2020Assignee: Microsoft Technology Licensing, LLCInventors: Vitalii Tsybulnyk, Aritra Dattagupta, Marwan Elias Jubran, Willy Tanimihardja
-
Patent number: 10705814Abstract: 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: GrantFiled: November 30, 2018Date of Patent: July 7, 2020Assignee: GRAMMATECH, INC.Inventors: Eric Michael Schulte, Antonio Enrique Flores Montoya
-
Patent number: 10684937Abstract: 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: GrantFiled: December 4, 2018Date of Patent: June 16, 2020Assignee: Tata Consultancy Services LimitedInventors: Tukaram B. Muske, Rohith Talluri
-
Patent number: 10684938Abstract: 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: GrantFiled: October 24, 2018Date of Patent: June 16, 2020Assignee: International Business Machines CorporationInventors: Vijay Ekambaram, Leigh A. Williamson, Shinoj Zacharias
-
Patent number: 10671380Abstract: 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: GrantFiled: April 22, 2019Date of Patent: June 2, 2020Assignee: Alibaba Group Holding LimitedInventors: Kailai Shao, Xuming Lu
-
Patent number: 10664374Abstract: 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: GrantFiled: November 7, 2016Date of Patent: May 26, 2020Assignee: Yokogawa Electric CorporationInventors: Zhuo Liu, Yuichi Sakuraba
-
Patent number: 10664334Abstract: 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: GrantFiled: July 10, 2017Date of Patent: May 26, 2020Assignee: CASIO COMPUTER CO., LTD.Inventors: Toshihiko Otsuka, Hiroki Atsumi, Takahiro Tomida, Yoshihiro Kawamura
-
Patent number: 10664387Abstract: 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: GrantFiled: October 30, 2018Date of Patent: May 26, 2020Assignee: International Business Machines CorporationInventors: Vijay Ekambaram, Leigh A. Williamson, Shinoj Zacharias
-
Patent number: 10649688Abstract: 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: GrantFiled: November 1, 2018Date of Patent: May 12, 2020Assignee: Intel CorporationInventors: Ahmad Yasin, Michael Chynoweth, Rajshree Chabukswar, Muhammad Taher
-
Patent number: 10613971Abstract: 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: GrantFiled: January 12, 2018Date of Patent: April 7, 2020Assignee: INTUIT INC.Inventor: Raj Vasikarla
-
Patent number: 10614238Abstract: 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: GrantFiled: November 22, 2017Date of Patent: April 7, 2020Assignee: HUAWEI TECHNOLOGIES CO., LTD.Inventors: Yutao Liu, Yubin Xia, Haibo Chen
-
Patent number: 10608879Abstract: 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: GrantFiled: April 13, 2016Date of Patent: March 31, 2020Assignee: DELL PRODUCTS L.P.Inventors: Vinay Sawal, Sachinrao Chittaranjan Panemangalore, Vivek Dharmadhikari, Kuntal Atulbhai Patel
-
Patent number: 10606571Abstract: 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: GrantFiled: April 26, 2016Date of Patent: March 31, 2020Assignee: MITSUBISHI ELECTRIC CORPORATIONInventors: Natsuko Fujii, Yuki Hikawa, Ryo Kashiwagi, Katsuhiko Nakamura, Takanari Fujimoto, Miwa Fukuda
-
Patent number: 10606731Abstract: 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: GrantFiled: April 23, 2019Date of Patent: March 31, 2020Assignee: International Business Machines CorporationInventors: Vijay Ekambaram, Leigh A. Williamson, Shinoj Zacharias
-
Patent number: 10565089Abstract: 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: GrantFiled: August 15, 2016Date of Patent: February 18, 2020Assignee: SAP SEInventors: Xia Yu, Yang Peng, Xikang Wu, Jieyan Huang
-
Patent number: 10489354Abstract: 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: GrantFiled: July 29, 2016Date of Patent: November 26, 2019Assignee: HEWLETT PACKARD ENTERPRISE DEVELOPMENT LPInventors: Nigel Edwards, Chris I Dalton, Venkataraman Kamalaksha, Kishore Kumar M
-
Patent number: 10484506Abstract: 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: GrantFiled: July 4, 2017Date of Patent: November 19, 2019Assignee: YSCOPE INC.Inventors: Muhammad Faizanullah, David Lion, Yu Luo, Michael Stumm, Ding Yuan, Xu Zhao, Yongle Zhang
-
Patent number: 10453130Abstract: 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: GrantFiled: March 18, 2009Date of Patent: October 22, 2019Assignee: BGC PARTNERS, INC.Inventors: Howard W. Lutnick, Bijoy Paul, Michael Sweeting
-
Patent number: 10445253Abstract: 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: GrantFiled: April 20, 2016Date of Patent: October 15, 2019Assignee: International Business Machines CorporationInventors: Gabriel Alatorre, Heiko Ludwig, Nagapramod S. Mandagere, Mohamed Mohamed
-
Patent number: 10430184Abstract: 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: GrantFiled: October 24, 2017Date of Patent: October 1, 2019Assignee: Semmle LimitedInventor: Robin Neatherway
-
Patent number: 10417372Abstract: 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: GrantFiled: November 25, 2015Date of Patent: September 17, 2019Assignee: Synopsys, Inc.Inventors: Chih Neng Hsu, Yaping Chen
-
Patent number: 10409563Abstract: 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: GrantFiled: September 20, 2017Date of Patent: September 10, 2019Assignee: Airbus Operations (S.A.S.)Inventors: Dominique Portes, Victor Jegu
-
Patent number: 10387144Abstract: 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: GrantFiled: November 19, 2015Date of Patent: August 20, 2019Assignee: CA, Inc.Inventor: Dayne Howard Medlyn
-
Patent number: 10380689Abstract: Various embodiments of exchanges are described. Methods and other embodiments are also described.Type: GrantFiled: March 6, 2009Date of Patent: August 13, 2019Assignee: BGC PARTNERS, INC.Inventors: Howard W. Lutnick, Bijoy Paul, Michael Sweeting
-
Patent number: 10360004Abstract: 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: GrantFiled: February 27, 2017Date of Patent: July 23, 2019Assignee: International Business Machines CorporationInventors: Si Bin Fan, Bo Li, Nai Jie Li, Jia Sen Wu, Zi Ying Xin, Xiao Zhen Zhu
-
Patent number: 10332308Abstract: 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: GrantFiled: December 8, 2014Date of Patent: June 25, 2019Assignee: Intel CorporationInventors: Feng Chen, Yi Yang, Xiaoming Chen
-
Patent number: 10324825Abstract: 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: GrantFiled: August 14, 2018Date of Patent: June 18, 2019Assignee: International Business Machines CorporationInventors: Kristofer A. Duer, John T. Peyton, Johnathan D. Smith, Stephen D. Teilhet, Jason N. Todd, Lin Tan, Jinqiu Yang
-
Patent number: 10275334Abstract: 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: GrantFiled: November 30, 2017Date of Patent: April 30, 2019Assignee: Codepops Inc.Inventors: Scott Lininger, Jeffrey Bull
-
Patent number: 10275558Abstract: 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: GrantFiled: November 7, 2016Date of Patent: April 30, 2019Assignee: Intel CorporationInventors: Eliezer Tamir, Ben-Zion Friedman, Alexey Puzhevich, Shai Krigman
-
Patent number: 10257312Abstract: 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: GrantFiled: October 27, 2016Date of Patent: April 9, 2019Assignee: ENTIT SOFTWARE LLCInventors: Amichai Nitsan, Haim Shuvali
-
Patent number: 10223528Abstract: 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: GrantFiled: September 27, 2016Date of Patent: March 5, 2019Assignee: Intel CorporationInventors: Michael E. Kounavis, David M. Durham, Ravi L. Sahita, Karanvir S. Grewal
-
Patent number: 10216500Abstract: 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: GrantFiled: February 10, 2012Date of Patent: February 26, 2019Assignee: Oracle International CorporationInventors: Yi Huang, David Leibs, Peter Kessler
-
Patent number: 10210077Abstract: 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: GrantFiled: May 18, 2016Date of Patent: February 19, 2019Assignee: International Business Machines CorporationInventor: Shu Wang
-
Patent number: 10185772Abstract: 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: GrantFiled: June 24, 2014Date of Patent: January 22, 2019Assignee: HITHINK ROYALFLUSH INFORMATION NETWORK CO., LTD.Inventors: Zheng Yi, Wei Xia, Zhiwei Tao
-
Patent number: 10157049Abstract: 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: GrantFiled: October 26, 2011Date of Patent: December 18, 2018Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Yinnon A. Haviv, Daniel Kalman, Dmitri Pikus, Omer Tripp, Omri Weisman