On the Soundness of Call Graph Construction in the Presence of Dynamic Language Features - A Benchmark and Tool Evaluation
No abstract available.
Related papers
- Seneca: Taint-Based Call Graph Construction for Java Object Deserialization OOPSLA 2024
- Dynamic Deadlock Verification for General Barrier Synchronisation TOPLAS 2019
- A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction CC 2024
- Heaps don't lie: countering unsoundness with heap snapshots OOPSLA 2017
- Cost effective dynamic program slicing PLDI 2004
- Dynamic deadlock verification for general barrier synchronisation PPoPP 2015
- Evil Pickles: DoS Attacks Based on Object-Graph Engineering ECOOP 2017
- Lifted Static Analysis of Dynamic Program Families by Abstract Interpretation ECOOP 2021