Rethinking pointer reasoning in symbolic execution

E Coppa, DC D'Elia… - 2017 32nd IEEE/ACM …, 2017 - ieeexplore.ieee.org
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …
被引用次数：32 相关文章
[PDF] uniroma1.it

[PDF][PDF] Rethinking Pointer Reasoning in Symbolic Execution

E Coppa, DC D'Elia, C Demetrescu - diag.uniroma1.it
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …
[PDF] researchgate.net

[PDF][PDF] Rethinking Pointer Reasoning in Symbolic Execution

E Coppa, DC D'Elia, C Demetrescu - researchgate.net
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …
[PDF] academia.edu

[PDF][PDF] Rethinking Pointer Reasoning in Symbolic Execution

E Coppa, DC D'Elia, C Demetrescu - academia.edu
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …

Rethinking Pointer Reasoning in Symbolic Execution

E Coppa, DC D'Elia, C Demetrescu - ASE 2017-Proceedings of …, 2017 - iris.uniroma1.it
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …
[PDF] githubusercontent.com

[PDF][PDF] Rethinking Pointer Reasoning in Symbolic Execution

E Coppa, DC D'Elia, C Demetrescu - raw.githubusercontent.com
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …
[PDF] github.io

[PDF][PDF] Rethinking Pointer Reasoning in Symbolic Execution

E Coppa, DC D'Elia, C Demetrescu - season-lab.github.io
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …

Rethinking pointer reasoning in symbolic execution

E Coppa, DC D'Elia, C Demetrescu - 2017 32nd IEEE/ACM …, 2017 - computer.org
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …
[PDF] archive.org

[PDF][PDF] Rethinking Pointer Reasoning in Symbolic Execution

E Coppa, DC D'Elia, C Demetrescu - scholar.archive.org
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …

Rethinking pointer reasoning in symbolic execution

E Coppa, DC D'Elia, C Demetrescu - Proceedings of the 32nd IEEE …, 2017 - dl.acm.org
Symbolic execution is a popular program analysis technique that allows seeking for bugs by
reasoning over multiple alternative execution states at once. As the number of states to …