*Article* **Smali+: An Operational Semantics for Low-Level Code Generated from Reverse Engineering Android Applications**
