• Home
  • Search
  • Atlas: a new way to explore software, build analysis tools
  • Cite Icon33
  • https://doi.org/10.1145/2591062.2591065Copy DOI Icon

Atlas: a new way to explore software, build analysis tools

  • May 31, 2014
  • Tom Deering +3 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

Atlas is a new software analysis platform from EnSoft Corp. Atlas decouples the domain-specific analysis goal from its underlying mechanism by splitting analysis into two distinct phases. In the first phase, polynomial-time static analyzers index the software AST, building a rich graph database. In the second phase, users can explore the graph directly or run custom analysis scripts written using a convenient API. These features make Atlas ideal for both interaction and automation. In this paper, we describe the motivation, design, and use of Atlas. We present validation case studies, including the verification of safe synchronization of the Linux kernel, and the detection of malware in Android applications. Our ICSE 2014 demo explores the comprehension and malware detection use cases. Video: http://youtu.be/cZOWlJ-IO0k

Similar Papers
  • Book Chapter
  • Citations5

DroidCollector: A Honeyclient for Collecting and Classifying Android Applications

  • Jan 01, 2014
  • Laurent Delosières +1
  • Conference Article
  • Citations4

On the Evaluation of the Machine Learning Based Hybrid Approach for Android Malware Detection

  • Nov 01, 2019
  • Natasha Javed Ratyal +2
  • Book Chapter
  • Citations1

ADAM: Automatic Detection of Android Malware

  • Jan 01, 2022
  • Somanath Tripathy +2
  • Research Article
  • Citations1

Android Malware Detection and Classification with Analysing Permission API’s using Recurrent Neural Network

  • Feb 13, 2025
  • Journal of Information Systems Engineering and Management
  • Vijay Sonawane
  • Research Article
  • Citations11

Identification of Cryptographic Vulnerability and Malware Detection in Android

  • Jul 01, 2017
  • International Journal of Information Security and Privacy
  • Anjali Kumawat +2
  • Research Article

A Resilient Deep Learning Framework for Mobile Malware Detection: From Architecture to Deployment

  • Nov 21, 2025
  • Future Internet
  • Aysha Alfaw +2
  • Research Article
  • Citations23

GHGDroid: Global heterogeneous graph-based android malware detection

  • Apr 09, 2024
  • Computers & Security
  • Lina Shen +2
  • Research Article
  • Citations5

Incremental Research on Cyber Security metrics in Android applications by implementing the ML algorithms in Malware Classification and Detection

  • Jan 01, 2020
  • Journal of Cybersecurity and Information Management
  • Dr.Sreejith Vignesh B P
  • PDF
  • Research Article
  • Citations42

A detection method for android application security based on TF-IDF and machine learning

  • Sep 11, 2020
  • PLoS ONE
  • Hongli Yuan +3
  • Conference Article
  • Citations94

Automated Synthesis of Semantic Malware Signatures using Maximum Satisfiability

  • Jan 01, 2017
  • Yu Feng +4
  • Research Article
  • Citations162

Android malware detection through hybrid features fusion and ensemble classifiers: The AndroPyTool framework and the OmniDroid dataset

  • Dec 18, 2018
  • Information Fusion
  • Alejandro Martín +2
  • Research Article

Static Analysis-based Detection of Android Malware using Machine Learning Algorithms

  • Sep 01, 2025
  • SISTEMASI
  • Omar Emad Saied +1
  • Conference Article
  • Citations30

Apk2vec: Semi-Supervised Multi-view Representation Learning for Profiling Android Applications

  • Nov 01, 2018
  • Annamalai Narayanan +4
  • Conference Article
  • Citations86

Can Android Applications Be Identified Using Only TCP/IP Headers of Their Launch Time Traffic?

  • Jul 18, 2016
  • Hasan Faik Alan +1
  • Research Article
  • Citations40

A multi-tiered feature selection model for android malware detection based on Feature discrimination and Information Gain

  • Nov 27, 2021
  • Journal of King Saud University - Computer and Information Sciences
  • Parnika Bhat +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.