Seren

False negative when Null Pointer Dereference in lambda experssion for NP_ALWAYS_NULL

2

## Version 4.7.4 ## Rule NP_ALWAYS_NULL: Null pointer dereference ## Description The code contains instances where a null pointer is being accessed, which can potentially result in a NullPointerException during...

[java] STARVATION: False Negative in Infer analysis results after converting anonymous classes to lambda expressions

1

This issue is similar with issue #1775 . ## Environment **Infer Version:** v1.1.0-f93cb281ed **Operating System:** Ubuntu 20.04.5 LTS ### Description: We made modifications to the `IndirectStarvation.java` file, where we converted...

[java] DEADLOCK: False Negative in Infer analysis results after converting anonymous classes to lambda expressions

1

## Environment **Infer Version:** v1.1.0-f93cb281ed **Operating System:** Ubuntu 20.04.5 LTS ### Description: We converted anonymous classes to lambda expressions in the file `infer/infer/tests/codetoanalyze/java/starvation-whole-program/MainMethod.java`. After making this change, we ran the...

**Affects PMD Version:** 7.0.0-rc3 **Rule:**[UnusedAssignment](https://docs.pmd-code.org/latest/pmd_rules_java_bestpractices.html#unusedassignment) **Description:** When the `method` is placed inside the `NestedClass`, PMD fails to detect that the variable `bar` is being assigned a value and subsequently overwritten...

相册照片上传：照片文件上传默认相册成功，但无法返回文件的filelist

3

**操作系统信息** MAC os 13.1 **错误描述** 上传照片到**默认**相册，无法无法返回文件的filelist ```python # Album.py 源代码 def add_files_to_album(self, album_id: str, files: List[BaseFile]) -> List[BaseFile]: print(files) # 这里获取到的结果 # [CreateFileResponse(file_name='4.png', type='file', file_id='63de8debba92b7bce4f24ddda883ca168da9fb7a', parent_file_id='root')] # 无drive_id response =...

请问更新新学期吗，还有更新计划吗