SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform.

Alessandro Armando, Gianluca Bocci, Giantonio Chiarelli, Gabriele Costa, Gabriele De Maglie, Rocco Mammoliti, Alessio Merlo

Browse the full TACAS paper archive.