Andy Chou

Person

San Francisco, CA, US

People

Patents Grantslast 30 patents

Information Patent Grant
Security remediation
- Patent number 10,417,430
- Issue date Sep 17, 2019
- Synopsys, Inc.
- Andy C Chou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Policy evaluation based upon dynamic observation, static analysis a...
- Patent number 9,317,399
- Issue date Apr 19, 2016
- Synopsys, Inc.
- Marat Boshernitsan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Security remediation
- Patent number 9,141,807
- Issue date Sep 22, 2015
- Synopsys, Inc.
- Andy C Chou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and apparatus for static taint analysis of computer program...
- Patent number 9,015,831
- Issue date Apr 21, 2015
- Synopsys, Inc.
- Roger H. Scott
- H04 - ELECTRIC COMMUNICATION TECHNIQUE
Information Patent Grant
Load-time instrumentation of virtual machine program code
- Patent number 8,863,093
- Issue date Oct 14, 2014
- Coverity, Inc.
- Andy Chou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for selectively pruning false paths in graphs that use high...
- Patent number 8,762,961
- Issue date Jun 24, 2014
- Coverity, Inc.
- Andy Chou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Threat assessment of software-configured system based upon architec...
- Patent number 8,413,249
- Issue date Apr 2, 2013
- Coverity, Inc.
- Andy C Chou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Methods for selectively pruning false paths in graphs that use high...
- Patent number 8,359,583
- Issue date Jan 22, 2013
- Coverity, Inc.
- Andy Chou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Systems and methods for performing static analysis on source code
- Patent number 7,340,726
- Issue date Mar 4, 2008
- Coverity, Inc.
- Benjamin E. Chelf
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
SECURITY REMEDIATION
- Publication number 20170270302
- Publication date Sep 21, 2017
- Synopsys, Inc.
- Andy C. Chou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
Software and Hardware Emulation System
- Publication number 20170017506
- Publication date Jan 19, 2017
- Synopsys, Inc.
- Marat Boshernitsan
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SECURITY REMEDIATION
- Publication number 20140096257
- Publication date Apr 3, 2014
- Andy C. Chou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
STATIC TAINTING ANASYSTEM AND METHOD FOR TAINT ANALYSIS OF COMPUTER...
- Publication number 20140047538
- Publication date Feb 13, 2014
- Coverity, Inc.
- Roger H. Scott
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS FOR SELECTIVELY PRUNING FALSE PATHS IN GRAPHS THAT USE HIGH...
- Publication number 20130198725
- Publication date Aug 1, 2013
- Coverity, Inc.
- Andy Chou
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHODS FOR SELECTIVELY PRUNING FALSE PATHS IN GRAPHS THAT USE HIGH...
- Publication number 20090077542
- Publication date Mar 19, 2009
- Coverity, Inc.
- Andy CHOU
- G06 - COMPUTING CALCULATING COUNTING

Person

Patents Grantslast 30 patents

Security remediation

Policy evaluation based upon dynamic observation, static analysis a...

Security remediation

Method and apparatus for static taint analysis of computer program...

Load-time instrumentation of virtual machine program code

Methods for selectively pruning false paths in graphs that use high...

Threat assessment of software-configured system based upon architec...

Methods for selectively pruning false paths in graphs that use high...

Systems and methods for performing static analysis on source code

Patents Applicationslast 30 patents

SECURITY REMEDIATION

Software and Hardware Emulation System

SECURITY REMEDIATION

STATIC TAINTING ANASYSTEM AND METHOD FOR TAINT ANALYSIS OF COMPUTER...

METHODS FOR SELECTIVELY PRUNING FALSE PATHS IN GRAPHS THAT USE HIGH...

METHODS FOR SELECTIVELY PRUNING FALSE PATHS IN GRAPHS THAT USE HIGH...