Skip to content

Commit

Permalink
Update comment
Browse files Browse the repository at this point in the history
  • Loading branch information
zhangt2333 committed May 30, 2024
1 parent 4640cd7 commit f67fcab
Showing 1 changed file with 1 addition and 15 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -42,20 +42,6 @@
import java.io.File;
import java.util.Set;

/**
* Maintains the process of taint analysis and supports interactive mode.
* <br>
*
* The interactive mode goes as follows:
* <ol>
* <li>Captures user's rerun request in {@link #onPhaseFinish()} when pointer analysis finishes
* <li>Call {@link #initialize()} to re-initialize the analysis
* <li>Reset sub-plugins based on the newly loaded taint config
* <li>Clear previous taint objects and taint edges
* <li>Trigger the creation of taint objects based on the new taint config
* <li>P/Taint analysis will continue when exit {@link #initialize()}
* </ol>
*/
public class TaintAnalysis extends CompositePlugin {

private static final Logger logger = LogManager.getLogger(TaintAnalysis.class);
Expand All @@ -76,7 +62,7 @@ public void setSolver(Solver solver) {
}

private void initialize() {
// reset sub-plugins
// reset composited plugins
clearPlugins();
TaintManager manager = new TaintManager(solver.getHeapModel());
TaintConfig config = TaintConfig.loadConfig(
Expand Down

0 comments on commit f67fcab

Please sign in to comment.