Login / Signup

LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems.

Rongxin WuYuxuan HeJiafeng HuangChengpeng WangWensheng TangQingkai ShiXiao XiaoCharles 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