yiyuaner

@mbarbar libjpeg has its own memory manager which is essentially a wrapped malloc function. The library uses function pointers (stored in a big c structure) to call such allocation functions....

@ivanperez-keera The problem is that `llvm_value` is never translated, i.e., `this->_variables.find(llvm_value) == this->_variables.end()` in the following code fragment: https://github.com/NASA-SW-VnV/ikos/blob/8608a78adfb7c6c5421b9eec4d5bc6929f5bd647/frontend/llvm/src/import/function.cpp#L1447-L1455 Notable, the assertion in the function `translate_value` is not compiled into...

Also, not sure if this has something to do with the llvm version. When I raised the issue, the bitcode is compiled by clang-9, but the latest ikos uses llvm...