Ganlin Li

dblp:412/7905 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2025
0009-0009-9688-6267ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Program analysis · 91% Software maintenance and evolution · 9%
Network and information security
1 paper
Web and mobile security · 100%

Topics — the 5 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis › static analysis › domain-specific static analysis
database application analysis
0.912025
Pointer Analysis for Database-Backed Applications · Proc. ACM Program. Lang. 2025
Program analysis › static analysis
pointer analysis
0.912025
Pointer Analysis for Database-Backed Applications · Proc. ACM Program. Lang. 2025
Program analysis
static analysis
0.912025
Pointer Analysis for Database-Backed Applications · Proc. ACM Program. Lang. 2025
Web and mobile security
web security
0.312025
Pointer Analysis for Database-Backed Applications · Proc. ACM Program. Lang. 2025
Software maintenance and evolution
change impact analysis
0.312025
Pointer Analysis for Database-Backed Applications · Proc. ACM Program. Lang. 2025

Methods — techniques the papers use, named apart from their topics

pointer analysis · 1.7database access specification modeling · 1.7SQL analysis · 1.7
YearPublicationVenuePosition
2025 Pointer Analysis for Database-Backed Applications
abstract
Database-backed applications form the backbone of modern software, yet their complexity poses significant challenges for static analysis. These applications involve intricate interactions among application code, diverse database frameworks such as JDBC, Hibernate, and Spring Data JPA, and languages like Java and SQL. In this paper, we introduce DBridge, the first pointer analysis specifically designed for Java database-backed applications, capable of statically constructing comprehensive Java-to-database value flows. DBridge unifies application code analysis, database access specification modeling, SQL analysis, and database abstraction within a single pointer analysis framework, capturing interactions across a wide range of database access APIs and frameworks. Additionally, we present DB-Micro, a new micro-benchmark suite with 824 test cases crafted to systematically evaluate static analysis for database-backed applications. Experiments on DB-Micro and large, complex, real-world applications demonstrate DBridge’s effectiveness, achieving high recall and precision in building Java-to-database value flows efficiently and outperforming state-of-the-art tools in SQL statement identification. To further validate DBridge’s utility, we develop three client analyses for security and program understanding. Evaluation on these real-world applications reveals 30 Stored XSS attack vulnerabilities and 3 horizontal broken access control vulnerabilities, all previously undiscovered and real, as well as a high detection rate in impact analysis for schema changes. By open-sourcing DBridge (14K LoC) and DB-Micro (22K LoC), we seek to help advance static analysis for modern database-backed applications in the future.
Yufei Liang, Ganlin Li, Tian Tan 0001, Chang Xu 0001, Chun Cao, Xiaoxing Ma, Yue Li 0006
Proc. ACM Program. Lang.3