Region-Based Selective Flow-Sensitive Pointer Analysis.

Authors :: Ye, Sen
Sui, Yulei
Xue, Jingling
Source :: Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings; 2014, p319-336, 18p
Publication Year :: 2014

Language :: English
ISBNs :: 9783319109350
Database :: Complementary Index
Journal :: Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
Publication Type :: Book
Accession number :: 98956378
Full Text :: https://doi.org/10.1007/978-3-319-10936-7_20