Ariadne: Navigating through the Labyrinth of Data-Driven Customization Inconsistencies in Android

This artifact provides a proof-of-concept Java-based implementation of Ariadne. It takes a decompiled Android ROM as input and constructs an AC dependency graph. It then infers the expected AC enforcement for each API using a customized flooding algorithm. Each inference is assigned a \textit{relevance weight} that reflects the tool's confidence in the inference. Finally, it outputs a list of APIs where the inferred AC is stronger than the existing enforcement, reporting only those exceeding a configurable relevance cutoff.