bling

Hi, I used Soot CHA to generate the call graph and found a bug about incorrect loop edges. See the minimized code example below: ```java public class Main { public...

Unexpected results in call graph constuction

1

Hi, I used CHA, RTA, and context insensitive analysis to generate call graphs on the same input program, but wala provided incorrect results. See the minimized code example below: ```java...

An inconsistent behaviour between different call graphs

1

Hi, I used Wala to generate call graphs for my projects. However, I found two strange bugs. Similar to #1386, CHA and context insensitive report inconsistent behaviour. See the minimized...

An inconsistency between call graphs

1

I used SootUp to construct call graphs for my project, and found a bug in CHA algorithms. A.java ```java package org.sslab; import java.io.Closeable; public interface A extends Closeable { @Override...

Suggestion on the Panic checker

1

# Description When using lockbud for code analysis, I find that the rule for checking panic is a little simple (use keyword matching), resulting in a large number of false...