Author of the publication

Selective Context-Sensitivity for k-CFA with CFL-Reachability.

, , and . SAS, volume 12913 of Lecture Notes in Computer Science, page 261-285. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Network Intrusion Detection Algorithm Based on Outlier Mining., , and . CSPS, volume 463 of Lecture Notes in Electrical Engineering, page 1229-1236. Springer, (2017)Eagle: CFL-Reachability-Based Precision-Preserving Acceleration of Object-Sensitive Pointer Analysis with Partial Context Sensitivity., , and . ACM Trans. Softw. Eng. Methodol., 30 (4): 46:1-46:46 (2021)Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis., , and . ECOOP, volume 222 of LIPIcs, page 30:1-30:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Reducing the Memory Footprint of IFDS-Based Data-Flow Analyses using Fine-Grained Garbage Collection., , , and . ISSTA, page 101-113. ACM, (2023)Selective Context-Sensitivity for k-CFA with CFL-Reachability., , and . SAS, volume 12913 of Lecture Notes in Computer Science, page 261-285. Springer, (2021)Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows., , and . ASE, page 319-331. IEEE, (2023)SootUp: A Redesign of the Soot Static Analysis Framework., , , , , , and . TACAS (1), volume 14570 of Lecture Notes in Computer Science, page 229-247. Springer, (2024)A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction., , , , and . CC, page 60-72. ACM, (2024)Performance-Boosting Sparsification of the IFDS Algorithm with Applications to Taint Analysis., , , , , , , , and . ASE, page 267-279. IEEE, (2019)Correlating UI Contexts with Sensitive API Calls: Dynamic Semantic Extraction and Analysis., , , and . ISSRE, page 241-252. IEEE, (2020)