Inventor
ALLEN NICHOLAS JOHN
AU10 patents
Patents
10 patentsUS9336397B2May 10, 2016
Combining type-analysis with points-to analysis for analyzing library source-code
ORACLE INT CORP7 citations77
US12164647B2Dec 10, 2024
Model-based upgrade recommendations using software dependencies
ORACLE INT CORP3 citations71
US11210201B2Dec 28, 2021
Scalable incremental analysis using caller and callee summaries
ORACLE INT CORP0 citations59
US11580228B2Feb 14, 2023
Coverage of web application analysis
ORACLE INT CORP0 citations52
US11568060B2Jan 31, 2023
Modular taint analysis with access paths
ORACLE INT CORP0 citations48
US10824538B2Nov 3, 2020
Scalable incremental analysis using caller and callee summaries
ORACLE INT CORP0 citations48
US10620660B2Apr 14, 2020
Efficient timestamp solution for analyzing concurrent software systems
ORACLE INT CORP0 citations46
US11586740B2Feb 21, 2023
Detecting second-order security vulnerabilities in libraries
ORACLE INT CORP0 citations45
US11087003B2Aug 10, 2021
Scalable pre-analysis of dynamic applications
ORACLE INT CORP0 citations40
US10719425B2Jul 21, 2020
Happens-before-based dynamic concurrency analysis for actor-based programs
ORACLE INT CORP0 citations36