Understanding and detecting evolution-induced compatibility issues in Android apps D He, L Li, L Wang, H Zheng, G Li, J Xue Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 86 | 2018 |
Performance-boosting sparsification of the IFDS algorithm with applications to taint analysis D He, H Li, L Wang, H Meng, H Zheng, J Liu, S Hu, L Li, J Xue 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 34 | 2019 |
Qilin: A new framework for supporting fine-grained context-sensitivity in Java pointer analysis D He, J Lu, J Xue 36th European Conference on Object-Oriented Programming (ECOOP 2022), 30: 1 …, 2022 | 20 | 2022 |
Accelerating object-sensitive pointer analysis by exploiting object containment and reachability D He, J Lu, Y Gao, J Xue 35th European Conference on Object-Oriented Programming (ECOOP 2021), 16: 1 …, 2021 | 19 | 2021 |
Eagle: CFL-reachability-based precision-preserving acceleration of object-sensitive pointer analysis with partial context sensitivity J Lu, D He, J Xue ACM Transactions on Software Engineering and Methodology (TOSEM) 30 (4), 1-46, 2021 | 18 | 2021 |
Selective Context-Sensitivity for k-CFA with CFL-Reachability J Lu, D He, J Xue Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021 | 14 | 2021 |
Context debloating for object-sensitive pointer analysis D He, J Lu, J Xue 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 12 | 2021 |
Exposing android event-based races by selective branch instrumentation D Wu, D He, S Chen, J Xue 2020 IEEE 31st International Symposium on Software Reliability Engineering …, 2020 | 8 | 2020 |
IFDS-based context debloating for object-sensitive pointer analysis D He, J Lu, J Xue ACM Transactions on Software Engineering and Methodology 32 (4), 1-44, 2023 | 7 | 2023 |
Selecting context-sensitivity modularly for accelerating object-sensitive pointer analysis D He, J Lu, Y Gao, J Xue IEEE Transactions on Software Engineering 49 (2), 719-742, 2022 | 7 | 2022 |
Correlating ui contexts with sensitive api calls: Dynamic semantic extraction and analysis J Liu, D He, D Wu, J Xue 2020 IEEE 31st International Symposium on Software Reliability Engineering …, 2020 | 6 | 2020 |
Yujiang Gui, Wei Li, Yonggang Tao, Changwei Zou, Yulei Sui, and Jingling Xue. 2023. A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer … D He Proc. ACM Program. Lang 7, 971-1000, 0 | 6 | |
Sootup: A redesign of the soot static analysis framework K Karakaya, S Schott, J Klauke, E Bodden, M Schmidt, L Luo, D He International Conference on Tools and Algorithms for the Construction and …, 2024 | 5 | 2024 |
A context-sensitive pointer analysis framework for Rust and its application to call graph construction W Li, D He, Y Gui, W Chen, J Xue Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler …, 2024 | 3 | 2024 |
Reducing the memory footprint of IFDS-based data-flow analyses using fine-grained garbage collection D He, Y Gui, Y Gao, J Xue Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 3 | 2023 |
Automatic Generation and Reuse of Precise Library Summaries for Object-Sensitive Pointer Analysis J Lu, D He, W Li, Y Gao, J Xue 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows Y Gui, D He, J Xue 38th IEEE/ACM International Conference on Automated Software Engineering …, 2023 | 1 | 2023 |
Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis W Li, D He, W Chen, J Xue Proceedings of the 23rd ACM/IEEE International Symposium on Code Generation …, 2025 | | 2025 |
TIPS: Tracking Integer-Pointer Value Flows for C++ Member Function Pointers C Zou, D He, Y Sui, J Xue Proceedings of the ACM on Software Engineering 1 (FSE), 1609-1631, 2024 | | 2024 |
A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction D He, J Lu, J Xue 38th European Conference on Object-Oriented Programming (ECOOP 2024), 18: 1 …, 2024 | | 2024 |