private static String getReachableLines() { int totalReachableLines = 0; for (SootMethod sm : PTABridge.v().getReachableMethods()) { totalReachableLines += SootUtils.getNumLines(sm); } return Integer.toString(totalReachableLines); }