Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework

Xinsong Wu, Zhouyi Zhou, Yeping He, Hongliang Liang. Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework. In Feng Bao, Hui Li, Guilin Wang, editors, Information Security Practice and Experience, 5th International Conference, ISPEC 2009, Xi an, China, April 13-15, 2009, Proceedings. Volume 5451 of Lecture Notes in Computer Science, pages 83-92, Springer, 2009. [doi]

@inproceedings{WuZHL09,
  title = {Static Analysis of a Class of Memory Leaks in TrustedBSD MAC Framework},
  author = {Xinsong Wu and Zhouyi Zhou and Yeping He and Hongliang Liang},
  year = {2009},
  doi = {10.1007/978-3-642-00843-6_8},
  url = {http://dx.doi.org/10.1007/978-3-642-00843-6_8},
  tags = {analysis, static analysis},
  researchr = {https://researchr.org/publication/WuZHL09},
  cites = {0},
  citedby = {0},
  pages = {83-92},
  booktitle = {Information Security Practice and Experience, 5th International Conference, ISPEC 2009, Xi an, China, April 13-15, 2009, Proceedings},
  editor = {Feng Bao and Hui Li and Guilin Wang},
  volume = {5451},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-00842-9},
}