Failed in generating the error specification process

[lc3412]

Hi Kang,

How are you? Recently, when I use your tool, I met another problem. I try to get all the specifications in the OpenSSL project, so I made my own function list which includes all the openssl functions used in the project ( almost 3000 functions ), instead of using the function list analyze_func_list_ssl.txt. However, during the error specification generated phase, I met the following break:

Analyzing ...
Postconditions
Killed

By the way, APEx works fine using the analyze_func_list_ssl.txt, so I am wondering whether I’ve provided too much functions in my own function list?

[yujokang]

Hi Liz,

I think so. If you're using Linux (and probably other Unix systems, too), there is something called an out of memory (OOM) error that would kill processes that use too much memory.