RJerrica
RJerrica
Hi, Rudra fails to detect an unsafe data flow issue in the following program, which appears to be a false negative. This issue seems to be related to reference handling....
Hi, I found that Infer fails to detect a deadlock in the following code example. It should have reported a deadlock warning at lines 9 and 14, as these two...
In the following code example, there is an `INEFFICIENT_KEYSET_ITERATOR` issue at line 8. However, Infer fails to report this warning, resulting in a false negative. ### Minimized Code Example ```java...
**Describe the bug** Semgrep should report a `rust.secrets.reqwest.hardcoded-auth.hardcoded-auth` warning when analyzing the following code using `semgrep scan`. However, when authentication information is extracted into a separate function and called, the...
In the following code example, SpotBugs fails to report a BC_IMPOSSIBLE_DOWNCAST_OF_TOARRAY warning at line 5. The code incorrectly casts the result of Collection.toArray()to a type more specific than Object[], which...
Hi, I found a false negative regarding the rule **BC_IMPOSSIBLE_DOWNCAST**. In the following code example, SpotBugs should have reported a warning of this type at line 7, but no warnings...
Hi, in the provided code example, SpotBugs fails to report a **BC_IMPOSSIBLE_CAST** warning at line 10, where an impossible cast between `Integer` and `String` occurs. Although the code compiles, this...
I encountered a false negative in AtomicityViolation detection when using LockBud. The minimized code example is provided below. Lockbud should report an `AtomicityViolation` warning because `atomic::store` in line 15 is...
Hi, I found a crash bug during using MLIR to lower programs. See the minimized code exampel below: File Name: **input.mlir** ```llvm module attributes {gpu.container_module} { func.func @f(%arg0: tensor) {...