Currently, Keshmesh reports only the synchronized blocks and the modified static fields related to the bug pattern instance. However, it is not clear how these static fields are modified. Keshemesh should also report the statements that directly modify these static fields. Note that we already have this information (because Keshmesh collects unsafe instructions that modify static fields), but do not report it to the user.
Currently, Keshmesh reports only the synchronized blocks and the modified static fields related to the bug pattern instance. However, it is not clear how these static fields are modified. Keshemesh should also report the statements that directly modify these static fields. Note that we already have this information (because Keshmesh collects unsafe instructions that modify static fields), but do not report it to the user.