Handling Memory-Intensive Operations in Symbolic Execution
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu · 2022
Symbolic execution is a popular software testing technique that can help developers identify complex bugs in real-world applications. Unfortunately, symbolic execution may struggle at analyzing programs containing memory-intensive operations, such as memcpy and memset, whenever these operations are carried out over memory blocks whose size or address is symbolic, i.e., input-dependent.