EDBT 2026 Demo / reviewers in the wild / expert
Ganlin Li
dblp:412/7905
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Program analysis › static analysis › domain-specific static analysis
database application analysis |
0.9 | 1 | 2025 | Pointer Analysis for Database-Backed Applications · Proc. ACM Program. Lang. 2025 |
Program analysis › static analysis
pointer analysis |
0.9 | 1 | 2025 | Pointer Analysis for Database-Backed Applications · Proc. ACM Program. Lang. 2025 |
Program analysis
static analysis |
0.9 | 1 | 2025 | Pointer Analysis for Database-Backed Applications · Proc. ACM Program. Lang. 2025 |
Web and mobile security
web security |
0.3 | 1 | 2025 | Pointer Analysis for Database-Backed Applications · Proc. ACM Program. Lang. 2025 |
Software maintenance and evolution
change impact analysis |
0.3 | 1 | 2025 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Pointer Analysis for Database-Backed ApplicationsabstractDatabase-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 |