mem: add logic check for static analyzer