On The (In)Effectiveness of Static Logic Bomb Detector for Android Apps.

Jordan Samhi Alexandre Bartel

Published in: CoRR (2021)

Keyphrases

mobile applications
mobile platforms
knowledge base
modal logic
automated reasoning
android platform
databases
anomaly detection
smart phones
computational properties
negative selection algorithm
android application