KingChange issues

Repositories
Issues
Comments

Results 1 issues of


                                            KingChange

pulse NULLPTR_DEREFERENCE False negative when run the java example in checker-pulse doc

1. infer-version **Infer version v1.1.0-605603504e** I pull the newest code from github and compile. 2. operating system and version **Ubuntu 20.04.6 LTS** Run in windows10 wsl 3. Command **infer run...