Get Demo
OpenFHE through 1.2.3 has a NULL pointer dereference in BinFHEContext::EvalFloor in lib/binfhe-base-scheme.cpp.
The product dereferences a pointer that it expects to be valid but is NULL.