An easy-to-learn/use static analysis framework for Java
LGPL-3.0 License
Bot releases are hidden (Show)
--app-class-path
.--keep-results
.--output-dir
.-wc, --world-cache-mode
.dump
related options. Previously, most dump
options require users to specify a path to dump file; now, Tai-e uses fixed path for dump file (the file name is fully fixed, and users can still change dump directory via option --output-dir
), so that users only need to specify true
or false
for all dump
options.class-dumper
to ir-dumper
.merge-string-constants
by distinguish-string-constants
.action
by dump
and expected-file
.kind
to source configurations. Previously, the taint analysis only supports one kind of sources, i.e., result of method call. Now, we support more kinds of sources, including argument or result of method call (kind: call
), and method parameter (kind: param
) , so users need to specify kind of each source. Please see an example.pascal.taie.analysis.pta.core.heap.HeapModel.getMockObj(String,...)
to HeapModel.getMockObj(Descriptor,...)
.pascal.util.graph.Edge
and its subclasses.Exp.getUses()
to Set<RValue>
.Stmt.getUses()
to Set<RValue>
.Published by silverbullettt about 2 years ago