Skip to content

Latest commit

 

History

History
14 lines (9 loc) · 830 Bytes

README.MD

File metadata and controls

14 lines (9 loc) · 830 Bytes
Raw

FlowDroid with SparseBoomerang

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 Boomerang
  • TYPEBASEDSPARSEBOOMERANG: Alias analysis using Type-aware sparsification
  • ALIASAWARESPARSEBOOMERANG: Alias analysis using Alias-aware sparsification

Publications

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)