Ognawala, S., Ochoa, M., Pretschner, A., & Limmer, T. (2016, September). MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution. Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 780-785. https://doi.org/10.1145/2970276.2970281
Chicago-Zitierstil (17. Ausg.)Ognawala, Saahil, Martin Ochoa, Alexander Pretschner, und Tobias Limmer. "MACKE: Compositional Analysis of Low-level Vulnerabilities with Symbolic Execution." Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering Sep. 2016: 780-785. https://doi.org/10.1145/2970276.2970281.
MLA-Zitierstil (9. Ausg.)Ognawala, Saahil, et al. "MACKE: Compositional Analysis of Low-level Vulnerabilities with Symbolic Execution." Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, Sep. 2016, pp. 780-785, https://doi.org/10.1145/2970276.2970281.