soyo114 comments

Repositories
Issues
Comments

Results 4 comments of


                                            soyo114

[java] PMD crashes when analyzing CloseResource Rule

However, when both **BaseClass** and **SubClass** are written in the same file, PMD runs without issues.

java.lang.RuntimeException when ...

Hi @FpAuthen, I am also interested in the issue. If possible, could you please share the specific file or code snippet that triggers the problem?

Prusti reported an internal error when analyzing a closure example

@fpoli Could you help confirm and fix this bug?

Prusti reported an internal error when analyzing a closure example

Hi @Aurel300 , thanks for your explanation. I’ve also encountered some other crash bugs related to closures, each with different stack traces. I’ve included code examples and traces below to...