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 | 82 | 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 | 33 | 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), 2022 | 17 | 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), 2021 | 15 | 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 | 13 | 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 | 11 | 2021 |
Context debloating for object-sensitive pointer analysis D He, J Lu, J Xue 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 10 | 2021 |
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 |
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 | 6 | 2023 |
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 | 5 | 2020 |
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 | 4 | 2020 |
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 | 2 | 2023 |
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 | 1 | 2024 |
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 |
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 | | 2024 |
A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis D He, Y Gui, W Li, Y Tao, C Zou, Y Sui, J Xue Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 971-1000, 2023 | | 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 | | 2023 |