Type and interval aware array constraint solving for symbolic execution

Z Shuai, Z Chen, Y Zhang, J Sun, J Wang - Proceedings of the 30th ACM …, 2021 - dl.acm.org
Array constraints are prevalent in analyzing a program with symbolic execution. Solving
array constraints is challenging due to the complexity of the precise encoding for arrays. In …
被引用次数：13 相关文章
[PDF] github.io

[PDF][PDF] Type and Interval Aware Array Constraint Solving for Symbolic Execution

Z Shuai, Z Chen, Y Zhang, J Sun, J Wang - 2021 - zbchen.github.io
Array constraints are prevalent in analyzing a program with symbolic execution. Solving
array constraints is challenging due to the complexity of the precise encoding for arrays. In …

Type and interval aware array constraint solving for symbolic execution

Z SHUAI, Z CHEN, Y ZHANG, J SUN, J WANG - 2021 - ink.library.smu.edu.sg
Array constraints are prevalent in analyzing a program with symbolic execution. Solving
array constraints is challenging due to the complexity of the precise encoding for arrays. In …
[PDF] smu.edu.sg

[PDF][PDF] Type and Interval Aware Array Constraint Solving for Symbolic Execution

Z Shuai, Z Chen, Y Zhang, J Sun, J Wang - 2021 - ink.library.smu.edu.sg
Array constraints are prevalent in analyzing a program with symbolic execution. Solving
array constraints is challenging due to the complexity of the precise encoding for arrays. In …
[PDF] github.io

[PDF][PDF] Type and Interval Aware Array Constraint Solving for Symbolic Execution

Z Shuai, Z Chen, Y Zhang, J Sun, J Wang - 2021 - zbchen.github.io
Array constraints are prevalent in analyzing a program with symbolic execution. Solving
array constraints is challenging due to the complexity of the precise encoding for arrays. In …