Letitia Li

Hi @davidpichardie, First, the documentation on issues to check for is very helpful and makes infer one of the better documented analysis tools. I appreciate knowing what bugs infer targets....

So first, the issue may be that I'm on issue v1.1.0 since the binary for v1.2.0 isn't available: https://github.com/facebook/infer/releases/download/v1.2.0/infer-linux64-v1.2.0.tar.xz With --default-checkers, I'm still not seeing buffer overruns being checked: ```...

Thanks, I see. It seems odd to not enable the bufferoverrun checker but enable the buffer overrun issue to be checked by default.

So using one of the examples, after building poppler-demo (and I think the filepath to the dockerfile changed), then were the correct steps: - docker run -it /bin/bash - Copy...