Using Binary Ninja 5.1.8005, Mole from c38fe37, and Python 3.11.2, the finding of paths for a specific binary of a rather small size (38.5KB) takes over 5 hours to finish. ~6000 paths are found. This is somewhat similar to issue #182, but here, the memory usage stays stable during the execution
Mole is configured with the default configuration, with recv, recvfrom, recvmsg activated as sources and all the default libc functions activated as sinks. It is worth noting that activating only one function as sink, for example sscanf also takes a long time to finish.
The binary in question is attached below:
binary.zip