MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution

S Ognawala, M Ochoa, A Pretschner… - Proceedings of the 31st …, 2016 - dl.acm.org
Concolic (concrete+ symbolic) execution has recently gained popularity as an effective
means to uncover non-trivial vulnerabilities in software, such as subtle buffer overflows …
被引用次数：47 相关文章

MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution

S Ognawala, M Ochoa, A Pretschner… - 2016 31st IEEE/ACM …, 2016 - computer.org
Concolic (concrete+ symbolic) execution has recently gained popularity as an effective
means to uncover non-trivial vulnerabilities in software, such as subtle buffer overflows …

MACKE: Compositional analysis of low-level vulnerabilities with symbolic execution

S Ognawala, M Ochoa, A Pretschner… - 2016 31st IEEE/ACM …, 2016 - ieeexplore.ieee.org
Concolic (concrete+ symbolic) execution has recently gained popularity as an effective
means to uncover non-trivial vulnerabilities in software, such as subtle buffer overflows …
[PDF] researchgate.net

[PDF][PDF] MACKE–Compositional Analysis of Low-Level Vulnerabilities with Symbolic Execution

S Ognawala, M Ochoa, A Pretschner, T Limmer - researchgate.net
Concolic (concrete+ symbolic) execution has recently gained popularity as an effective
means to uncover non-trivial vulnerabilities in software, such as subtle buffer overflows …
[PDF] tum.de

[PDF][PDF] MACKE: compositional analysis of low-level vulnerabilities with symbolic execution

S Ognawala, M Ochoa, A Pretschner… - Proceedings of the …, 2016 - mediatum.ub.tum.de
Concolic (concrete+ symbolic) execution has recently gained popularity as an effective
means to uncover non-trivial vulnerabilities in software, such as subtle buffer overflows …
[PDF] archive.org

[PDF][PDF] MACKE: Compositional Analysis of Low-Level Vulnerabilities with Symbolic Execution

S Ognawala, M Ochoa, A Pretschner, T Limmer - scholar.archive.org
Concolic (concrete+ symbolic) execution has recently gained popularity as an effective
means to uncover non-trivial vulnerabilities in software, such as subtle buffer overflows …