Identifying Program Entropy Characteristics With Symbolic Execution