SymDroid: Symbolic Execution for Dalvik Bytecode
Explore this paper's citation graph
Summary
SymDroid is introduced, a symbolic executor that operates directly on Dalvik bytecode, a simpler language that has only 16 instructions, in contrast to Dalvik’s more than 200 instructions.
- Type
- article
- Published
- 2012-07-31
- Cited by
- 64
- References
- 35
- Access
- Open access
- OpenAlex
- https://openalex.org/W56799953
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:14899887
Keywords
Bytecode, Computer science, Android (operating system), Programming language, Test suite
References
- A Study of Android Application Security
- Automated Whitebox Fuzz Testing
- Dr. Android and Mr. Hide: Fine-grained security policies on unmodified Android
- KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
- Permission Re-Delegation: Attacks and Defenses
- MultiOtter: Multiprocess Symbolic Execution
- Retargeting Android applications to Java bytecode
- A methodology for empirical analysis of permission-based security models and its application to android
- Analyzing inter-application communication in Android
- Symbolic Testing and the DISSECT Symbolic Evaluation System
- CUTE: a concolic unit testing engine for C
- Program testing techniques using simulated execution
- TaintDroid
- Parallel symbolic execution for automated real-world software testing
- DART: directed automated random testing
- Using symbolic evaluation to understand behavior in configurable software systems
- Symbolic execution and program testing
- Android permissions demystified
- Dr. Android and Mr. Hide: fine-grained permissions in android applications
- Automated concolic testing of smartphone apps
Cited by
- Towards formal validation: Symbolic simulation of SystemC models
- Meddle: Enabling Transparency and Control for Mobile Internet Traffic
- Using targeted symbolic execution for reducing false-positives in dataflow analysis
- ConDroid: Targeted Dynamic Analysis of Android Applications
- An operational semantics for android activities
- Dynodroid: an input generation system for Android apps
- Efficiently, effectively detecting mobile app bugs with AppDoctor
- Malware detection method of android application based on simplification instructions
- Automated Execution Control and Dynamic Behavior Monitoring for Android (TM) Applications
- mAuditor: Mobile Auditing Framework for mHealth Applications
- Formalisation and analysis of Dalvik bytecode
- Android - On-device detection of SMS catchers and sniffers
- Automated testing with targeted event sequence generation
- Security analysis of Android applications
- App-Ray: User-driven and fully automated Android app security assessment
- ReCon: Revealing and Controlling PII Leaks in Mobile Network Traffic
- A lightweight approach to component-level exception mechanism for robust android apps
- To What Extent is Stress Testing of Android TV Applications Automated in Industrial Environments?
- Evaluating Analysis Tools for Android Apps: Status Quo and Robustness Against Obfuscation
- Design and implementation of robust systems for secure malware detection
Related papers
- TaintDroid
- FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps
- AppIntent: analyzing sensitive data transmission in android for privacy leakage detection
- Dynodroid: an input generation system for Android apps
- DroidScope: Seamlessly Reconstructing the OS and Dalvik Semantic Views for Dynamic Android Malware Analysis
- Automated concolic testing of smartphone apps
- Testing android apps through symbolic execution
- Android permissions demystified
- CHEX: statically vetting Android apps for component hijacking vulnerabilities
- KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs