Yunhui Zheng

Crashes because `physical_cores()` doesn't understand the number of cpu cores on PowerPC

2

Please make sure your issue is not addressed in the [FAQ](https://fbinfer.com/docs/support#troubleshooting). Please include the following information: - [x] The version of infer from `infer --version`. Any version after `8f13e6ecb3a8f26f5c81311e4b5909e1ab566530` -...

NULL_DEREFERENCE not found when there are `&&` in loop conditions

1

I was playing with an OpenSSL function https://github.com/openssl/openssl/blob/5f96a95e2562f026557f625e50c052e77c7bc2e8/crypto/modes/cbc128.c#L55 and found this issue. I came up with a few minimized examples to see why Infer missed the NULL_DEREFERENCE. * Infer can...

I am not sure how to interpret the different behaviors regarding the parameter array. I prepared a minimized test case to show the differences about the array size. * In...

Array size in struct or global scope not captured?

1

It seems the array size in the struct or global array is not captured so that the buffer overflow is not detected. I prepared three minimized examples to show this...

llvm-to-source: possible to include function declarations in the slice?

3

Hi, thanks for this nice set of tools. I have a question regarding the function declarations in the `llvm-to-source` output. It seems they are not included in the output. I...

When the `makeout.txt` has line breakers such as ```shell gcc -fPIC -pthread -m64 -Wa,--noexecstack -Wall -O3 -L. -z defs -Wl,-znodelete -shared -Wl,-Bsymbolic \ -o test/p_test.so -Wl,--version-script=test/p_test.ld test/p_test-dso-p_test.o \ -ldl -pthread...