This is a FlowDroid fork that can work with SparseBoomerang as alias analysis provider.
SparseBoomerang provides 3 alias analysis variants that can be activated using -aa OPTIONNAME in FlowDroid's command line arguments.
BOOMERANG: Default BoomerangTYPEBASEDSPARSEBOOMERANG: Alias analysis using Type-aware sparsificationALIASAWARESPARSEBOOMERANG: Alias analysis using Alias-aware sparsification
This work was used in the evaluations of the SparseBoomerang paper.
Preprint is available: Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis (ICST 2023)