Fix src_prec

MarcMil · MarcMil · commit 3ba197471abb · 2025-10-16T11:15:46.000+02:00
diff --git a/soot-infoflow/src/soot/jimple/infoflow/AbstractInfoflow.java b/soot-infoflow/src/soot/jimple/infoflow/AbstractInfoflow.java
@@ -451,7 +451,7 @@ protected void setSourcePrec() {
 			else
 				soot.options.Options.v().set_android_jars(this.androidPath.getAbsolutePath());
 		} else
-			Options.v().set_src_prec(Options.src_prec_java);
+			Options.v().set_src_prec(Options.src_prec_class);
 	}
 
 	private void setChaOptions() {

Original file line number	Diff line number	Diff line change
`@@ -451,7 +451,7 @@ protected void setSourcePrec() {`
`451`	`451`	`else`
`452`	`452`	`soot.options.Options.v().set_android_jars(this.androidPath.getAbsolutePath());`
`453`	`453`	`} else`
`454`		`- Options.v().set_src_prec(Options.src_prec_java);`
	`454`	`+ Options.v().set_src_prec(Options.src_prec_class);`
`455`	`455`	`}`
`456`	`456`
`457`	`457`	`private void setChaOptions() {`