INSU YUN

This issue is related to #9

Currently, I am using `-ifeellucky` option to support Ubuntu 16.04. But it seems like 4.17 is not supportable even with the option.

That is the function in the pin's static library. But I don't know why it cannot find symbol.

@richinseattle No. I have never tried them. I know that boolector and STP's are good for bitvectors, but z3 is easy to use for me.

Sorry, Jason. I was too busy. I just checked the cpair one. Could you give me the full code that you test? I think goodx seems not considered as potential...

Hi. Sorry, but I haven't experience this before. :(

Hi. The app should be compiled with apisan. Please check `apisan build` command.

APISan uses scan-build of LLVM(https://clang-analyzer.llvm.org/scan-build.html) You can pass the configure option as it is. `apisan build ./configure [additional options]` will work.

Sorry, I missed this. I think I am too late. Could you try `../apisan/apisan build ./configure -- --disable-option`

This bug seems not patched. My fuzzer triggers same bug even in commit ce536d707b8e2a26baca77320398c45238224ca7. PoC is here https://github.com/jakkdu/poc/blob/master/000007-audiofile-heapovfl-Expand3To4Module-run