1. 2022-04-18 [1] [klee-dev] How to determine the concretized size when dealing with mallo klee-dev Wang Austin