Spatio-temporal context reduction: A pointer-analysis-based static approach for detecting use-after-free vulnerabilities H Yan, Y Sui, S Chen, J Xue Proceedings of the 40th International Conference on Software Engineering …, 2018 | 80 | 2018 |
A bdd-based approach to verifying clone-enabled feature models' constraints and customization W Zhang, H Yan, H Zhao, Z Jin The 10th International Conference on Software Reuse (ICSR'08), 186-199, 2008 | 58 | 2008 |
Machine-Learning-Guided Typestate Analysis for Static Use-After-Free Detection H Yan, Y Sui, S Chen, J Xue Proceedings of the 33rd Annual Computer Security Applications Conference …, 2017 | 51 | 2017 |
VFix: Value-flow-guided precise program repair for null pointer dereferences X Xu, Y Sui, H Yan, J Xue 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 47 | 2019 |
An optimization strategy to feature models’ verification by eliminating verification-irrelevant features and constraints H Yan, W Zhang, H Zhao, H Mei The 11th International Conference on Software Reuse (ICSR'09), 65-75, 2009 | 35 | 2009 |
Automated Memory Leak Fixing on Value-Flow Slices for C Programs H Yan, Y Sui, S Chen, J Xue The 31st ACM/SIGAPP Symposium on Applied Computing (SAC'16), 1386 -- 1393, 2016 | 27* | 2016 |
Spatio-temporal context reduction: A pointer-analysis-based static approach for detecting use-after-free vulnerabilities. In 2018 IEEE/ACM 40th International Conference on … H Yan, Y Sui, S Chen, J Xue IEEE, 327ś337, 2018 | 10 | 2018 |
Tcd: Statically detecting type confusion errors in c++ programs C Zou, Y Sui, H Yan, J Xue 2019 IEEE 30th International Symposium on Software Reliability Engineering …, 2019 | 9 | 2019 |
Parallel construction of interprocedural memory SSA form Y Sui, H Yan, Z Zheng, Y Zhang, J Xue Journal of Systems and Software 146, 186-195, 2018 | 6 | 2018 |
AutoFix: an automated approach to memory leak fixing on value-flow slices for C programs H Yan, Y Sui, S Chen, J Xue ACM SIGAPP Applied Computing Review 16 (4), 38-50, 2017 | 5 | 2017 |
基于二分决策图的特征模型验证方法 闫华, 张伟, 赵海燕, 梅宏 软件学报 21 (1), 84-97, 2010 | 2 | 2010 |
Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis H Yan, S Chen, Y Sui, Y Zhang, C Zou, J Xue International Static Analysis Symposium, 48-72, 2019 | | 2019 |
Program analysis of temporal memory mismanagement H Yan UNSW Sydney, 2018 | | 2018 |