pascal.taie.analysis.pta.PointerAnalysis Maven / Gradle / Ivy
Go to download
Show more of this group Show more artifacts with this name
Show all versions of tai-e Show documentation
Show all versions of tai-e Show documentation
An easy-to-learn/use static analysis framework for Java
The newest version!
/*
* Tai-e: A Static Analysis Framework for Java
*
* Copyright (C) 2022 Tian Tan
* Copyright (C) 2022 Yue Li
*
* This file is part of Tai-e.
*
* Tai-e is free software: you can redistribute it and/or modify
* it under the terms of the GNU Lesser General Public License
* as published by the Free Software Foundation, either version 3
* of the License, or (at your option) any later version.
*
* Tai-e is distributed in the hope that it will be useful,but WITHOUT
* ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
* or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General
* Public License for more details.
*
* You should have received a copy of the GNU Lesser General Public
* License along with Tai-e. If not, see {
public static final String ID = "pta";
public PointerAnalysis(AnalysisConfig config) {
super(config);
}
@Override
public PointerAnalysisResult analyze() {
AnalysisOptions options = getOptions();
HeapModel heapModel = new AllocationSiteBasedModel(options);
ContextSelector selector = null;
String advanced = options.getString("advanced");
String cs = options.getString("cs");
if (advanced != null) {
if (advanced.equals("collection")) {
selector = ContextSelectorFactory.makeSelectiveSelector(cs,
new CollectionMethods(World.get().getClassHierarchy()).get());
} else {
// run context-insensitive analysis as pre-analysis
PointerAnalysisResult preResult = runAnalysis(heapModel,
ContextSelectorFactory.makeCISelector());
if (advanced.startsWith("scaler")) {
selector = Timer.runAndCount(() -> ContextSelectorFactory
.makeGuidedSelector(Scaler.run(preResult, advanced)),
"Scaler", Level.INFO);
} else if (advanced.startsWith("zipper")) {
selector = Timer.runAndCount(() -> ContextSelectorFactory
.makeSelectiveSelector(cs, Zipper.run(preResult, advanced)),
"Zipper", Level.INFO);
} else if (advanced.equals("mahjong")) {
heapModel = Timer.runAndCount(() -> Mahjong.run(preResult, options),
"Mahjong", Level.INFO);
} else {
throw new IllegalArgumentException(
"Illegal advanced analysis argument: " + advanced);
}
}
}
if (selector == null) {
selector = ContextSelectorFactory.makePlainSelector(cs);
}
return runAnalysis(heapModel, selector);
}
private PointerAnalysisResult runAnalysis(HeapModel heapModel,
ContextSelector selector) {
AnalysisOptions options = getOptions();
Solver solver = new DefaultSolver(options,
heapModel, selector, new MapBasedCSManager());
// The initialization of some Plugins may read the fields in solver,
// e.g., contextSelector or csManager, thus we initialize Plugins
// after setting all other fields of solver.
setPlugin(solver, options);
solver.solve();
return solver.getResult();
}
private static void setPlugin(Solver solver, AnalysisOptions options) {
CompositePlugin plugin = new CompositePlugin();
// add builtin plugins
// To record elapsed time precisely, AnalysisTimer should be added at first.
plugin.addPlugin(
new AnalysisTimer(),
new EntryPointHandler(),
new ClassInitializer(),
new ThreadHandler(),
new NativeModeller(),
new ExceptionAnalysis()
);
int javaVersion = World.get().getOptions().getJavaVersion();
if (javaVersion < 9) {
// current reference handler doesn't support Java 9+
plugin.addPlugin(new ReferenceHandler());
}
if (javaVersion >= 8) {
plugin.addPlugin(new LambdaAnalysis());
}
if (javaVersion >= 9) {
plugin.addPlugin(new Java9StringConcatHandler());
}
if (options.getString("reflection-inference") != null ||
options.getString("reflection-log") != null) {
plugin.addPlugin(new ReflectionAnalysis());
}
if (options.getBoolean("handle-invokedynamic") &&
InvokeDynamicAnalysis.useMethodHandle()) {
plugin.addPlugin(new InvokeDynamicAnalysis());
}
if (options.getString("taint-config") != null
|| !((List) options.get("taint-config-providers")).isEmpty()) {
plugin.addPlugin(new TaintAnalysis());
}
plugin.addPlugin(new ResultProcessor());
// add plugins specified in options
// noinspection unchecked
addPlugins(plugin, (List) options.get("plugins"));
// connects plugins and solver
plugin.setSolver(solver);
solver.setPlugin(plugin);
}
private static void addPlugins(CompositePlugin plugin,
List pluginClasses) {
for (String pluginClass : pluginClasses) {
try {
Class clazz = Class.forName(pluginClass);
Constructor ctor = clazz.getConstructor();
Plugin newPlugin = (Plugin) ctor.newInstance();
plugin.addPlugin(newPlugin);
} catch (ClassNotFoundException e) {
throw new ConfigException(
"Plugin class " + pluginClass + " is not found");
} catch (IllegalAccessException | NoSuchMethodException e) {
throw new AnalysisException("Failed to get constructor of " +
pluginClass + ", does the plugin class" +
" provide a public non-arg constructor?");
} catch (InvocationTargetException | InstantiationException e) {
throw new AnalysisException(
"Failed to create plugin instance for " + pluginClass, e);
}
}
}
}
© 2015 - 2025 Weber Informatics LLC | Privacy Policy