In this pull request, we refactored CleanDroid to support other garbage-collecting solvers, and then add the implementation of FPC, the fine-grained garbage collector. The main changes are:
add command line options for specifying the number of threads (-mt), and the sleep time of garbage collectors (-st).
refactor the CleanDroid to be generic regarding the granularity of path-edge collection, e.g., at the method or the data-fact level.
add the implementation of FPC, the fine-grained garbage collector (-ds FPC). Please refer to our ISSTA'23 paper for more details.
In this pull request, we refactored CleanDroid to support other garbage-collecting solvers, and then add the implementation of FPC, the fine-grained garbage collector. The main changes are:
-mt), and the sleep time of garbage collectors (-st).-ds FPC). Please refer to our ISSTA'23 paper for more details.