Patents by Inventor Sumant J. Kowshik

Sumant J. Kowshik has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Methods for selectively pruning false paths in graphs that use high-precision state information
    Patent number: 8762961
    Abstract: Methods are provided that allow a false path pruner to traverse a directed acyclic graph in conjunction with one or more checker programs that are analyzing a program for defects or other artifacts of interest. While the checkers may have ways of avoiding re-traversal of portions of the graph that have already been traversed, the false path pruner may override such decisions made by the checkers as a result of a false path in order to allow re-traversal during a future different traversal when that same defect or artifact may not lie along a false path, and therefore avoid missing a valid defect or artifact. Computer programs stored on tangible media are provided that implement the methods of the invention.
    Type: Grant
    Filed: January 21, 2013
    Date of Patent: June 24, 2014
    Assignee: Coverity, Inc.
    Inventors: Andy Chou, Sumant J. Kowshik
  • Methods for selectively pruning false paths in graphs that use high-precision state information
    Patent number: 8359583
    Abstract: Methods are provided that allow a false path pruner to traverse a directed acyclic graph in conjunction with one or more checker programs that are analyzing a program for defects or other artifacts of interest. While the checkers may have ways of avoiding re-traversal of portions of the graph that have already been traversed, the false path pruner may override such decisions made by the checkers as a result of a false path in order to allow re-traversal during a future different traversal when that same defect or artifact may not lie along a false path, and therefore avoid missing a valid defect or artifact. Computer programs stored on tangible media are provided that implement the methods of the invention.
    Type: Grant
    Filed: August 22, 2008
    Date of Patent: January 22, 2013
    Assignee: Coverity, Inc.
    Inventors: Andy Chou, Sumant J. Kowshik
  • METHODS FOR SELECTIVELY PRUNING FALSE PATHS IN GRAPHS THAT USE HIGH-PRECISION STATE INFORMATION
    Publication number: 20090077542
    Abstract: Methods are provided that allow a false path pruner to traverse a directed acyclic graph in conjunction with one or more checker programs that are analyzing a program for defects or other artifacts of interest. While the checkers may have ways of avoiding re-traversal of portions of the graph that have already been traversed, the false path pruner may override such decisions made by the checkers as a result of a false path in order to allow re-traversal during a future different traversal when that same defect or artifact may not lie along a false path, and therefore avoid missing a valid defect or artifact. Computer programs stored on tangible media are provided that implement the methods of the invention.
    Type: Application
    Filed: August 22, 2008
    Publication date: March 19, 2009
    Applicant: Coverity, Inc.
    Inventors: Andy CHOU, Sumant J. Kowshik