Lian Li

Follow

Person

Carindale, AU

People

Patents Grantslast 30 patents

Information Patent Grant
Method and system for code analysis using symbolic types
- Patent number 9,336,128
- Issue date May 10, 2016
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Path-sensitive analysis framework for bug checking
- Patent number 9,189,318
- Issue date Nov 17, 2015
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Method and system for performing backward-driven path-sensitive dat...
- Patent number 8,893,102
- Issue date Nov 18, 2014
- Oracle International Corporation
- Nathan Robert Albert Keynes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Context-sensitive analysis framework using value flows
- Patent number 8,516,443
- Issue date Aug 20, 2013
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Points-to analysis using value flow
- Patent number 8,473,927
- Issue date Jun 25, 2013
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
System and method for overflow detection using symbolic analysis
- Patent number 8,302,086
- Issue date Oct 30, 2012
- Oracle America, Inc.
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING

Patents Applicationslast 30 patents

Information Patent Application
METHOD AND SYSTEM FOR CODE ANALYSIS USING SYMBOLIC TYPES
- Publication number 20150269061
- Publication date Sep 24, 2015
- ORACLE INTERNATIONAL CORPORATION
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
PATH-SENSITIVE ANALYSIS FRAMEWORK FOR BUG CHECKING
- Publication number 20140344633
- Publication date Nov 20, 2014
- ORACLE INTERNATIONAL CORPORATION
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
METHOD AND SYSTEM FOR PERFORMING BACKWARD-DRIVEN PATH-SENSITIVE DAT...
- Publication number 20130031531
- Publication date Jan 31, 2013
- Oracle International Corporation
- Nathan Robert Albert Keynes
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
POINTS-TO ANALYSIS AS VALUE FLOW
- Publication number 20120304158
- Publication date Nov 29, 2012
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
CONTEXT-SENSITIVE ANALYSIS FRAMEWORK USING VALUE FLOWS
- Publication number 20120304153
- Publication date Nov 29, 2012
- Oracle International Corporation
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Application
SYSTEM AND METHOD FOR OVERFLOW DETECTION USING SYMBOLIC ANALYSIS
- Publication number 20110154122
- Publication date Jun 23, 2011
- SUN MICROSYSTEMS, INC.
- Lian Li
- G06 - COMPUTING CALCULATING COUNTING