Including Analysis Of Program Execution Patents (Class 717/131)
-
Patent number: 12106046Abstract: The system receives, from a client, a first request for a document which is parsed based on a syntax. The system parses and returns an initial number of lines of the document, thereby allowing the client to display the parsed initial number of lines in a visible window. Subsequent to successfully parsing a remainder of the lines, the system stores a fully-parsed version. Responsive to a scrolling action in the visible window, the system provides a relevant portion of an unparsed document associated with the first request. Responsive to detecting a termination of the scrolling action, the system receives a second request for parsed lines corresponding to a first set of lines. The system returns the corresponding parsed lines, thereby allowing the client to display the corresponding parsed lines in the visible window.Type: GrantFiled: January 21, 2022Date of Patent: October 1, 2024Assignee: Hewlett Packard Enterprise Development LPInventors: Shaun Wackerly, Gurraj Atwal, Vali W. Lean, Charles F. Clark
-
Patent number: 12067378Abstract: A sample set of cloud computing resources is dynamically selected for testing a software deployment. Telemetry data associated with the resources and customer support data associated with customers that utilize the resources are obtained. A subset of the customers is selected based on the customer support data, and a candidate subset of the resources is selected based on the selected subset of customers and the telemetry data. Criteria for the selection is based on usage patterns and is configurable. Resources of customers with special support agreements, and customers previously selected, may be excluded from the candidate subset. The sample set of cloud computing resources may be randomly selected from the candidate subset. Software is deployed to the sample set as a B resource group and tested for issues with an A resource group to determine whether to proceed to full deployment, roll back the deployment, and/or retest the software.Type: GrantFiled: November 28, 2022Date of Patent: August 20, 2024Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Mathieu Baptiste Demarne, Miso Cilimdzic
-
Patent number: 11977474Abstract: An automated program repair tool utilizes a neural transformer model with attention to predict the contents of a bug repair in the context of source code having a bug of an identified bug type. The neural transformer model is trained on a large unsupervised corpus of source code using a span-masking denoising optimization objective, and fine-tuned on a large supervised dataset of triplets containing a bug-type annotation, software bug, and repair. The bug-type annotation is derived from an interprocedural static code analyzer. A bug type edit centroid is computed for each bug type and used in the inference decoding phase to generate the bug repair.Type: GrantFiled: November 25, 2022Date of Patent: May 7, 2024Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC.Inventors: Shao Kun Deng, Neelakantan Sundaresan, Alexey Svyatkovskiy, Michele Tufano
-
Patent number: 11960862Abstract: A source code correction assistance apparatus is configured to include a storage device that stores an updated source code, and an arithmetic operational device that generates, as an evaluation code template of the updated source code, a template including a conditional branch sentence related to each case of success or failure of an input condition, notifies an evaluator terminal of a request to create an evaluation code based on the template, controls an access to the updated source code by the evaluator, receives editing by the evaluator on the conditional branch sentence in the template, generates a list of input values for executing all control paths of the evaluation code after the editing, and generates an evaluation code driver that automatically executes the evaluation code by inputting the input value.Type: GrantFiled: June 6, 2022Date of Patent: April 16, 2024Assignee: Hitachi, Ltd.Inventors: Naoto Sato, Huyen Thi Thanh Phan
-
Patent number: 11960751Abstract: A test program generation method, a test program generation device, a computer readable storage medium, and an electronic equipment are disclosed. The test program generation method includes: acquiring a configuration information of the memory and a test logic for the memory; determining at least one type of test program components from a preset test program component library according to the test logic; and acquiring a test program according to the configuration information by combining a plurality of test program components. Types of the plurality of test program components are included in the determined at least one type of test program components. The test program generation method not only meets different test requirements and matches different test conditions, but also avoids coding errors and improve the efficiency and accuracy in generating a memory test program.Type: GrantFiled: March 26, 2021Date of Patent: April 16, 2024Assignee: Changxin Memory Technologies, Inc.Inventor: Ruei-Yuan Guo
-
Patent number: 11948118Abstract: A method and system include code analysis and visualization technology. The method and system include (i) a repository that stores developer code in a codebase to which many developers and developer teams contribute code over time, (ii) one or more static analysis tools that identify misbehaviors in the codebase from a list of predetermined misbehaviors, (iii) a database that includes each commit that each developer performed on the codebase for a predetermined period of time, (iv) a code attribution tool that employs abstract syntax trees to determine if each commit that a particular developer performs resulted in breaking the code or impairing the code, or results in a failure to correct the code, or if clean code results, and (v) a dashboard tool that enables visualization at different levels of commits with misbehaviors over a predetermined period of time.Type: GrantFiled: October 15, 2020Date of Patent: April 2, 2024Assignee: DevFactory Innovations FZ-LLCInventors: Rahul Subramaniam, Vivek Ratan, Pranav Ram
-
Patent number: 11900469Abstract: A computer-readable medium stores instructions that, when executed by one or more processors of a computing device, cause the computing device to dynamically generate and display, on an interactive display, one or more person icons and one or more property icons representing persons and properties associated with a loss event. Each person and property icon is generated and displayed as a user adds a corresponding person or property via the interactive display. Each of the person icons is a graphical representation of a person and each of the property icons is a graphical representation of a type of the corresponding property. The instructions also cause the computing device to dynamically link specific ones of the person icons to specific ones of the property icons as the user specifies relationships between the specific ones of the person icons and the specific ones of the property icons via the interactive display.Type: GrantFiled: February 22, 2021Date of Patent: February 13, 2024Assignee: STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANYInventor: Jeffrey C. Mousty
-
Patent number: 11868232Abstract: The execution-time reporting of telemetry of execution of a software program. Subscribers submit subscriptions to telemetry of the software program. As each subscription is received, the telemetry scope of the subscription is evaluated to determine what portion of an object model is to be augmented. The augmented portion will include portion(s) related to the scope of telemetry subscribed to in the subscription. Thereafter, that portion of the object model is indeed augmented as execution of the computer program proceeds further. Subsequently, telemetry reports are generated for a subscription based on the interpretation of a defined subscription-specific portion of the object model.Type: GrantFiled: September 2, 2022Date of Patent: January 9, 2024Assignee: Microsoft Technology Licensing, LLCInventors: Pritesh Rajesh Kanani, Siunie Aquawati Sutjahjo, James Feore, Wei Zhong
-
Patent number: 11843614Abstract: An instantiated application includes both a runtime instantiation of an application image, and an administrative service operable to install in the instantiated application at least one security module during runtime of the instantiated application in a container. Prior to runtime, a design time agent can access the application image in a repository, examine the application image, and based on the examining, adding at least one security module to the application image prior to instantiation. During runtime, a runtime agent can query parameters of the container, such as static and dynamic variables available on the machine on which the container is running. The runtime agent processes these parameters in conjunction with predefined rules to determine an action such as starting, stopping, adding, and/or changing the security module, such as the method of packet inspection.Type: GrantFiled: December 30, 2021Date of Patent: December 12, 2023Assignee: CHECK POINT SOFTWARE TECHNOLOGIES LTD.Inventor: Ilan Uriel
-
Patent number: 11829813Abstract: Metrics corresponding to services provided by a cloud service provider can be received via a first API responsive to queries specifying identifiers of the services. A configuration file can be maintained that includes mappings between the identifiers of the services and the metrics corresponding to the services. An identifier of a new service provided by the cloud service provider can be received via a second API. A mapping between the identifier of the new service and a metric corresponding to the new service can be received by the configuration file. The metric corresponding to the new service can be received via the first API responsive to a query specifying the identifier of the new service.Type: GrantFiled: May 30, 2022Date of Patent: November 28, 2023Assignee: VMware, Inc.Inventors: Shyam Kasi Venkatram, Madhan Sankar, Ayushi Ghatt, Amita Ranjan
-
Patent number: 11822458Abstract: The execution-time reporting of telemetry of execution of a software program. Subscribers submit subscriptions to telemetry of the software program. As each subscription is received, the telemetry scope of the subscription is evaluated to determine what portion of an object model is to be augmented. The augmented portion will include portion(s) related to the scope of telemetry subscribed to in the subscription. Thereafter, that portion of the object model is indeed augmented as execution of the computer program proceeds further. Subsequently, telemetry reports are generated for a subscription based on the interpretation of a defined subscription-specific portion of the object model.Type: GrantFiled: September 2, 2022Date of Patent: November 21, 2023Assignee: Microsoft Technology Licensing, LLCInventors: Pritesh Rajesh Kanani, Siunie Aquawati Sutjahjo, James Feore, Wei Zhong
-
Patent number: 11809406Abstract: Examples of analyzing a log file are described. In an example, a log file comprising a plurality of event records is obtained from a computing device. The event records in the plurality of log files may be processed. Thereafter, an occurrence of anomaly in the log file may be ascertained.Type: GrantFiled: April 13, 2021Date of Patent: November 7, 2023Assignee: Hewlett Packard Enterprise Development LPInventors: Prabhanjan Gururaj, Shreyas Prabhakar Gaikwad, Yashashvi Tarana
-
Patent number: 11750731Abstract: Methods and systems are disclosed herein for using one or more machine learning models to determine whether a user is expected to complete a task or action by a deadline. The one or more machine learning models may be trained and/or used to recommend a communication protocol for sending a reminder to the user such that the user is predicted to be more likely to complete an action by the action's deadline. A computing system may use the one or more machine learning models to generate a recommendation for type of reminder to send, for example, if it is predicted that the user is not expected to complete the task by the deadline. A computing system may determine the message to send, the communication protocol to use, and/or the time to send the message.Type: GrantFiled: May 17, 2021Date of Patent: September 5, 2023Assignee: Capital One Services, LLCInventors: Sara Brodsky, Jennifer Kwok, Tania Cruz Morales, Joshua Edwards, Abhay Donthi, Jason Zwierzynski
-
Patent number: 11733997Abstract: A code change request prioritization tool that uses weighting values specific to pre-determined factors to concurrently calculate a total weighted prioritization score, is disclosed. The total weighted prioritization score may be calculated using a percentile score for factors as inputs in the calculation. Once a solution is found for a highest priority code change request, similar code defects may be identified so as to provide solutions to all similar defects, simultaneously.Type: GrantFiled: August 17, 2021Date of Patent: August 22, 2023Assignee: Cerner Innovation, Inc.Inventors: Arpit Munjal, Guru Shankar, Pramod Kumar Deshpande, Puneeth Revankar, Solomon Bhanu Prakash Nukathoti
-
Patent number: 11734141Abstract: Aspects of the invention include receiving system data associated with a first system, the first system comprising a plurality of system components, wherein the system data comprises component data for each system component in the plurality of system components, obtaining historical performance data for each system component in the plurality of system components, determining at least one testing constraint associated with the first system, determining a test environment for the first system, the test environment comprising a plurality of test cases for the first system based on the system data, the historical performance data, and the at least one testing constraint, and executing the test environment on the first system.Type: GrantFiled: July 14, 2021Date of Patent: August 22, 2023Assignee: International Business Machines CorporationInventors: David Verburg, Gábor Andorkó, Oscar Alejandro de la Torre Del Rio, Richard Burton Finch
-
Patent number: 11726775Abstract: Technologies are provided for assigning developers to source code issues using machine learning. A machine learning model can be generated based on multiple versions of source code objects (such as source code files, classes, modules, packages, etc.), such as those that are managed by a version control system. The versions of the source code objects can reflect changes that are made to the source code objects over time. Associations between developers and source code object versions can be analyzed and used to train the machine learning model. Patterns of similar changes to various source code objects can be detected and can also be used to train the machine learning model. When an issue is detected in a version of a source code object, the model can be used to identify a developer to assign to the issue. Feedback data regarding the developer assignment can be used to re-train the model.Type: GrantFiled: June 16, 2021Date of Patent: August 15, 2023Assignee: SAP SEInventors: Prabal Mahanta, Vipul Khullar
-
Patent number: 11722583Abstract: A system for communicating and managing messaging between a source system and a destination system including a publisher module, a topic module that receives the message from the publisher module and including one or more subscription modules, a queue module that receives the message from the topic module, a success queue module, an error queue module, and a subscriber module that receives the message from the queue module, then decompresses, decrypts, calculates the check sum, then prepares the message for transmission to the destination system and transmits the message to the destination system.Type: GrantFiled: May 9, 2022Date of Patent: August 8, 2023Assignee: Arora Technology Group LLCInventors: Evan Queitsch, Nitin Dinkar Patil, Manik Kumar Arora
-
Patent number: 11704227Abstract: A test environment apparatus having processing circuitry is provided for testing an embedded system-under-test. The processing circuitry may be configured to implement the system-under-test for interaction with external test participants via messaging and control operation of an inner agent and an outer agent. The inner agent may be implemented within a virtual machine that is also implementing the system-under-test and the outer agent may be implemented external to the virtual machine implementing the system-under-test. The inner agent and the outer agent may be controlled to operate collaboratively to trigger captures of snapshots that store current states of the system-under-test at respective times and trigger a rollback of the system-under-test based on a timestamp of a delayed message using a snapshot for a selected time that provides a state of the system-under-test prior to the timestamp to permit subsequent delivery of the delayed message with the system-under-test in a rollback state.Type: GrantFiled: June 25, 2021Date of Patent: July 18, 2023Assignee: The Johns Hopkins UniversityInventors: Gary L. Jackson, II, Sterling E. Vinson, II
-
Patent number: 11681606Abstract: One or more processors examine source code of one or more software packages that produce output messages and identify, in the source code, one or more call expressions that each represent a logging call. The one or more processors generate a number of search patterns for parsing output messages produced by the one or more software packages, wherein each of the search patterns is based on one or more arguments of a corresponding call expression of the one or more call expressions. The one or more processors further reduce the number of search patterns to be applied to the output messages produced by the one or more software packages to identify log entries among the output messages.Type: GrantFiled: April 29, 2022Date of Patent: June 20, 2023Assignee: Palantir Technologies, Inc.Inventors: James Ross, Robert Fink
-
Patent number: 11650912Abstract: A method may include applying to at least a portion of historical runtimes associated with each of a plurality of tests included in a test suite, a machine learning model trained to identify one or more outlying runtime values. The portion of historical runtimes may include an n quantity of the most recent historical runtimes. An expected runtime for each test may be determined based on the portion of historical runtimes excluding the outlying runtime values. A schedule for executing each test in the test suite may be determined based on the expected runtime of each test. The test suite may be executed in accordance with the schedule. Moreover, the executing of the test suite may be monitored based on the expected runtime of each test. Related systems and computer program products are also provided.Type: GrantFiled: September 8, 2021Date of Patent: May 16, 2023Assignee: SAP SEInventors: Harihar Pai, Kavitha Alagesan, Nagendra Reddy Devireddy
-
Patent number: 11645191Abstract: Systems and methods can implement a review process to evaluate changes to target code as part of development cycles for a continuous integration, continuous deployment pipeline for software-based products. The system can aggregate data and determine if the target code has been modified preliminarily and then intelligently determine where further review is needed before the changes are permanently implemented. To do this, a changeset including the preliminarily changed target code can be obtained from the aggregated data. The changeset can be tested with a prediction model based on feature data that characterizes aspects of a coding process carried out to generate the preliminary modification. The prediction model can provide an activation recommendation for the preliminary modification based on a plurality of risk factors determined from the testing. The prediction model can be trained, continuously, with training data that includes a plurality of data artifacts resulting from a code build processes.Type: GrantFiled: May 26, 2021Date of Patent: May 9, 2023Assignee: VMWARE, INC.Inventors: Dinesh Babu Thirukondan Gnaneswaran, Aishwary Thakur, Ayesha Karim
-
Patent number: 11625237Abstract: A computer generates a profile, where the profile comprises one or more programs to monitor. The computer determines a baseline for each of the one or more programs by collecting one or more values associated with a normal operation for each of the one or more programs. The computer detects an anomaly based on deviation of the one or more values from the normal operation. Based on identifying a playbook for the anomaly, the computer applies the playbook on the program from the one or more programs. The computer organizes chat services based on identifying one or more members associated with the anomaly.Type: GrantFiled: June 3, 2021Date of Patent: April 11, 2023Assignee: International Business Machines CorporationInventors: Clement Decrop, Jeremy R. Fox, Richard Daniel Gunjal, Zachary A. Silverstein
-
Patent number: 11567838Abstract: Disclosed herein are methods, systems, and processes for automated log entry identification and alert management. A log statement that includes a log format string and is part of program code associated with a computer program is accessed at a log management server. The execution of the log statement generates a log string that is associated with a trigger pattern of an alert configuration. A fixed part of the log format string that remains unchanged during execution of the log statement when the program code associated with the computer program is executed is extracted and a template is generated for the log statement to track changes to the fixed part of the log format string that causes a mismatch between the trigger pattern of the alert configuration and the log string. The template is then stored.Type: GrantFiled: April 27, 2020Date of Patent: January 31, 2023Assignee: Rapid7, Inc.Inventors: Benoit Gaudin, Boris Afanasiev
-
Patent number: 11544047Abstract: Various methods are provided for quantum computing (QC) based code-optimization. One example method may comprise receiving an indication of one or more runtime hotspots in executed code based on one or more QC algorithms, testing a portion of the executed code associated with at least one of the one or more identified runtime hotspots; generating a plurality of performance information indicators comprising information resulting from the testing of the portion of the code; selecting, based on the plurality of performance information indicators, one QC algorithm for the at least one of the one or more identified runtime hotspots; and utilizing the selected QC algorithm for the at least one of the one or more identified runtime hotspots to optimize the at least one of the one or more identified runtime hotspots.Type: GrantFiled: December 22, 2021Date of Patent: January 3, 2023Assignee: Wells Fargo Bank, N.A.Inventors: Abhijit Rao, Andrew J. Garner, IV, Adam Sanders, Ramanathan Ramanathan
-
Patent number: 11537378Abstract: A sample set of cloud computing resources is dynamically selected for testing a software deployment. Telemetry data associated with the resources and customer support data associated with customers that utilize the resources are obtained. A subset of the customers is selected based on the customer support data, and a candidate subset of the resources is selected based on the selected subset of customers and the telemetry data. Criteria for the selection is based on usage patterns and is configurable. Resources of customers with special support agreements, and customers previously selected, may be excluded from the candidate subset. The sample set of cloud computing resources may be randomly selected from the candidate subset. Software is deployed to the sample set as a B resource group and tested for issues with an A resource group to determine whether to proceed to full deployment, roll back the deployment, and/or retest the software.Type: GrantFiled: March 5, 2021Date of Patent: December 27, 2022Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Mathieu Baptiste Demarne, Miso Cilimdzic
-
Patent number: 11526427Abstract: A software code testing system includes sub-engines and a test case database storing test cases. A test case sub-engine runs each of the test cases on a plurality of software code modules, and a software code coverage determination sub-engine identifies a respective software code coverage for each software code method included in each of the software code modules. A test case/software code coverage mapping sub-engine then maps the respective software code coverage for each of the software code methods included in each of the software code modules with the respective test case that was run on that software code module to provide a test case/software code coverage mapping, which is used by a test suite optimization sub-engine to generate a test suite that includes a subset of the test cases that provide a desired level of software code coverage using a minimum number of test cases.Type: GrantFiled: July 1, 2020Date of Patent: December 13, 2022Assignee: Dell Products L.P.Inventors: Fei Yuan, Jie Wang, Bowen Lei, Fei Wang, Qinglan Li
-
Patent number: 11526424Abstract: An automated program repair tool utilizes a neural transformer model with attention to predict the contents of a bug repair in the context of source code having a bug of an identified bug type. The neural transformer model is trained on a large unsupervised corpus of source code using a span-masking denoising optimization objective, and fine-tuned on a large supervised dataset of triplets containing a bug-type annotation, software bug, and repair. The bug-type annotation is derived from an interprocedural static code analyzer. A bug type edit centroid is computed for each bug type and used in the inference decoding phase to generate the bug repair.Type: GrantFiled: June 10, 2020Date of Patent: December 13, 2022Assignee: MICROSOFT TECHNOLOGY LICENSING LLC.Inventors: Shao Kun Deng, Neelakantan Sundaresan, Alexey Svyatkovskiy, Michele Tufano
-
Patent number: 11481494Abstract: 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: July 7, 2020Date of Patent: October 25, 2022Assignee: UNIVERSITY OF LOUISIANA AT LAFAYETTEInventor: Arun Lakhotia
-
Patent number: 11467840Abstract: Livelock recovery circuits configured to detect livelock in a processor, and cause the processor to transition to a known safe state when livelock is detected. The livelock recovery circuits include detection logic configured to detect that the processor is in livelock when the processor has illegally repeated an instruction; and transition logic configured to cause the processor to transition to a safe state when livelock has been detected by the detection logic.Type: GrantFiled: January 15, 2020Date of Patent: October 11, 2022Assignee: Imagination Technologies LimitedInventors: Ashish Darbari, Iain Singleton
-
Patent number: 11463248Abstract: A system for tracking an asset including one or more processing devices that identify a spatial region in a complex number space, the spatial region being associated with the asset, receive a user defined password, identify a plurality of key locations within the spatial region at least in part using the user defined password, calculate key numerical values at each of the plurality of key locations using a defined complex number formula and use the key numerical values to generate an encryption key. The asset can be associated with a user by storing an asset record in a database which is indicative of an asset identifier, the spatial region and an encrypted payload derived using the encryption key.Type: GrantFiled: September 2, 2019Date of Patent: October 4, 2022Assignee: Munia LimitedInventor: Wolfgang Flatow
-
Patent number: 11385988Abstract: Computer-implemented method for improving the test results of a static code analyzer includes: receiving a plurality of test violations from the static code analyzer; constructing a first vector for each code snippet containing error candidates; constructing a second vector for each test violation from meta-data associated with said each test violation; merging the first vector with the second vector to produce a feature vector for each test violation; and applying statistical learning techniques to each feature vector to estimate a probability that an error candidate in the plurality of test violations is a true error or a false positive.Type: GrantFiled: July 22, 2020Date of Patent: July 12, 2022Assignee: PARASOFT CORPORATIONInventors: Leszek Jerzy Raszka, Leonid Borodaev
-
Patent number: 11372741Abstract: An information processing apparatus, a method, and a non-transitory recording medium. The information processing apparatus includes circuitry to acquire an operation log of a target device, generate a first vector of a distributed representation indicating the operation log, and calculate the first vector and a vector of a distributed representation based on another operation log to identify the first vector.Type: GrantFiled: September 10, 2020Date of Patent: June 28, 2022Assignee: Ricoh Company, LTD.Inventor: Genki Watanabe
-
Patent number: 11368928Abstract: The present application discloses an association method, instruction method, and device for a synchronization block and a paging-scheduling signaling message. In the present application, a terminal performs beam sweeping on received synchronization blocks to obtain a target synchronization block; and the terminal, according to a correspondence between a synchronization block and a paging-scheduling signaling message, determines a paging-scheduling signaling message corresponding to the target synchronization block.Type: GrantFiled: August 28, 2018Date of Patent: June 21, 2022Assignee: DATANG MOBILE COMMUNICATIONS EQUIPMENT CO., LTD.Inventors: Zheng Zhao, Ren Da, Fang-Chen Cheng, Qiubin Gao, Bin Ren, Tie Li
-
Patent number: 11341024Abstract: One or more processors examine source code of one or more software packages that produce output messages and identify, in the source code, one or more call expressions that each represent a logging call. The one or more processors generate a number of search patterns for parsing output messages produced by the one or more software packages, wherein each of the search patterns is based on one or more arguments of a corresponding call expression of the one or more call expressions. The one or more processors further reduce the number of search patterns to be applied to the output messages produced by the one or more software packages to identify log entries among the output messages.Type: GrantFiled: October 31, 2019Date of Patent: May 24, 2022Assignee: Palantir Technologies Inc.Inventors: James Ross, Robert Fink
-
Patent number: 11314733Abstract: A processing device performs a preliminary grouping of data items in a dataset to define one or more clusters and for each cluster, identifies a set of search terms for a search query that would retrieve data items in the cluster upon execution of the search query against the dataset.Type: GrantFiled: January 31, 2019Date of Patent: April 26, 2022Assignee: SPLUNK INC.Inventors: Alice Neels, Steve Zhang, Marc Robichaud
-
Patent number: 11294783Abstract: A method for use in a computing device having a processor, the method comprising: executing a computer program on the processor; while the computer program is running, detecting whether any of a plurality of transition instructions of the computer program is executed, the detecting being performed by using resources that are external to the computer program; in response to detecting that a given one of the transition instructions is executed, detecting whether a current execution flow of the computer program matches a control flow graph for the computer program; and performing a countermeasure action based on one of a mismatch of the current execution flow of the computer program and the control flow graph or a current value of a memory location associated with the computer program; wherein the control flow graph for the computer program is generated by simulating an execution of the computer program.Type: GrantFiled: September 24, 2020Date of Patent: April 5, 2022Assignee: Raytheon CompanyInventor: Daniel Rose
-
Patent number: 11275676Abstract: Embodiments disclose a system/method for constraint-guided hybrid fuzzing. According to one embodiment, a system performs a grey box fuzzing for a program code, where the performing mutates an initial seed input to generate a first set of seed inputs. The system performs a concolic execution for the program code using the first set of seed inputs to generate a second set of seed inputs. The system determines constraint information associated with the second set of seed inputs by analyzing the concolic execution. The system performs one or more modified grey box fuzzing based on the second set of seed inputs bounded to the constraint information. That way the bounded portion of the second set of seed inputs are not mutated by the grey box fuzzing.Type: GrantFiled: April 15, 2020Date of Patent: March 15, 2022Assignee: BAIDU USA LLCInventor: Peng Li
-
Patent number: 11262987Abstract: Systems and methods for developing software applications including user interfaces. A user interface that is developed in a distributed manner may include components or plugins from multiple developers. The plugins can be evaluated prior to approval to determine whether any changes to the plugins are isolated and do not adversely impact other plugins or portions of the user interface. Plugins that are not sufficiently isolated are rejected.Type: GrantFiled: December 29, 2015Date of Patent: March 1, 2022Assignee: EMC IP HOLDING COMPANY LLCInventor: Richard B. Lyman
-
Patent number: 11243875Abstract: Systems, devices, media, and methods are presented for testing the capability of a mobile device to run a particular feature of an application. Each feature may include a package of code, a call, a state, and a condition; each condition correlated with a specific state. The call is a query that includes instructions to evaluate whether the application will run successfully if a particular feature is running. If the call fails, the feature condition remains Off, resulting in a rollback of the feature. If the call succeeds, the feature condition is changed to On. The system may include an experimentation framework on each mobile device for registering features, executing calls, logging results, and maintaining states and conditions.Type: GrantFiled: April 22, 2019Date of Patent: February 8, 2022Assignee: Snap Inc.Inventors: Michael Cieslak, Jiayao Yu, Kai Chen, Farnaz Azmoodeh, Michael David Marr, Jun Huang, Zahra Ferdowsi
-
Patent number: 11222137Abstract: Storing and executing an application in a personal storage with a user-granted permission in a decentralized network that implements a distributed edger. First, receiving a request from an entity for storing an application in a data storage that is associated with a DID owner. The application is configured to use data stored in the data storage as one or more inputs to generate one or more results. Next, one or more characteristics of the application associated with the entity is identified. Based on identified one or more characteristics, a write permission is to be granted to the entity, and the application is stored in the data storage. Thereafter, the application stored in the data storage is executed using data stored in the data storage.Type: GrantFiled: May 3, 2019Date of Patent: January 11, 2022Assignee: Microsoft Technology Licensing, LLCInventors: Brandon Murdoch, Daniel James Buchner, Ankur Patel
-
Patent number: 11205004Abstract: According to one embodiment, a system receives an intermediate result generated by a compiler based on source code, where the intermediate result includes one or more vulnerability indicators indicating one or more lines of the source code being potentially vulnerable. The system performs a grey box fuzzing on a first executable code generated from the intermediate result to generate a first set of seed inputs. The system calculates a vulnerability score for each of the seed inputs of the first set based on the vulnerability indicators for the lines of the source code reachable but has not been explored by the grey box fuzzing. The system selects one of the seed inputs in the first set having a highest vulnerability score. The system performs a concolic execution using the selected seed input as priority, the concolic execution being performed on a second executable code generated from the intermediate result.Type: GrantFiled: June 17, 2019Date of Patent: December 21, 2021Assignee: BAIDU USA LLCInventors: Peng Li, Yulong Zhang, Tao Wei
-
Patent number: 11194701Abstract: Aspects of the invention include methods, systems and computer program products for identifying interaction software defects. Aspects include singly executing a first testcase at a normal processing speed and singly executing a second testcase at the normal processing speed. Aspects also include simultaneously executing the first testcase at a first processing speed and a second testcase at a second processing speed. Based on determining the single and simultaneous testcase results do not match, aspects further include creating an error notification.Type: GrantFiled: May 11, 2020Date of Patent: December 7, 2021Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Kevin McKenzie, Aaron Kippins, Daniel Rosa
-
Patent number: 11194927Abstract: Storing and executing an application in a personal storage with a user-granted permission in a decentralized network that implements a distributed edger. First, receiving a request from an entity for storing an application in a data storage that is associated with a DID owner. The application is configured to use data stored in the data storage as one or more inputs to generate one or more results. Next, one or more characteristics of the application associated with the entity is identified. Based on identified one or more characteristics, a write permission is to be granted to the entity, and the application is stored in the data storage. Thereafter, the application stored in the data storage is executed using data stored in the data storage.Type: GrantFiled: May 3, 2019Date of Patent: December 7, 2021Assignee: Microsoft Technology Licensing, LLCInventors: Brandon Murdoch, Daniel James Buchner, Ankur Patel
-
Patent number: 11188448Abstract: A defect analysis device configured for real-time monitoring of a user's interaction with an application running within a production environment and definition of a prioritization level of a defect identified in a module developed for integration into the application running within the production environment. The defect analysis device identifies new user flows through an application, and stores the underlying software classes used to facilitate a given task associated with the new user flows. In addition, the defect analysis device monitors software classes changed in a development environment, and matches the changed software classes to one or more flows, such that a prioritization level of the changed classes may be defined.Type: GrantFiled: July 14, 2020Date of Patent: November 30, 2021Assignee: Bank of America CorporationInventors: Bhyragi Naidu Bandari, Vijay Kumar Yarabolu
-
Patent number: 11177935Abstract: Embodiments of the present invention provide systems, methods, and computer storage media directed to optimizing the generation, evaluation, and selection of tensor circuit specifications for a tensor circuit to perform homomorphic encryption operations on encrypted data. A computing device having an improved compiler and runtime configuration can obtain a tensor circuit and associated schema. The computing device can map the obtained tensor circuit to an equivalent tensor circuit, adapted to perform fully homomorphic encryption (FHE) operations, and instantiated based on the obtained associated scheme. The computing device can then monitor a flow of data through the equivalent FHE-adapted tensor circuit utilizing various tensor circuit specifications determined therefor.Type: GrantFiled: October 31, 2018Date of Patent: November 16, 2021Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Madanlal S. Musuvathi, Kim Laine, Kristin E. Lauter, Hao Chen, Olli Ilari Saarikivi, Saeed Maleki, Roshan Dathathri, Todd D. Mytkowicz
-
Patent number: 11132284Abstract: A method, computer program product, and system is described. A continuous integration environment is identified. A first software test associated with the continuous integration environment is identified. A probationary status for the first software test is determined, the probationary status indicating, at least in part, a potential lack of reliability for the first software test.Type: GrantFiled: August 26, 2019Date of Patent: September 28, 2021Assignee: International Business Machines CorporationInventors: Philip S. P. Chan, Laurence A. Hey, William J. Izard, Matthew Ponsford
-
Patent number: 11126532Abstract: Method and apparatus for a parallel, metadata-based trace analytics processor is disclosed. The trace analytics processor is able to asynchronously parallelize the processing operation and use metadata about each parallel operation intelligently. The result is the ability to get analytics results quickly, efficiently, and in real time.Type: GrantFiled: November 14, 2019Date of Patent: September 21, 2021Assignee: TELEDYNE LECROY, INC.Inventor: Fred Tzeng
-
Patent number: 11099835Abstract: A continuous integration framework for developing software for transaction processing and method for using the same are described.Type: GrantFiled: December 13, 2019Date of Patent: August 24, 2021Assignee: STRIPE, INC.Inventors: Jonathan Wall, Eric Glass, Ross Favero
-
Patent number: 11074158Abstract: A computer implemented method for testing an application according to usage data includes receiving an application to be tested and a set of usage data corresponding to the application to be tested, wherein the set of usage data corresponds to previously executed code sequences, identifying one or more code sequences of interest corresponding to the received application, wherein the code sequences of interest correspond to codes sequences that are configured to exercise the received application, extracting concrete usages of the code sequence of interest from the received set of usage data, generating one or more test cases for the application according to the extracted usages, and providing the one or more generated test cases. The method may additionally include testing the application according to the one or more generated test cases.Type: GrantFiled: December 1, 2017Date of Patent: July 27, 2021Assignee: International Business Machines CorporationInventors: Jim A. Laredo, Aleksander Slominski, John E. Wittern, Annie T. Ying, Christopher C. Young, Yunhui Zheng
-
Patent number: 11074046Abstract: Disclosed herein a method for generating code to enable a honest/flexible functional dependency injection approach. The method may include receiving, using a communication device, a composition code from a user device. The composition code contains a usage of a composition operator. The composition operator is associated with at least two functions. A first function of the at least two functions includes a dependency parameter. The method may include analyzing, using a processing device, the composition code. The method may include generating, using the processing device, a new code based on the analyzing. The new code enables the composition operator for injecting the second function or the output of the second function as a value for the dependency parameter in the first function. The injecting provides a resulting function. The method may include a step of transmitting, using the communication device, the new code to the user device.Type: GrantFiled: July 28, 2020Date of Patent: July 27, 2021Inventors: Yacoub Elias Yacoub Massad, Issam Hanna Andoni