Program Verification Patents (Class 717/126)
  • Patent number: 10795733
    Abstract: A cloud manager controls the deployment and management of machines for an online service. A build system creates deployment-ready virtual hard disks (VHDs) that are installed on machines that are spread across one or more networks in farms that each may include different configurations. The build system is configured to build VHDs of differing configurations that depend on a role of the virtual machine (VM) for which the VHD will be used. The build system uses the VHDs to create virtual machines (VMs) in both test and production environments for the online service. The cloud manager system automatically provisions machines with the created virtual hard disks (VHDs). Identical VHDs can be installed directly on the machines that have already been tested.
    Type: Grant
    Filed: January 2, 2019
    Date of Patent: October 6, 2020
    Assignee: Microsoft Technology Licensing, LLC
    Inventors: Jason M. Cahill, Alexander Hopmann, Marc Keith Windle, Erick Raymundo Lerma
  • Patent number: 10789362
    Abstract: A method that involves generating, for source code, a set of nodes for a set of statements comprising a first statement and a second statement, wherein each node of the set of nodes comprises a dataflow fact and a statement of the set of statements; identifying a source node and a sink node of the set of nodes; determining that the source node is backward reachable from the sink node by analyzing an incoming access path; and, in response to the determination, identifying a potential taint flow from the source node to the sink node.
    Type: Grant
    Filed: July 31, 2018
    Date of Patent: September 29, 2020
    Assignee: Oracle International Corporation
    Inventors: Nicholas Allen, Francois Gauthier, Alexander Jordan
  • Patent number: 10785122
    Abstract: Systems and methods provide for validating a canary release of containers in a containerized production environment. A first container of the containerized production environment can receive network traffic. The first container can transmit the network traffic to a first version of a second container of the containerized production environment and to a traffic analysis engine. First metrics relating to processing by the first version of the second container can be captured. The traffic analysis engine can determine one or more traffic patterns included in the network traffic. The traffic analysis engine can cause simulated network traffic corresponding to the one or more traffic patterns to be transmitted to a second version (e.g., a canary release) of the containerized production environment. Second metrics relating to processing by the second version of the second container can be captured. A comparison between the first metrics and the second metrics can be presented.
    Type: Grant
    Filed: October 5, 2018
    Date of Patent: September 22, 2020
    Assignee: CISCO TECHNOLOGY, INC.
    Inventors: Kaustubh Inamdar, Ram Mohan Ravindranath, Gonzalo Salgueiro, Sebastian Jeuk
  • Patent number: 10783247
    Abstract: Software, such as malware, may be classified using phylogenetic techniques. An evolutionary history of a representative set of software programs may be reconstructed to generate a reference phylogeny. Dynamic traces of the representative software programs may be obtained. The dynamic traces may include time-ordered sequences of execution commands extracted from running software binaries. Metrics may be developed using the dynamic traces. One or more unknown software programs may then be classified against the reference phylogeny using the metrics developed using the dynamic traces of the representative set of software programs.
    Type: Grant
    Filed: December 14, 2017
    Date of Patent: September 22, 2020
    Assignee: Triad National Security, LLC
    Inventors: Shannon Steinfadt, Taina Immonen, Thomas Leitner, Michael Kyle
  • Patent number: 10783063
    Abstract: A graphical programming test generation system and method are provided. The system, for example, may include, but is not limited to a graphical programming test generator comprising a processor and a memory, the processor configured to generate a graphical programming test generator interface to generate an application, including, but not limited to, a canvas, a plurality of tools, each of the plurality of tools, when added to the canvas, generating a customizable node, wherein one of the plurality of tools is a test node, which when added to the canvas marks the application as a test application and defines a trigger event for executing the test application, wherein the processor is configured to generate the test application based upon one or more customizable nodes added to the canvas, monitor a customer environment for events, and execute the test application upon detection of the trigger event defined for the test application.
    Type: Grant
    Filed: October 23, 2018
    Date of Patent: September 22, 2020
    Assignee: salesforce.com, inc.
    Inventor: Nathan Edward Lipke
  • Patent number: 10776233
    Abstract: In general, a test instrument includes a first processing system that is programmable to run one or more test programs to test a device interfaced to a test instrument, and that is programmed to control operation of the test instrument, and a second processing system that is dedicated to device testing. The second processing system being programmable to run one or more test programs to test the device, and the first processing system has a first application programming interface (API) and the second processing system has a second API, the first API and the second API being different APIs, the first API and the second API having at least some duplicate functions.
    Type: Grant
    Filed: October 28, 2011
    Date of Patent: September 15, 2020
    Assignee: Teradyne, Inc.
    Inventors: Lloyd K. Frick, David John Lind
  • Patent number: 10769054
    Abstract: Functionality is disclosed herein for integrating a program code marketplace and a service provider network. A program code marketplace system is configured to provide a program code marketplace through which developers or other users can list program code for sale. Program code offered through the program code marketplace may have an associated execution environment definition that defines an execution environment for the program code. A request may be received to deploy program code available through the program code marketplace to a service provider network for execution. In response thereto, the execution environment definition may be utilized to create an execution environment in the service provider network. The program code may then be deployed to the execution environment in the service provider network for execution. The program code marketplace may integrate with other systems, such as a payments system, for processing micropayments for program code available through the program code marketplace.
    Type: Grant
    Filed: February 13, 2014
    Date of Patent: September 8, 2020
    Assignee: Amazon Technologies, Inc.
    Inventors: Charlotte Elaine Henkle, Samuel Ytzhak Donnelley, Sunbir Gill, Ameesh Paleja, Matthew A. Jones, Alexander Lowell Rouse
  • Patent number: 10761972
    Abstract: Implementations include a method and system configured to allow users to track, record, and store process instances and use the recordings in the same or different environments in order to test, debug, and repair detected errors and anomalies in process flows. The method and system also provides a conceptual way where users can create tests by recording and playback one or more flow instances along with processing artifacts in order to test and debug their flow in a different environment to ensure flow executions work across updates, releases, and across different environments.
    Type: Grant
    Filed: June 10, 2019
    Date of Patent: September 1, 2020
    Assignee: Oracle International Corporation
    Inventors: Muthukumar Palanisamy, Rajan Modi, Adinarayana Bellala
  • Patent number: 10754758
    Abstract: Querying resource lifetime using a trace of program execution. An embodiment includes identifying a query expression targeted at least a portion of the trace of program execution. The query expression specifies at least (i) a data object representing a plurality of events identified in the trace, each event associated with one or more attributes relating to resource lifetime, and (ii) one or more conditions matching the one attributes relating to resource lifetime. In response to receiving the query expression, the query expression is processed based at least on an analysis of an identified subset of the trace. Based on processing the query expression, a result data set that includes or identifies at least one of the plurality of events that meets the one or more conditions is presented.
    Type: Grant
    Filed: January 18, 2019
    Date of Patent: August 25, 2020
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
    Inventors: Jordi Mola, Juan Carlos Arevalo Baeza, Darek Josip Michocka
  • Patent number: 10749986
    Abstract: Interacting with a computing device can include registering a plurality of commands from a plurality of applications, wherein the plurality of commands specify entity types that are accepted as parameters, determining a first entity having a first entity type, wherein the first entity is independent of the plurality of applications, and determining a selected command from the plurality of commands registered by the plurality of applications that accepts the first entity type as a parameter. The first entity and the selected command can be provided, using a processor, to a first application of the plurality of applications that supports the selected command for execution.
    Type: Grant
    Filed: April 7, 2017
    Date of Patent: August 18, 2020
    Assignee: SAMSUNG ELECTRONICS CO., LTD.
    Inventors: Jeffrey S. Pierce, Mike Digman, Ranhee Chung
  • Patent number: 10749987
    Abstract: Disclosed embodiments relate to a shared computing system for use in telecommunications between end-point telecommunication devices comprising a plurality of instances of a telecommunications service component and a version control gateway configured to route a communication connection from an end-point telecommunication device to an appropriate instance, of the plurality of instances, of the service component. In some embodiments, different end-point telecommunication devices may use different instances of the service component. Some embodiments relate to a network for telecommunications between end-point telecommunication devices, a version control gateway for use in the system of the disclosure, a method of providing a telecommunications service to a user, a method of migrating a user from one software version of a telecommunications service to another, and computer programs and computer-readable media.
    Type: Grant
    Filed: September 13, 2017
    Date of Patent: August 18, 2020
    Assignee: StarLeaf Ltd
    Inventors: Nicholas Ian Moss, Timothy Joseph Nicolson, Phillip Michael Birtwell
  • Patent number: 10713261
    Abstract: Implementations provide an enhanced search result to improve the user search experience. For example, the result may include insightful information relevant to the search query that was not specifically requested but that the user may find interesting, such as relationships shared between the two entities related to the query, a relationship between the two entities that does not commonly occur with another relationship shared by the entities, or strong secondary connections for an entity related to the query. In some implementations, insightful connections may also be unique facts for a particular entity. Unique facts may represent a superlative attribute of an entity such as, for example, the tallest actor, the oldest president, the most expensive stock, etc. Such shared relationships, rare relationships, and/or unique facts may be provided as part of the search results presented to the query requestor and may provide insight to the requestor about the entity.
    Type: Grant
    Filed: March 13, 2013
    Date of Patent: July 14, 2020
    Assignee: GOOGLE LLC
    Inventors: David Francois Huynh, Guanghua Li, Chen Ding, Yanlai Huang, Ying Chai, Liang Hu, Jingxu Chen
  • Patent number: 10698795
    Abstract: A virtual payments environment can be used to simulate and test performance of a payments system. A plurality of characteristics and settings can be used to generate and/or determine one or more scenarios associated with a payments environment. The one or more scenarios associated with the payments environment can comprise a plurality of activity engines that simulate real-word components of a payments environment. Payment information can be introduced to the one or more scenarios and activity engines can be used to test and/or verify the integrity of the payment information as it traverses a transactional path through the payments environment. Performance data associated with the payment information can be accessed and review in order to determine a number or successes and/or failures associated with processing the payment information as it transverses the payments environment.
    Type: Grant
    Filed: September 18, 2017
    Date of Patent: June 30, 2020
    Assignee: TOTAL SYSTEMS SERVICES, INC.
    Inventors: Donald Morford Riddick, Russell Moore, Kevin Powers
  • Patent number: 10685123
    Abstract: A system that validates a native code module. During operation, the system receives a native code module comprised of untrusted native program code. The system validates the native code module by: (1) determining that code in the native code module does not include any restricted instructions and/or does not access restricted features of a computing device; and (2) determining that the instructions in the native code module are aligned along byte boundaries such that a specified set of byte boundaries always contain a valid instruction and control flow instructions have valid targets. The system allows successfully-validated native code modules to execute, and rejects native code modules that fail validation. By validating the native code module, the system facilitates safely executing the native code module in the secure runtime environment on the computing device, thereby achieving native code performance for untrusted program binaries without significant risk of unwanted side effects.
    Type: Grant
    Filed: July 17, 2017
    Date of Patent: June 16, 2020
    Assignee: Google LLC
    Inventors: J. Bradley Chen, Matthew T. Harren, Matthew Papakipos, David C. Sehr, Bennet S. Yee
  • Patent number: 10678916
    Abstract: Malicious programs may be detected by obtaining program information of a program. A control flow graph may be generated based on the program information. The program may be identified as being potentially malicious based on one or more portions of the control flow graph.
    Type: Grant
    Filed: March 20, 2018
    Date of Patent: June 9, 2020
    Assignee: DiDi Research America, LLC
    Inventor: Yinhong Chang
  • Patent number: 10671758
    Abstract: A technique includes identifying a statement of a program based on a category that is associated with a sensitive-information category. The technique includes, based on a variable that is contained in the program statement, identifying at least one modifiable parameter (MP) of the program; and obfuscating a portion of a memory image associated with the program based on the identified MP.
    Type: Grant
    Filed: August 30, 2017
    Date of Patent: June 2, 2020
    Assignee: MICRO FOCUS LLC
    Inventor: Pramod Joisha
  • Patent number: 10666721
    Abstract: A resource management device includes a memory and a processor configured to accept, from the terminal, a request to execute an exclusion of a first processing device from a device group, the device group including processing devices that execute processing in response to an instruction, execute copying of a processing execution history from a storage in the first processing device to a second processing device different from the first processing device among the device group in response to the request, and execute the exclusion of the first processing device from the device group after completion of the copying of the processing execution history.
    Type: Grant
    Filed: October 20, 2017
    Date of Patent: May 26, 2020
    Assignee: FUJITSU LIMITED
    Inventors: Miki Hayashi, Daisuke Kudo, Chan Jeon Jeon
  • Patent number: 10642923
    Abstract: In one example of the disclosure, an expected measurement range is identified for each of a set of metrics. Actual value measurements are obtained for each of the metrics. Each of the identified expected measurement ranges and the actual value measurements are normalized according to a common scale. A graph is caused to be displayed. The graph includes a baseline band representative of the normalized measurement ranges, and includes the normalized actual value measurements plotted relative to the baseline band.
    Type: Grant
    Filed: April 1, 2015
    Date of Patent: May 5, 2020
    Assignee: MICRO FOCUS LLC
    Inventors: Yair Horovitz, Maria Smolkov, Nurit Peres
  • Patent number: 10614224
    Abstract: Techniques for identifying computer program security access control violations using static program analysis are provided. In one example, a computer-implemented method comprises generating, by a device operatively coupled to a processor, a mathematical model of a computer program product, wherein the mathematical model defines data flows through nodes of the computer program product that reach a secure node corresponding to a secure resource. The computer implemented method further comprises evaluating, by the device, a security protocol of the computer program product using static program analysis of the mathematical model to determine whether any of the data flows provides access to the secure node without proceeding through one or more security nodes corresponding to the security protocol, wherein the one or more security nodes are included in the nodes of the computer program product.
    Type: Grant
    Filed: May 15, 2017
    Date of Patent: April 7, 2020
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Matthias Daniel Dietsch, Pietro Ferrara, Marco Pistoia, Omer Tripp
  • Patent number: 10606893
    Abstract: Mechanisms are provided in which a first knowledge graph, comprising nodes representing entities and edges between nodes indicative of a relationship between the entities, is received. The mechanisms identify a candidate missing edge connecting a node of the first knowledge graph to another node not present in the first knowledge graph and evaluate the candidate missing edge to determine if the candidate missing edge should be added to the first knowledge graph. The mechanisms expand the first knowledge graph to include the candidate missing edge connecting the node to a newly added node that is newly added to the first knowledge graph, to thereby generate an expanded knowledge graph, in response to the evaluation indicating that the candidate missing edge should be added to the first knowledge graph. The mechanisms then perform an operation on the expanded knowledge graph to generate a knowledge output.
    Type: Grant
    Filed: September 15, 2016
    Date of Patent: March 31, 2020
    Assignee: International Business Machines Corporation
    Inventors: Paul E. Brennan, Scott R. Carrier, Michael L. Stickler
  • Patent number: 10599424
    Abstract: An association between two or more segments of committed program code can be determined so that the segments of committed program code can be used together for building a software project. For example, one or more communications can be received and indicate that two or more segments of program code are to be committed to one or more repositories associated with a software project. Thereafter, the segments of program code, a database, or other information can be analyzed to determine an association between the two or more segments of program code. Based on the association between the two or more segments of program code, the two or more segments of program code can be integrated together into combined program code. A build tool can then build the software project using the combined program code.
    Type: Grant
    Filed: June 15, 2016
    Date of Patent: March 24, 2020
    Assignee: Red Hat Israel, Ltd.
    Inventors: Alexander Braverman Masis, Ilia Meerovich
  • Patent number: 10579501
    Abstract: A method and system for testing a server code in a server concurrently handling multiple client requests create a job-specific breakpoint in the server code using a library application programming interface (API) that allows the job-specific breakpoint in the server code being enabled or disabled based on a job identifier. The library API controls the job-specific breakpoint in the server code via a plurality of readymade functions that execute, in a desired sequence, various synchronous and asynchronous program paths associated with the multiple client requests. By using the library API, the method and system are capable of establishing a new server connection with the server and retrieving the job identifier from the server associated with the established new server connection, pausing execution of a client job based on enabling the job-specific breakpoint, and resuming execution of the client job based on disabling the job-specific breakpoint.
    Type: Grant
    Filed: April 4, 2018
    Date of Patent: March 3, 2020
    Assignee: International Business Machines Corporation
    Inventors: Amit P. Joglekar, Praveen Mohandas
  • Patent number: 10553295
    Abstract: A memory system may include: a nonvolatile memory device suitable for storing write-requested data; and a controller including a first volatile memory region suitable for storing meta-data for the write-requested data and a second volatile memory region suitable for storing a meta-log for the meta-data, the controller may store the meta-data or the meta-log according to a logical address range of the meta-data.
    Type: Grant
    Filed: August 22, 2017
    Date of Patent: February 4, 2020
    Assignee: SK hynix Inc.
    Inventor: Hae-Lyong Song
  • Patent number: 10545753
    Abstract: A method and apparatus of a device that performs a hitless update a boot image of a network element. In this embodiment, the device identifies the network element to update and determines if the network element has redundant paths. If this network element has redundant paths, the device configures the network element to drain data processing of the network element. In addition, the device updates the network element to a new boot image when the data processing of the network element is drained.
    Type: Grant
    Filed: March 1, 2016
    Date of Patent: January 28, 2020
    Assignee: ARISTA NETWORKS, INC.
    Inventors: Peter Raymond Sprygada, Mark Berly, Douglas Gourlay
  • Patent number: 10542021
    Abstract: Actions in an electronic environment are monitored during a learning period and behavior profiles generated using feature values for those actions. Subsequent behavior can be compared against the profiles to track the anomalies, or mismatches between features of incoming events and features of the profiles. A high percentage of mismatch can make a feature a candidate for exclusion from the behavioral profile. Normalization methods can be applied on features flagged as exclusion candidates. If any normalization sufficiently decreases the mismatch rate, the feature will not be excluded from the behavior profile. Any exclusion candidate feature which does not have an adequate mismatch value after normalization can be removed from tracked features of the corresponding profile. The behavior profile can be used to detect anomalous behavior that deviates from values of the behavior profile.
    Type: Grant
    Filed: June 20, 2016
    Date of Patent: January 21, 2020
    Assignee: AMAZON TECHNOLOGIES, INC.
    Inventor: Nima Sharifi Mehr
  • Patent number: 10536350
    Abstract: In a computer-implemented method for determining feature utilization in a software-defined network, an available feature set for the software-defined network is determined, wherein the available feature set is based on a version of the software-defined network. Features enabled on the software-defined network are determined. The features enabled in the software-defined network are compared to the available feature set. A network profile score is generated based on the comparing, where the network profile score includes constituent feature scores for features of the available feature set. The network profile score is presented in a graphical user interface, the network profile score providing an indication of feature utilization of the available feature set, where the graphical user interface allows for receiving a user interaction for presenting the constituent feature scores for the features of the available feature set responsive to the user interaction.
    Type: Grant
    Filed: September 29, 2017
    Date of Patent: January 14, 2020
    Assignee: VMware—Airwatch
    Inventors: Sirisha Myneni, Arijit Chanda
  • Patent number: 10530853
    Abstract: A method implemented by an application (app) store system for providing apps to one or more users through a network, the method comprising managing, by the app store system, a multi-screen application (MSA) package that comprises a set of related apps, wherein one or more relationships among the set of related apps are pre-defined, receiving, by the app store system, a request from a first user device via the network to download at least part of the MSA package; and causing, by the app store system, the set of related apps to be downloaded to a plurality of user devices including the first user device according to the one or more relationships among the set of related apps in response to the request.
    Type: Grant
    Filed: December 12, 2013
    Date of Patent: January 7, 2020
    Assignee: Futurewei Technologies, Inc.
    Inventor: Guangbin Fan
  • Patent number: 10515002
    Abstract: A device receives application information associated with a cloud application provided in a cloud computing environment, and utilizes a first AI model to generate test cases and test data based on the application information. The device utilizes a second AI model to generate optimized test cases and optimized test data based on the test cases and the test data, and utilizes a third AI model to generate test classes based on the optimized test cases and the optimized test data. The device executes the test classes to generate results, and utilizes a fourth AI model to generate an analysis of the results, recommendations for the cloud application based on the analysis of the results, or a code coverage report associated with the cloud application. The device automatically causes an action to be performed based on the analysis of the results, the recommendations, or the code coverage report.
    Type: Grant
    Filed: January 8, 2018
    Date of Patent: December 24, 2019
    Assignee: Accenture Global Solutions Limited
    Inventors: Paresh Takawale, Dnyaneshwar Gangaram Dhumal, Garima Gupta, Mukul Dilip Patidar
  • Patent number: 10496384
    Abstract: A system and method for facilitating construction of and/or adaptation of a dynamic software model. One embodiment provides for generating software models by mapping user selections to one or more model features as specified by feature definitions. An initial software model is used to obtain the user selections. Artifacts are associated with the initial business planning model according to the selections by mapping the selections to model features according to previously determined feature definitions.
    Type: Grant
    Filed: February 19, 2019
    Date of Patent: December 3, 2019
    Assignee: Oracle International Corporation
    Inventors: Prasad Kulkarni, Manish Daga, Shivaranjan Gurunanjappa
  • Patent number: 10489588
    Abstract: A data recorder stores endpoint activity on an ongoing basis as sequences of events that causally relate computer objects such as processes and files, and patterns within this event graph can be used to detect the presence of malware on the endpoint. The underlying recording process may be dynamically adjusted in order to vary the amount and location of recording as the security state of the endpoint changes over time.
    Type: Grant
    Filed: March 19, 2018
    Date of Patent: November 26, 2019
    Assignee: Sophos Limited
    Inventors: Beata Ladnai, Mark David Harris, Andrew J. Thomas, Andrew G. P. Smith, Russell Humphries
  • Patent number: 10482099
    Abstract: Systems and methods are provided for facilitating the transformation of data from a tabular data set organized according to a data schema to an object based data set organized according to data ontology. The data schema and the data ontology may be used to generate a custom coding language suitable for facilitating the creation of a transform script. Error checking, type checking, autocomplete, and preview tools may be provided to permit the verification of the transform script as it is created.
    Type: Grant
    Filed: March 12, 2018
    Date of Patent: November 19, 2019
    Assignee: Palantir Technologies Inc.
    Inventors: Joel Ossher, David Xiao
  • Patent number: 10474420
    Abstract: A speaker system includes a case, an audio input, speakers, an accelerometer, and a computer processor. The audio input is structured to receive a program audio signal from an audio device. The speakers are configured to play an audio output based on the program audio signal, the audio output causing a vibration of the case. The accelerometer is configured to detect the vibration of the case as well as a user tap on the case. The computer processor is configured to identify a user gesture that includes the tap on the case, to identify the tap apart from the case vibration by processing the detected vibration of the case and the detected user tap on the case based on information from the program audio signal to separate the detected user tap from the detected vibration, and to commence a particular function associated with the user gesture.
    Type: Grant
    Filed: October 12, 2018
    Date of Patent: November 12, 2019
    Assignee: Avnera Corporation
    Inventors: Manpreet S. Khaira, Shawn O'Connor, Frank Prestrelski, Patrick Allen Quinn, Richard Andrew Sorensen, Eric Sorensen
  • Patent number: 10474561
    Abstract: A method and a testing tool for automated testing of HMI applications includes: identifying, at least one vehicle from a plurality of vehicles as HMI enabled vehicle, and a HMI application installed on an electronic device corresponding to the at least one vehicle; identifying one or more errors in one or more additional features being integrated with the HMI application; generating test data based on one or more test scripts related to the one or more additional features and historical test analysis of the HMI application; and executing the one or more test scripts on the HMI application based on the test data for automated testing of Human Machine Interface (HMI) applications associated with vehicles. The disclosed method and the testing tool provide a common framework for testing HMI applications of various vehicles.
    Type: Grant
    Filed: August 11, 2017
    Date of Patent: November 12, 2019
    Assignee: Wipro Limited
    Inventor: Rajkumar Joghee Bhojan
  • Patent number: 10466998
    Abstract: An upgrade campaign is generated for entities of a system described by a source configuration. According to the upgrade campaign, the system is upgraded to a target configuration using available software. A change model describes changes from the source configuration to the target configuration. According to the change model, an upgrade campaign specification model is generated, which contains at least one upgrade campaign element for each change in the change model. A subset of upgrade campaign elements are matched based on a first set of rules, and the matched upgrade campaign elements are merged into an upgrade procedure in the upgrade campaign specification model. The upgrade procedures are ordered based on a second set of rules and dependencies among the entities of the system, where the dependencies are extracted from the source configuration, the target configuration and the description of available software.
    Type: Grant
    Filed: February 17, 2016
    Date of Patent: November 5, 2019
    Assignee: Telefonaktiebolaget LM Ericsson (publ)
    Inventors: Oussama Jebbar, Margarete Sackmann, Maria Toeroe, Ferhat Khendek
  • Patent number: 10460105
    Abstract: A data recorder stores endpoint activity on an ongoing basis as sequences of events that causally relate computer objects such as processes and files, and patterns within this event graph can be used to detect the presence of malware on the endpoint. The underlying recording process may be dynamically adjusted in order to vary the amount and location of recording as the security state of the endpoint changes over time.
    Type: Grant
    Filed: March 19, 2018
    Date of Patent: October 29, 2019
    Assignee: Sophos Limited
    Inventors: Beata Ladnai, Mark David Harris, Andrew J. Thomas, Andrew G. P. Smith, Russell Humphries
  • Patent number: 10459717
    Abstract: Methods, systems, and computer-readable storage media for providing notifications in distributed development. In some implementations, actions include receiving change information, the change information indicating one or more changes to source code, processing the change information to determine one or more entities associated with the change, comparing the one or more entities to one or more subscriptions, the one or more subscriptions being specific to a user, for each entity associated with a subscription, providing a notification in a set of notifications, and providing a sub-set of notifications for display to the user.
    Type: Grant
    Filed: August 7, 2013
    Date of Patent: October 29, 2019
    Assignee: SAP SE
    Inventors: Andreas Rummler, Tobias Nestler, Steffen Goebel
  • Patent number: 10437618
    Abstract: Disclosed are systems and methods for emulating execution of a file. An image of a file is formed, which is comprised of instructions read from the file. An analysis module detects at least one known set of instructions in a portion read from the file, and inserts a break point into a position in the generated image of the file corresponding to a start of the detected set of instructions. An emulation module emulates execution of the file by emulating execution of instructions from the generated image of the file and adding corresponding records to an emulation log associated with the emulated execution of the at least one known set of instructions.
    Type: Grant
    Filed: October 12, 2017
    Date of Patent: October 8, 2019
    Assignee: AO Kaspersky Lab
    Inventors: Alexander V. Liskin, Vladimir V. Krylov
  • Patent number: 10423409
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for computing weights for source code alerts. One of the methods includes generating a respective sample of alerts for each feature of a plurality of features. One or more feature values are computed for alerts having a same respective attribute value for each feature of a plurality of features. An importance distribution that maps each feature value to a respective measure of importance for an alert having the feature value is used to compute a respective feature score for the feature using one or more feature values computed the alert. A respective weight is computed for each alert by combining the plurality of feature scores computed for the alert.
    Type: Grant
    Filed: April 23, 2018
    Date of Patent: September 24, 2019
    Assignee: Semmle Limited
    Inventors: Sebastiaan Johannes van Schaik, Man Yue Mo, Jean Helie
  • Patent number: 10417418
    Abstract: A data recorder stores endpoint activity on an ongoing basis as sequences of events that causally relate computer objects such as processes and files, and patterns within this event graph can be used to detect the presence of malware on the endpoint. The underlying recording process may be dynamically adjusted in order to vary the amount and location of recording as the security state of the endpoint changes over time.
    Type: Grant
    Filed: March 19, 2018
    Date of Patent: September 17, 2019
    Assignee: Sophos Limited
    Inventors: Beata Ladnai, Mark David Harris, Andrew J. Thomas, Andrew G. P. Smith, Russell Humphries
  • Patent number: 10417393
    Abstract: A method for detecting digital content misuse can include clustering, by a digital content delivery system, a set of data points into a set of digital content usage clusters, each data point from the set of data points representing a unique user account from a set of user accounts maintained by the digital content delivery system, and each data point from the set of data points having been determined based on usage signal data describing digital content usage associated with the unique user account represented by the data point; determining, based on the set of digital content usage clusters, that a first data point from the set of data points is an outlier; and in response to determining that the first data point from the set of data points is an outlier, executing a remedial action with respect to a user account represented by the first data point.
    Type: Grant
    Filed: November 4, 2016
    Date of Patent: September 17, 2019
    Assignee: Screening Room Media, Inc.
    Inventors: James Armand Baldwin, Prem Akkaraju, Giorgio Vanzini
  • Patent number: 10417419
    Abstract: A data recorder stores endpoint activity on an ongoing basis as sequences of events that causally relate computer objects such as processes and files, and patterns within this event graph can be used to detect the presence of malware on the endpoint. The underlying recording process may be dynamically adjusted in order to vary the amount and location of recording as the security state of the endpoint changes over time.
    Type: Grant
    Filed: March 19, 2018
    Date of Patent: September 17, 2019
    Assignee: Sophos Limited
    Inventors: Beata Ladnai, Mark David Harris, Andrew J. Thomas, Andrew G. P. Smith, Russell Humphries
  • Patent number: 10409566
    Abstract: An improved development and deployment environment and processes for developing and deploying object-oriented web-based scan-task enabled applications, wherein web-based scan-task enabled client computers use scan task specifications and task decoders to retrieve and decode a scan tasks encapsulated on each web page requested and received from a web server supported by an application server and database server, and then perform specified actions, including the display of web controls, required by the scan task script contained within the decoded scan task, corresponding to the served web page.
    Type: Grant
    Filed: August 31, 2017
    Date of Patent: September 10, 2019
    Assignee: METROLOGIC INSTRUMENTS, INC.
    Inventors: Enyi Chen, Jiangeng Du, Weilin Zhang, Xiaoxun Zhu
  • Patent number: 10387631
    Abstract: A context of one or more interactions is determined. Base objects are transformed into interpreted objects by interpreting the base objects based on evaluation of the context, and by resolving references of the base objects relative to domain model types and concepts, each of the base objects modeled using a same declarative modeling language, the same declarative modeling language enabling transitions between the interpreted objects, at least one of the interpreted objects including at least one post-condition providing hooks for transition policies which allow the at least one of the interpreted objects to be logically chained in a non-linear process. Transitioning between at least two of the interpreted objects by chaining the at least two interpreted objects based on a particular post-condition of a particular interpreted object to create at least a portion of a particular non-linear process. At least a portion of the particular non-linear process is executed.
    Type: Grant
    Filed: May 8, 2017
    Date of Patent: August 20, 2019
    Assignee: ENTERPRISEWEB LLC
    Inventors: Dave M. Duggal, William J. Malyk
  • Patent number: 10379994
    Abstract: Systems, methods, and computer-readable media are disclosed for smart code scanning, analysis and reporting. The systems, methods, and computer-readable media described herein may reduce the computational load on the scanner service and improve user experiences. In an example method described herein, a scanning service may receive code for analysis, the code being associated with a first project identifier. The scanner service may scan the code to identify one or more potential issues associated with the code. In turn, the scanner service may provide a list comprising, at least, one or more potential issues for display at a user device. The scanner service may then receive data indicative of a first potential issue being a false positive based on, at least in part, user input.
    Type: Grant
    Filed: January 31, 2017
    Date of Patent: August 13, 2019
    Assignee: Amazon Technologies, Inc.
    Inventors: Sarah Giles, Addison Page Phillips, Kuldeep Sharma, Ajay Kumar Soni
  • Patent number: 10379992
    Abstract: An example method may include classifying a plurality of atomic pieces of historic feedback to create an association between the plurality of atomic pieces of historic feedback and a plurality of atomic pieces of historic code associated with the plurality of atomic pieces of historic feedback; storing the plurality of atomic pieces of historic feedback and the plurality of atomic pieces of historic code to a data store; comparing the plurality of atomic pieces of historic feedback to group similar kinds of feedback; receiving a request for code review of new code; comparing the new code to the plurality of atomic pieces of historic code to measure similarities between the new code and the plurality of pieces of historic code to identify similar code from the plurality of atomic pieces of historic code; and providing feedback on the new code based on feedback associated with the similar code.
    Type: Grant
    Filed: October 25, 2016
    Date of Patent: August 13, 2019
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Owen Fletcher, Miguel Jimenez Monasor, Mihaela Miches, Jose C. Raya de la Torre
  • Patent number: 10365911
    Abstract: Embodiments of the present invention provide a method, system and computer program product for configurably recommending a software application update. In an embodiment of the invention, a method for configurably recommending a software application update is provided. The method includes receiving an update for a software application along with a set of ratings for the update. The method also includes comparing in memory of a computer the set of ratings with a pre-stored threshold. Finally, the method includes prompting in the computer to apply the update to the software application responsive to the set of ratings meeting the pre-stored threshold.
    Type: Grant
    Filed: December 18, 2011
    Date of Patent: July 30, 2019
    Assignee: International Business Machines Corporation
    Inventors: Brian L. Gilman, William G. Pagan
  • Patent number: 10333957
    Abstract: A configuration for a security analysis tool is received from a user. The configuration includes two or more configuration items. Each configuration item is a parameter in the configuration of the security analysis tool that has a plurality of possible values. A correlation between the two or more configuration items is determined. The correlation is based on one or more pre-determined empirical correlations.
    Type: Grant
    Filed: September 20, 2016
    Date of Patent: June 25, 2019
    Assignee: International Business Machines Corporation
    Inventors: Paul Ionescu, Iosif V. Onut, Omer Tripp
  • Patent number: 10325386
    Abstract: A method includes formatting for display, on a visual screen, an image comprising a coordinate system and a plurality of data points within the coordinate system, wherein the plurality of data points define historical performance data for a computer system. The method further includes receiving a user input defining a distinguishable area within the coordinate system and an action associated with the distinguishable area. The method additionally includes generating a formula representing the distinguishable area.
    Type: Grant
    Filed: March 31, 2016
    Date of Patent: June 18, 2019
    Assignee: CA, Inc.
    Inventor: Serguei Mankovskii
  • Patent number: 10318413
    Abstract: A scalable enterprise platform for automated functional and integration regression testing is provided. Embodiments of the disclosed system facilitate the testing of any number of different software systems in development, even where the systems have unique dataset formats. Embodiments of the present invention provide a common method to generate logging and results reports across the platform, thereby providing simpler results analysis. Embodiments may also standardize the query set and facilitate the capability to analyze large results sets. Furthermore, embodiments of the disclosed system may combine the original data to the validated data to allow testers to analyze the testing results. In addition, embodiments of the present invention supports secured separation of testing domains. In at least one embodiment, the system includes a centralized user interface system that provides users with different domains to securely access one or more testing domains.
    Type: Grant
    Filed: July 26, 2017
    Date of Patent: June 11, 2019
    Assignee: JPMorgan Chase Bank, N.A.
    Inventors: Mark R. Wilson, Nicholas Johnston, Pollawat Poonjiradejma, Hani E. Sayyed, Thomas Williams
  • Patent number: 10289535
    Abstract: A software integration testing tool includes drivers for different software testing tools to test a system under test, and an application program interface for a test management tool. The software integration testing tool determines configuration parameters for the software testing tools and the test management tool. Based on the configuration parameters, the drivers can be executed to extract test results from the software testing tools and call the application program interface to integrate the test results with the test management tool.
    Type: Grant
    Filed: May 17, 2017
    Date of Patent: May 14, 2019
    Assignee: ACCENTURE GLOBAL SOLUTIONS LIMITED
    Inventors: Sanjay K. Yadav, Gaurav Yadav, Ashutosh Deodhar, Haresh T. Hiranandani