%0 Conference Paper %1 conf/sas/YanCSZZX19 %A Yan, Hua %A Chen, Shiping %A Sui, Yulei %A Zhang, Yueqian %A Zou, Changwei %A Xue, Jingling %B SAS %D 2019 %E Chang, Bor-Yuh Evan %I Springer %K dblp %P 48-72 %T Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis. %U http://dblp.uni-trier.de/db/conf/sas/sas2019.html#YanCSZZX19 %V 11822 %@ 978-3-030-32304-2

@inproceedings{conf/sas/YanCSZZX19, added-at = {2022-04-09T00:00:00.000+0200}, author = {Yan, Hua and Chen, Shiping and Sui, Yulei and Zhang, Yueqian and Zou, Changwei and Xue, Jingling}, biburl = {https://www.bibsonomy.org/bibtex/2cd1cbcb2bb00a5d309831eb0596354c7/dblp}, booktitle = {SAS}, crossref = {conf/sas/2019}, editor = {Chang, Bor-Yuh Evan}, ee = {https://doi.org/10.1007/978-3-030-32304-2_4}, interhash = {5687a537271883e07e6c20881de76151}, intrahash = {cd1cbcb2bb00a5d309831eb0596354c7}, isbn = {978-3-030-32304-2}, keywords = {dblp}, pages = {48-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:17:05.000+0200}, title = {Per-Dereference Verification of Temporal Heap Safety via Adaptive Context-Sensitive Analysis.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2019.html#YanCSZZX19}, volume = 11822, year = 2019 }