Hello, I think I found some bugs in frozen.
Attached file is a zip file which includes 3 source codes to reproduce them.
Each source code should be compiled with below option.
clang -fsanitize=address -m32 -g -O0 -o bugX bugX.c frozen.c
Thanks.
bug.zip