Program Verification Patents (Class 717/126)
  • Patent number: 9417994
    Abstract: The present disclosure provides methods, systems, and apparatuses for testing software. The method may comprise associating a plurality of controls on a software application screen with testing actions to be performed on the controls, thereby creating a plurality of test steps, and then generating a test component comprised of the plurality of test steps. The method may then comprise comparing the generated test component to a second test component that is associated with a previous version of the software application screen, and displaying, on a user interface, a graphical representation of one or more differences between the generated test component and the second test component.
    Type: Grant
    Filed: April 8, 2015
    Date of Patent: August 16, 2016
    Assignee: TURNKEY SOLUTIONS, CORP.
    Inventors: Dale H. Ellis, Ryan C. Jacques
  • Patent number: 9411589
    Abstract: A compare instruction of an instruction set architecture (ISA), when executed tests one or more operands for an instruction defined condition. The result of the test is stored as an operand, with leading zeros, in a general register of the ISA. The general register is identified (explicitly or implicitly) by the compare instruction. Thus, the result of the test can be manipulated by standard register operations of the computer system. In a superscalar processor, no special “condition code” renaming is required, as the standard register renaming takes care of out-of-order processing of the conditions.
    Type: Grant
    Filed: December 11, 2012
    Date of Patent: August 9, 2016
    Assignee: International Business Machines Corporation
    Inventors: Michael K Gschwind, Valentina Salapura
  • Patent number: 9411711
    Abstract: Arrangements described herein relate to adopting an existing automation script to a new framework. A first version of an automation script configured to execute in a first framework, and expected unit test results for the automation script, are received. A second version of the automation script is created from the first version of the automation script. The second version of the automation script is configured to execute in at least a second framework. The first version of the automation script is executed in the first framework to run a first version of a unit test and the second version of the automation script is executed in the second framework to run a second version of the unit test. Results generated by execution of the first and second versions of the automation script are analyzed to validate the second version of the automation script.
    Type: Grant
    Filed: September 30, 2013
    Date of Patent: August 9, 2016
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Bradley C. Herrin, Maneesh Mehra
  • Patent number: 9407505
    Abstract: A computing resource is loaded with the code or data, and an audited record of the loaded code or data is generated. Furthermore, a configuration integrity is generated based on the record of the loaded code or data. The configuration integrity verifier is sent to a requestor for verification of the code or data, the configuration integrity verifier being usable as a trusted verification of the loaded code or data.
    Type: Grant
    Filed: March 4, 2013
    Date of Patent: August 2, 2016
    Assignee: Amazon Technologies, Inc.
    Inventor: Peter Zachary Bowen
  • Patent number: 9400736
    Abstract: Embodiments of the invention relate to transforming a program-event-recording event into a run-time instrumentation event. An aspect of the invention includes a method for transforming a program-event-recording event into a run-time instrumentation event. The method includes enabling run-time instrumentation for collecting instrumentation information of an instruction stream executing on a processor. The method also includes detecting, by the processor, a program-event-recording (PER) event, the PER event associated with the instruction stream executing on the processor. The method further includes writing a PER event record to a collection buffer as a run-time instrumentation event based on detecting the PER event, the PER event record identifying the PER event.
    Type: Grant
    Filed: March 5, 2013
    Date of Patent: July 26, 2016
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Charles W. Gainey, Jr., Michael K. Gschwind
  • Patent number: 9397903
    Abstract: A method of determining an operational attribute of a server executed on a first execution platform and providing a service, the method comprising: performing a measurement indicative of an operational attribute of the server, wherein the measurement is performed by a platform observer system executed on said first execution platform; communicating a result of said measurement to an external observer system; wherein the communicating comprises protecting secrecy of the communicated result; verifying, by the external observer system, that the received measurement result is indicative of a measurement performed on said server.
    Type: Grant
    Filed: June 5, 2012
    Date of Patent: July 19, 2016
    Assignee: Telefonaktiebolaget LM Ericsson (publ)
    Inventor: Bernard Smeets
  • Patent number: 9396095
    Abstract: A method of verifying software may include receiving a portion of a software program that includes multiple functions. The method may also include clustering the functions into two or more clusters of functions and generating a symbolic driver for each of the clusters of functions such that multiple symbolic drivers are generated. The clusters of functions may be symbolically executed using the symbolic drivers to generate concrete test cases for the functions in the clusters. In response to the coverage of the symbolic execution of the clusters of functions being less than a particular coverage or a number of the concrete test cases being more than a particular number of concrete test cases, the method may include re-clustering the functions.
    Type: Grant
    Filed: May 15, 2014
    Date of Patent: July 19, 2016
    Assignee: FUJITSU LIMITED
    Inventors: Maarten Wiggers, Hiroaki Yoshida
  • Patent number: 9378122
    Abstract: Arrangements described herein relate to adopting an existing automation script to a new framework. A first version of an automation script configured to execute in a first framework, and expected unit test results for the automation script, are received. A second version of the automation script is created from the first version of the automation script. The second version of the automation script is configured to execute in at least a second framework. The first version of the automation script is executed in the first framework to run a first version of a unit test and the second version of the automation script is executed in the second framework to run a second version of the unit test. Results generated by execution of the first and second versions of the automation script are analyzed to validate the second version of the automation script.
    Type: Grant
    Filed: September 10, 2013
    Date of Patent: June 28, 2016
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Bradley C. Herrin, Maneesh Mehra
  • Patent number: 9378115
    Abstract: In an example embodiment, static code analysis is performed by designating a first portion of the computer code as base line code. A check run is then performed on the base line code, resulting in one or more findings, with each finding identifying a flaw in the base line code discovered by the check run. The one or more findings may then be designated as a base line. Then a subsequent check run on a modified version of the computer code is performed, resulting in one or more subsequent findings. The one or more findings of the base line are then subtracted from the one or more subsequent findings, resulting in a modified version of the one or more subsequent findings. The modified version of the one or more subsequent findings may then be displayed on a display.
    Type: Grant
    Filed: September 18, 2014
    Date of Patent: June 28, 2016
    Assignee: SAP SE
    Inventors: Andreas Simon Schmitt, Klaus Ziegler, Fabian Vetter, Johannes Marbach
  • Patent number: 9355017
    Abstract: A test system for providing automatic testing of an application on a plurality of devices, the system including an input/output device for communicating with the plurality of devices, a processor and a memory that stores instructions which cause the processor to install an application on a device, monitor the device as it performs a series of steps, and record the results of the series of steps in a log.
    Type: Grant
    Filed: December 7, 2012
    Date of Patent: May 31, 2016
    Assignee: III Holdings 4, LLC
    Inventors: Frederick Charles Neumeyer, Gabriel Anthony Aguilar, Gregory Allen Bryant
  • Patent number: 9344446
    Abstract: Systems and methods are provided for malware scanning and detection in a computing system. In one exemplary embodiment, the method includes launching, in a computing device of the computing system, a virtual machine, and launching, in the virtual machine of the computing device, an internet browser. The method also includes requesting, by the internet browser, data from a web page, and performing, using one or more analysis tools, analysis on the web page. In the method, performing analysis on the web page includes performing monitoring and recording of system application programming interface (API) calls, and creating software objects associated with the web page. The method also includes performing antivirus scanning of the software objects, de-obfuscating JavaScript associated with the software objects, and correlating data associated with the performed analysis to determine if the web page is a malicious web page.
    Type: Grant
    Filed: September 8, 2014
    Date of Patent: May 17, 2016
    Assignee: VERISIGN, INC.
    Inventors: Ralph Thomas, Michael Lapilla, Trevor Tonn, Gregory Sinclair, Blake Hartstein, Matthew Cote
  • Patent number: 9317416
    Abstract: According to one embodiment of the present invention, a method for analyzing test results is provided. The method for analyzing test results may include a computer, determining a first snapshot from a first set of snapshots, wherein the first snapshot is associated with a first set of data. The method may further include the computer determining a second snapshot from a second set of snapshots, wherein the second snapshot is substantially similar to the first snapshot, and wherein the second snapshot is associated with a second set of data. The method may further include the computer associating the first set of data and the second set of data with a third snapshot, responsive to determining that the second snapshot is substantially similar to the first snapshot, wherein the third snapshot is substantially similar to the first snapshot.
    Type: Grant
    Filed: May 20, 2014
    Date of Patent: April 19, 2016
    Assignee: International Business Machines Corporation
    Inventors: Vijay Ekambaram, Ashish K. Mathur, Vikrant Nandakumar, Vivek Sharma
  • Patent number: 9311613
    Abstract: Various tools for use in connection with software projects that may contain open-source software code therein. The tools may include systems and methods for improving results regarding scans of the software projects based on insight data obtained from at least one user's analysis of the results of a previous scan. The systems and methods may also include an application-specific collaboration tool.
    Type: Grant
    Filed: November 10, 2014
    Date of Patent: April 12, 2016
    Assignee: OpenLogic, Inc.
    Inventor: Rod Cope
  • Patent number: 9311126
    Abstract: A method is provided in one example embodiment that includes rebasing a module in a virtual partition to load at a fixed address and storing a hash of a page of memory associated with the fixed address. An external handler may receive a notification associated with an event affecting the page. An internal agent within the virtual partition can execute a task and return results based on the task to the external handler, and a policy action may be taken based on the results returned by the internal agent. In some embodiments, a code portion and a data portion of the page can be identified and only a hash of the code portion is stored.
    Type: Grant
    Filed: July 27, 2011
    Date of Patent: April 12, 2016
    Assignee: McAfee, Inc.
    Inventors: Jonathan L. Edwards, Gregory W. Dalcher, John D. Teddy
  • Patent number: 9311043
    Abstract: Various techniques for adaptively varying audio feedback data on an electronic device are provided. In one embodiment, an audio user interface implementing certain aspects of the present disclosure may devolve or evolve the verbosity of audio feedback in response to user interface events based at least partially upon the verbosity level of audio feedback provided during previous occurrences of the user interface event. In another embodiment, an audio user interface may be configured to vary the verbosity of audio feedback associated with a navigable list of items based at least partially upon the speed at which a user navigates the list. In a further embodiment, an audio user interface may be configured to vary audio feedback verbosity based upon the contextual importance of a user interface event. Electronic devices implementing the present techniques provide an improved user experience with regard to audio user interfaces.
    Type: Grant
    Filed: February 15, 2013
    Date of Patent: April 12, 2016
    Assignee: Apple Inc.
    Inventors: Benjamin A. Rottler, Aram M. Lindahl, Allen Paul Haughay, Jr., Shawn A. Ellis, Policarpo Bonilla Wood, Jr.
  • Patent number: 9306956
    Abstract: Immediately upon identifying a potential breach to a file system, a read-only snapshot of one or more file sets of data stored on a storage volume of the file system is created, and one or more file system protection commands are invoked that restrict access to the snapshot of the file set. Generating the snapshot and restricting access to the snapshot data may include immediately opening an administrative shell for the file-system in response to identifying a potential breach, and executing administrative shell commands that invoke creation of snapshot and limit access of the snapshot data to an administrator or super user.
    Type: Grant
    Filed: May 21, 2015
    Date of Patent: April 5, 2016
    Assignee: GLOBALFOUNDRIES Inc.
    Inventors: Blaine H. Dolph, Sandeep R. Patil, Riyazahamad M. Shiraguppi, Gandhi Sivakumar, Matthew B. Trevathan
  • Patent number: 9305117
    Abstract: Metadata associated with at least one field defined in a user interface is identified. The metadata associated with the field defined in the user interface is processed to identify at least one characteristic of the field defined in the user interface. Based on the characteristic(s), a test string is generated for use as an input into the field defined in the user interface to perform validation on the field.
    Type: Grant
    Filed: November 6, 2013
    Date of Patent: April 5, 2016
    Assignee: GLOBALFOUNDRIES INC.
    Inventors: Ritsuko Beuchert, Scott Boudreau, Richard H. Burns, Sheraz Rashid
  • Patent number: 9298432
    Abstract: A computing device configured for replacing a target method in intermediate language code is described. The computing device includes a processor. The computing device also includes memory in electronic communication with the processor. The computing device further includes instructions stored in the memory. The instructions are executable to import a hook method and hook type into a caller method module. The instructions are also executable to replace, in intermediate language code, any call to the target method in a caller method body with a call to the hook method. The instructions are further executable to compile the intermediate language code to assembly language code. The instructions are additionally executable to call the hook method in place of the target method.
    Type: Grant
    Filed: March 12, 2015
    Date of Patent: March 29, 2016
    Assignee: STEALTHbits Technologies, Inc.
    Inventor: Mikalaj Abramau
  • Patent number: 9298452
    Abstract: Techniques enabling an end-user to specify complex concepts consisting of code abstractions, design abstractions and architectural abstractions in rule form are disclosed. In one embodiment, a graphical user interface is provided to guide a user through the process of entering concept specification information in order to define concepts, including the provision of one or more code snippets that are subsequently analyzed to assist the user in specifying the concept. The resulting rules or concept signatures are evaluated by a rule engine to determine the degree to which the underlying concepts are reflected in a given set of code. Recommended measures that need to be taken for transforming code to satisfy a concept may be provided subsequent to the analysis of the code. In this manner, code quality may be improved through systematic analysis of targeted code to demonstrate adherence (or non-adherence, as the case may be) to user-defined concepts.
    Type: Grant
    Filed: October 11, 2013
    Date of Patent: March 29, 2016
    Assignee: ACCENTURE GLOBAL SERVICES LIMITED
    Inventors: Vikrant Kaulgud, Jagadeesh Chandra Bose Rantham Prabhakara, Subramanya Prasad
  • Patent number: 9292624
    Abstract: Metadata associated with at least one field defined in a user interface is identified. The metadata associated with the field defined in the user interface is processed to identify at least one characteristic of the field defined in the user interface. Based on the characteristic(s), a test string is generated for use as an input into the field defined in the user interface to perform validation on the field.
    Type: Grant
    Filed: September 30, 2013
    Date of Patent: March 22, 2016
    Assignee: GLOBALFOUNDRIES INC.
    Inventors: Ritsuko Beuchert, Scott Boudreau, Richard H. Burns, Sheraz Rashid
  • Patent number: 9285849
    Abstract: The application being executable by hardware comprising a set of processors using an operating system, a method comprises at least the following steps: a first step of identifying the time constraints of the application; a second step of annotating code sections of the application that are subject to a time constraint, said annotating being performed by means of software markers, the software markers delimiting code segments; a third step of determining the worst case execution times of the segments in a given set of execution modes; a fourth step of memorizing the execution times of the segments in an execution library for each execution mode, said library being able to be interfaced with said hardware, said operating system and said application and to execute an energy management strategy by controlling the state of the processors.
    Type: Grant
    Filed: December 22, 2011
    Date of Patent: March 15, 2016
    Assignee: Thales
    Inventor: Florian Broekaert
  • Patent number: 9280443
    Abstract: Described herein is a technology for a dashboard used for visualizing data. In some implementations, a dashboard with one or more dashboard item is provided. Performance of the dashboard is evaluated to determine a load time of the dashboard. Possible suggestions for improving performance of the dashboard are provided if performance issues are determined from evaluating performance of the dashboard.
    Type: Grant
    Filed: August 7, 2013
    Date of Patent: March 8, 2016
    Assignee: Business Objects Software Ltd
    Inventors: Jun Che, Zimo Zhang, Tianli Zhang, Guan Li
  • Patent number: 9274668
    Abstract: Configuring a set of guided documents for operation of a business activity based on a workflow for the activity, industry expertise, and a plurality of models of source data that is relevant to the business activity, wherein points of entry to access the guided documents are organized around one or more industry-specific data dimensions.
    Type: Grant
    Filed: May 31, 2013
    Date of Patent: March 1, 2016
    Assignee: DIMENSIONAL INSIGHT INCORPORATED
    Inventors: Frederick A. Powers, Stanley R. Zanarotti, James Clark
  • Patent number: 9262479
    Abstract: A continuous query may be received, the continuous query being identified based at least in part on an archived view. The archived view may be created and/or identified based at least in part on a join query related to two or more archived relations associated with an application, at least one of the two or more archived relations being identified as a dimension relation. A query plan for the continuous query may be generated. A join operator in the query plan may be identified based at least in part on the dimension relation. A state of an operator corresponding to the dimension relation may be initialized. It may be identified if the state of the operator identifies an event that detects a change to the dimension relation. The continuous query may be re-started based at least in part on the event that detects the change to the dimension relation.
    Type: Grant
    Filed: September 25, 2013
    Date of Patent: February 16, 2016
    Assignee: Oracle International Corporation
    Inventors: Unmesh Anil Deshmukh, Anand Srinivasan, Vikram Shukla, Prathab Kali
  • Patent number: 9262157
    Abstract: Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.
    Type: Grant
    Filed: April 24, 2015
    Date of Patent: February 16, 2016
    Assignee: Semmle Limited
    Inventors: Anders Starcke Henriksen, Arthur Baars, Pavel Avgustinov, Julian Tibble, Max Schaefer, Oege de Moor
  • Patent number: 9256756
    Abstract: A method of encryption and decryption for shared libraries in an open operating system is provided. By encrypting a partial portion of an executable and linkable format (ELF) file, where the ELF file is dependent on the shared libraries, an operating system lacking a secret key is not able to use the encrypted ELF file and thus not able to load the shared libraries into the memory for execution, thereby ensuring the protection of the shared libraries.
    Type: Grant
    Filed: February 24, 2014
    Date of Patent: February 9, 2016
    Assignee: GIGA-BYTE TECHNOLOGY CO., LTD.
    Inventor: Wei-Cheng Lin
  • Patent number: 9256512
    Abstract: The disclosure includes technology for analyzing software code for embedded systems using a plurality of analysis tools. The technology includes an example system including a processor and a memory storing instructions that when executed cause the system to determine a falseness rate for each of two or more analysis tools; analyze software code using the two or more analysis tools to generate two or more tool-output results; generate an analysis result based on the two or more tool-output results, the analysis result characterizing one or more faults and one or more validations identified in the two or more tool-output results; determine a fault expectation for the software code based on the analysis result and the falseness rate of each of the two or more analysis tools; and perform a quality assurance analysis for the software code based on the fault expectation.
    Type: Grant
    Filed: December 13, 2013
    Date of Patent: February 9, 2016
    Assignee: Toyota Jidosha Kabushiki Kaisha
    Inventor: Shinichi Shiraishi
  • Patent number: 9250885
    Abstract: Provided is a method of installing a bundle in an image forming apparatus operating based on a framework capable of sharing a function among a plurality of bundles. The method includes extracting related information between the bundle and another bundle from an XML file of any one bundle; and adding the extracted related information to a file including information of the bundle.
    Type: Grant
    Filed: December 22, 2010
    Date of Patent: February 2, 2016
    Assignee: SAMSUNG ELECTRONICS CO., LTD.
    Inventor: Young-ki Hwang
  • Patent number: 9229607
    Abstract: Configuring a set of guided documents for operation of a business activity based on a workflow for the activity, industry expertise, and a plurality of models of source data that is relevant to the business activity, wherein points of entry to access the guided documents are organized around one or more industry-specific data dimensions.
    Type: Grant
    Filed: November 7, 2013
    Date of Patent: January 5, 2016
    Assignee: DIMENSIONAL INSIGHT INCORPORATED
    Inventors: Frederick A. Powers, Stanley R. Zanarotti, James Clark
  • Patent number: 9229694
    Abstract: Systems, apparatus, methods, and articles of manufacture provide for determining at least one criterion for establishing an offer campaign based on a player's experience on gaming platform (e.g., via a gaming website) and/or determining whether a player qualifies for one or more offers based on the player's experience.
    Type: Grant
    Filed: March 17, 2014
    Date of Patent: January 5, 2016
    Assignee: Gamesys Ltd.
    Inventors: Tobias Patrick O'Rourke, Rik Ward
  • Patent number: 9213559
    Abstract: Embodiments of the present application relate to a method of publishing a wireless application, a method of implementing a wireless application, a device for publishing a wireless application, a device for implementing a wireless application, and a computer program product for publishing a wireless application. A method of publishing a wireless application is provided. The method includes integrating a permanent interface layer of a software development kit (SDK) into a wireless application, publishing the integrated wireless application, and installing the dynamic implementation layer of the SDK onto a server. The SDK includes the permanent interface layer and a dynamic implementation layer, the permanent interface layer including an interface protocol to be invoked by the wireless application and the dynamic implementation layer including an interface implementation corresponding to the interface protocol.
    Type: Grant
    Filed: June 6, 2013
    Date of Patent: December 15, 2015
    Assignee: Alibaba Group Holding Limited
    Inventors: Chongbo Sun, Gongping Chen, Weigang Guan
  • Patent number: 9201646
    Abstract: Systems and methods for performing automatic code review are described. The system receives a version of source code and processes it for potential coding issues based on a code review configuration. Upon detecting a coding issue, the system generates an automatic code review that contains a location identifying the coding issue in the version of source code and an associated review comment selected from the code review configuration. The method includes receiving a version of source code and generating a review request for a specific change in the version of source code. The method then assigns a code reviewer for handling the review request by selecting a reviewer from a subset code reviewers based on the number of times each code reviewer has been assigned to prior review requests associated with the specific change.
    Type: Grant
    Filed: January 5, 2013
    Date of Patent: December 1, 2015
    Assignee: VMware, Inc.
    Inventor: Vipin Balachandran
  • Patent number: 9195453
    Abstract: A method for applying remediation policy to a cloud application package having a set of components is described. The method is initiated in response to discovery of a new vulnerability. It begins by comparing information from a deployment description against a data set of known problems associated with the one or more of the components. The deployment description represents the set of components and their interrelationships. For each of the one or more components, one or more known problems that satisfy a given severity and/or complexity criteria are identified. Thereafter, and with respect to at least one of the components for which one known problem satisfying the given criteria has been identified, the remediation policy (e.g., an update, a replacement, a patch, an additional installable) is applied to attempt to rectify the known problem. After applying the policy, the old version of the package is replaced with the new version.
    Type: Grant
    Filed: September 30, 2014
    Date of Patent: November 24, 2015
    Assignee: International Business Machines Corporation
    Inventors: Alberto Giammaria, Christopher Andrew Peters, Thomas Spatzier
  • Patent number: 9195573
    Abstract: A method for applying remediation policy to a cloud application package having a set of components is described. The method is initiated in response to discovery of a new vulnerability. It begins by comparing information from a deployment description against a data set of known problems associated with the one or more of the components. The deployment description represents the set of components and their interrelationships. For each of the one or more components, one or more known problems that satisfy a given severity and/or complexity criteria are identified. Thereafter, and with respect to at least one of the components for which one known problem satisfying the given criteria has been identified, the remediation policy (e.g., an update, a replacement, a patch, an additional installable) is applied to attempt to rectify the known problem. After applying the policy, the old version of the package is replaced with the new version.
    Type: Grant
    Filed: June 10, 2014
    Date of Patent: November 24, 2015
    Assignee: International Business Machines Corporation
    Inventors: Alberto Giammaria, Christopher Andrew Peters, Thomas Spatzier
  • Patent number: 9191444
    Abstract: Various exemplary embodiments relate to a method and related network node including one or more of the following: receiving, at the network node, an indication of an event from a network monitor, the event associated with a network element; identifying an applicable rule of a plurality of rules based on the event, the applicable rule specifying at least one action; initiating performance of the at least one action with respect to at least one session associated with the network element. Various embodiments additionally include one or more of the following: identifying a group of sessions associated with the network element; and wherein the steps of identifying an applicable rule and initiating performance of the at least one action are performed for each session of the group of sessions.
    Type: Grant
    Filed: June 9, 2011
    Date of Patent: November 17, 2015
    Assignee: Alcatel Lucent
    Inventors: Cory R. Weppler, Mira Vrbaski, Lui Chu Yeung, Haiqing Ma, Gita Beyk
  • Patent number: 9171148
    Abstract: Embodiments disclosed herein relate to systems, methods, and computer program products for a system for monitoring application development standards. The system, method, and computer program product are configured to access application code on a server associated with a network, wherein the application code is installed on the server; scan the application code to identify applications that are integrated into the application code; identify products in the application code based on the scan, wherein the products are identified based on a textual analysis of the application code; compare the products identified in the application code to a list of non-allowed products; identify non-allowed products in the application code based on the comparison of the products to the list; determine an allowed product as an alternative to the non-allowed product; and provide a report to a user comprising the non-allowed product and the alternative allowed product.
    Type: Grant
    Filed: April 11, 2014
    Date of Patent: October 27, 2015
    Assignee: Bank of America Corporation
    Inventor: Michael Emil Ogrinz
  • Patent number: 9164744
    Abstract: An improved method for program building uses predefined source files and predefined build scripts comprising a sequence of build commands; wherein each build command comprises an origin command line interpretable by an operating system and addressed to at least one compiling tool.
    Type: Grant
    Filed: November 15, 2012
    Date of Patent: October 20, 2015
    Assignee: International Busines Machines Corporation
    Inventors: Eric R. Kass, Stefan B. Sell
  • Patent number: 9158654
    Abstract: A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.
    Type: Grant
    Filed: May 29, 2013
    Date of Patent: October 13, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Joel David Thornton, Matthew J. Englehart, Jun Yan
  • Patent number: 9158919
    Abstract: An application safety system is described herein that provides a scoring system of how dangerous an application is based on behavioral inspection of the application. Upon detecting installation of an application or first execution of the application, the application safety system performs static analysis before the new application is executed by the operating system. The system allows the user to approve running the application after displaying information about what the application does. Next, the system performs dynamic analysis as the application runs and alerts the user to any potentially harmful behavior. Over time, the system determines when the application may be acting in a manner that is out of character and informs the user. The system also allows users to restrict behavior that a particular application can perform.
    Type: Grant
    Filed: June 13, 2011
    Date of Patent: October 13, 2015
    Assignee: Microsoft Technology Licensing, LLC
    Inventor: Dominique Fortier
  • Patent number: 9135442
    Abstract: A computer-implemented method for detecting an obfuscated executable may include identifying an executable file programmed to execute on a target architecture. The method may also include disassembling a first section of the executable file and determining whether the first section of the executable file comprises a valid instruction. The method may further include determining, based on whether the first section of the executable file comprises a valid instruction, whether the executable file poses a security risk. Various other methods, computer-readable media, and systems are also disclosed.
    Type: Grant
    Filed: May 30, 2008
    Date of Patent: September 15, 2015
    Assignee: Symantec Corporation
    Inventor: Mark Kennedy
  • Patent number: 9122864
    Abstract: A method, apparatus and program storage device for program verification in an information handling system in which an application program runs on an operating system having a signature verification function for verifying a digital signature of the application program. Upon loading of the application program, the signature verification function of the operating system verifies the digital signature of the application program and, if the digital signature is verified, initiates execution of the application program. Upon initiation of execution of the application program, a verification testing function associated with the application program tests the signature verification function of the operating system by presenting to it a sequence of test digital signatures in a specified pattern of true and false signatures. If its test of the signature verification function of the operating system is successful, the application program initiates normal execution.
    Type: Grant
    Filed: August 5, 2008
    Date of Patent: September 1, 2015
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: John C. Dayka, Walter Barlett Farrell, Richard Henry Guski, James W. Sweeny
  • Patent number: 9116563
    Abstract: A system and method for connection management between a consumer device and a vehicle. The connection management is performed automatically using a computing device, e.g., an application executing on a smartphone. The system and method configure the vehicle and consumer device in a manner that the screen display of the consumer device is mirrored on a touch panel of the in-vehicle computer system and the consumer device is controlled remotely by the user using the touch panel of the in-vehicle computer system.
    Type: Grant
    Filed: October 26, 2012
    Date of Patent: August 25, 2015
    Assignee: Honda Motor Co., LTD.
    Inventor: Fuminobu Kurosawa
  • Patent number: 9117250
    Abstract: Methods and systems for recommending social networking connections are disclosed. Information is received from a mobile device relating to software applications that are installed on a first user's mobile device. A weight for each software application is calculated based on usage information and each software application is designated to at least one category. A priority is calculated for each category based at least in part on respective weights of software applications designated to the category. A second user, who is not connected to the first user, is detected, wherein the second user has a predetermined number of categories that are the same as the first user's categories, and wherein priorities corresponding to the second user's categories are within a predetermined range of priorities corresponding to the first user's categories. A recommendation to connect with the second user is provided to the first user.
    Type: Grant
    Filed: August 30, 2012
    Date of Patent: August 25, 2015
    Assignee: Yahoo! Inc.
    Inventors: Anupam Seth, Allie K. Watfa, Dale Nussel, Jonathan Kilroy
  • Patent number: 9100829
    Abstract: An apparatus and method to control an application in a portable terminal are provided. A method to manage an application includes confirming control information that at least one application installed in the portable terminal requires, selecting the at least one application requiring control information whose use is restricted among a plurality of applications installed in the portable terminal, and restricting a running of the selected at least one application.
    Type: Grant
    Filed: October 9, 2012
    Date of Patent: August 4, 2015
    Assignee: Samsung Electronics Co., Ltd.
    Inventor: Myoung-Ju Lee
  • Patent number: 9098623
    Abstract: A method includes accessing a validator routine having an input string and one or more return points, each return point returning a return value having two possible values; finding the return points in the validator routine; for each of the return points, performing a backwards traversal from a return point through a code section and determining constraints on the input string based at least on one or both of the two possible return values for the return point; using the determined constraints for the input string, determining whether all of the return values returned from the one or more return points meet validation constraints; and outputting one or more indications of whether all of the returned values returned from the return points meet the validation constraints for the one or both of the two possible return values. Apparatus and computer program products are also disclosed.
    Type: Grant
    Filed: October 28, 2013
    Date of Patent: August 4, 2015
    Assignee: International Business Machines Corporation
    Inventors: Ryan Berg, Marco Pistoia, Takaaki Tateishi, Omer Tripp
  • Patent number: 9092920
    Abstract: A system and method for managing a vehicle is provided that includes at least one sensor, a certified processor, a database, a computer network, and a user portal. The at least one sensor is operable to generate data indicative of a critical condition of the vehicle. The certified processor in communication with the computer network and is operable to receive, process and store the data generated by the at least one sensor. The database is in communication with the computer network and is operable to selectively download and store a replica of the data stored on the certified processor via the computer network. The user portal is in communication with the computer network and is operable to enable a user to download, via the computer network, selected portions of the data stored on the certified processor or selected portions of the replica data stored on the database.
    Type: Grant
    Filed: March 27, 2012
    Date of Patent: July 28, 2015
    Assignee: United Technologies Corporation
    Inventors: Paul R. Scheid, William H. Beacham, Jr.
  • Patent number: 9075625
    Abstract: Some embodiments provide a system that executes a native code module. During operation, the system obtains the native code module. Next, the system loads the native code module into a secure runtime environment. Finally, the system safely executes the native code module in the secure runtime environment by using a set of software fault isolation (SFI) mechanisms that use predicated store instructions and predicated control flow instructions, wherein each predicated instruction from the predicated store instructions and the predicated control flow instructions is executed if a mask condition associated with the predicated instruction is met.
    Type: Grant
    Filed: August 22, 2014
    Date of Patent: July 7, 2015
    Assignee: Google Inc.
    Inventors: Robert Muth, Karl M. Schimpf, David C. Sehr, Clifford L. Biffle
  • Patent number: 9069799
    Abstract: Systems and methods for restoring a database in an information management system that does not include a secondary copy of the database, are disclosed. The systems and methods may include using metadata stored in non-production storage devices to restore the database. In some implementations the methods are used to consolidate multiple information management systems. In other implementations, the systems and methods are used for reviewing content of archived storage media. Other implementations are disclosed.
    Type: Grant
    Filed: December 27, 2012
    Date of Patent: June 30, 2015
    Assignee: Commvault Systems, Inc.
    Inventor: Manoj Kumar Vijayan
  • Patent number: 9053070
    Abstract: Methods and systems for automated tuning of a service configuration are disclosed. An optimal configuration for a test computer is selected by performing one or more load tests using the test computer for each of a plurality of test configurations. The performance of a plurality of additional test computers configured with the optimal configuration is automatically determined by performing additional load tests using the additional test computers. A plurality of production computers are automatically configured with the optimal configuration if the performance of the additional test computers is improved with the optimal configuration.
    Type: Grant
    Filed: December 10, 2012
    Date of Patent: June 9, 2015
    Assignee: Amazon Technologies, Inc.
    Inventor: Carlos Alejandro Arguelles
  • Patent number: 9052966
    Abstract: Source code is automatically migrated from a source format to a target format. In particular, the execution of the source code is dynamically analyzed for incompatibilities using runtime information. Solutions for the incompatibilities are additionally determined. Based on the identified incompatibilities and solutions, the source code is converted from the source format to the target format.
    Type: Grant
    Filed: December 2, 2011
    Date of Patent: June 9, 2015
    Assignee: GOOGLE INC.
    Inventor: Brian Keith Quinlan