Practical static analysis framework for inference of security-related program properties

Yin Liu. Practical static analysis framework for inference of security-related program properties. PhD thesis, Rensselaer Polytechnic Institute, USA, 2010. [doi]

@phdthesis{us-6060,
  title = {Practical static analysis framework for inference of security-related program properties},
  author = {Yin Liu},
  year = {2010},
  url = {https://hdl.handle.net/20.500.13015/2914},
  researchr = {https://researchr.org/publication/us-6060},
  cites = {0},
  citedby = {0},
  school = {Rensselaer Polytechnic Institute, USA},
}