Lots of error "OOAN[ERROR]: update_return_values, no output state for 0x004CFC00" about pharos HOT 3 CLOSED

Did you run into a timeout?

from pharos.

This message is admittedly poor. What's really happening here is that we tried to analyze a function, and for whatever reason, it didn't produce the expected output state summarizing the function behavior. Timeouts are the most common cause, but not the only cause. Memory limits and some other unexpected conditions can also result in this error. If there are many such messages, that's almost always a whole program timeout issue. We should probably alter the code to detect that the CPU limit was exceeded and change the message as a result, but this turns out to be rather inconvenient. (pull requests anyone?)

If there's a small number of these messages (for example because of the per-function timeout) you should decide whether the listed functions are important to you, and if they're not, you can safely ignore the messages. If they are... well that's where things get complicated. ;-)

from pharos.

Solved

from pharos.