angr default gets hook can only find unconstrained state in the same block. We need to write a hook to provide longer symbolic input. for

read is not necessary to read full, but here we treat it as full read, so many dumps are adapted we might return multiple successors directly

Check memory usage and avoid OOM

this takes extremely long time to run, so we do not use it