Folgen
Hua Yan
Hua Yan
Bestätigte E-Mail-Adresse bei cse.unsw.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
772018
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
582008
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
502017
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
472019
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
352009
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
102018
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
92019
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
62018
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
52017
基于二分决策图的特征模型验证方法
闫华, 张伟, 赵海燕, 梅宏
软件学报 21 (1), 84-97, 2010
22010
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13