docs: public static void addPropertiesForLocation(WarningPropertySet<WarningProperty> propertySet, ClassContext classContext,
              Method method, int pc) {
          try {
              Location location = pcToLocation(classContext, method, pc);
              if (location != null) {
                  addPropertiesForDataMining(propertySet, classContext, method, location);
              }
          } catch (CFGBuilderException e) {
              // Ignore
          }
      }