Login / Signup
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems.
Rongxin Wu
Yuxuan He
Jiafeng Huang
Chengpeng Wang
Wensheng Tang
Qingkai Shi
Xiao Xiao
Charles Zhang
Published in:
ICSE (2024)
Keyphrases
</>
third party
source code
embedded systems
databases
case study
database systems
digital libraries
simulated annealing
design process
personal information