pascal-lab/Tai-e

JDK exclusion

michaelphop opened this issue · 1 comments

michaelphop commented

what is the purpose of this line?

Tai-e/src/main/java/pascal/taie/frontend/soot/SootWorldBuilder.java

Line 100 in 7d53b98

soot.options.Options.v().set_exclude(List.of("jdk.*", "apple.laf.*"));

Why only those two classes?

zhangt2333 commented

what is the purpose of this line?

It is the same as #48 (comment).

Why only those two classes?

Because determineExcludedPackages will handle the others.