ConDroid is a concolic execution framework designed for Android applications that automates dynamic analysis without requiring manual interaction. The tool extends the Acteve project to drive application execution to specific code locations through systematic path exploration. The framework enables automated testing of Android apps by combining concrete execution with symbolic analysis to explore different execution paths. ConDroid can analyze dynamic behaviors such as network traffic patterns and dynamic code loading mechanisms that occur during application runtime. The tool focuses on smartphone app testing automation, allowing security researchers and developers to examine application behavior in various execution scenarios. By performing concolic execution, ConDroid can reach code segments that might be difficult to trigger through traditional testing methods. ConDroid operates by instrumenting Android applications and guiding execution flow to target specific code locations of interest. This approach enables comprehensive analysis of application security properties and runtime behaviors without the need for extensive manual testing procedures.
FEATURES
EXPLORE BY TAGS
SIMILAR TOOLS
A software composition analysis tool that identifies vulnerabilities, malicious code, and license risks in open source dependencies throughout the software development lifecycle.
APKiD is a tool that identifies compilers, packers, obfuscators, and other weird stuff in APK files.
A source code search engine for searching alphanumeric snippets, signatures, or keywords in web page HTML, JS, and CSS code.
AndroBugs Framework is an Android vulnerability analysis system that scans mobile applications for security vulnerabilities, missing best practices, and dangerous shell commands.
RiskInDroid is a machine learning-based tool that performs quantitative risk analysis of Android applications by reverse engineering bytecode and analyzing permission usage to generate numeric risk scores.
A technology lookup and lead generation tool that identifies the technology stack of any website and provides features for market research, competitor analysis, and data enrichment.
A deliberately vulnerable Java web application designed for educational purposes to teach web application security concepts and common vulnerabilities.
A PHP port of Rack::Honeypot, a spam trap that detects and blocks spambots
ThreatLocker is an enterprise cybersecurity platform that provides comprehensive endpoint protection and zero-trust security to prevent ransomware, viruses, and other malicious software from running on endpoints.
PINNED

Checkmarx SCA
A software composition analysis tool that identifies vulnerabilities, malicious code, and license risks in open source dependencies throughout the software development lifecycle.

Orca Security
A cloud-native application protection platform that provides agentless security monitoring, vulnerability management, and compliance capabilities across multi-cloud environments.

DryRun
A GitHub application that performs automated security code reviews by analyzing contextual security aspects of code changes during pull requests.