program summary

LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems
Despite the benefits of using third-party libraries (TPLs), the misuse of TPL functions raises quality and security concerns. Using …
PDF Cite Paper Link