Detecting Unsafe Raw Pointer Dereferencing Behavior in Rust

Zhijian Huang, Yong-Jun Wang, Jing Liu. Detecting Unsafe Raw Pointer Dereferencing Behavior in Rust. IEICE Transactions, 101-D(8):2150-2153, 2018. [doi]

@article{HuangWL18-6,
  title = {Detecting Unsafe Raw Pointer Dereferencing Behavior in Rust},
  author = {Zhijian Huang and Yong-Jun Wang and Jing Liu},
  year = {2018},
  url = {http://search.ieice.org/bin/summary.php?id=e101-d_8_2150},
  researchr = {https://researchr.org/publication/HuangWL18-6},
  cites = {0},
  citedby = {0},
  journal = {IEICE Transactions},
  volume = {101-D},
  number = {8},
  pages = {2150-2153},
}