earlence / SmartThingsAnalysisTools
SmartThings Analysis Tools
☆25Updated 8 years ago
Related projects: ⓘ
- DroidSafe Android Static Analysis Source Repository☆93Updated 7 years ago
- Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.☆69Updated 3 years ago
- The Static Android Analysis Framework.☆36Updated 8 years ago
- Control Flow Graph Scanning for Android☆59Updated 9 years ago
- Symbolic/concolic execution of Android apps☆56Updated 8 years ago
- ☆18Updated 6 years ago
- Taming Reflection to Support Whole-Program Analysis of Android Apps☆51Updated 4 years ago
- Symbolic Execution of Android Framework☆14Updated 7 years ago
- A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps☆62Updated 4 years ago
- Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P☆15Updated 7 years ago
- A dynamic information flow tracing system for Android☆53Updated 3 years ago
- ☆19Updated 5 years ago
- ☆12Updated this week
- Source code for our "What the App is That? Deception and Countermeasures in the Android User Interface" paper☆19Updated 9 years ago
- Dronity, the Trinity syscall fuzzer ported to Android☆43Updated 8 years ago
- TIRO - A hybrid iterative deobfuscation framework for Android applications☆21Updated 6 years ago
- Broadcast Intent FUZzing Framework for Android☆79Updated 9 years ago
- QSEE Shellcode to directly hijack the "Normal World" Linux Kernel☆49Updated 8 years ago
- ☆34Updated 7 years ago
- ☆84Updated 8 years ago
- ☆90Updated 7 years ago
- An Android port of radamsa fuzzer☆64Updated 4 years ago
- Distributed Fuzzing for afl☆71Updated 8 years ago
- Marvin static analyzer is an Android application vulnerability scanner. The framework uses androguard and Static Android Analysis Framewo…☆68Updated 5 years ago
- PathArmor context-sensitive CFI implementation☆45Updated 8 years ago
- ☆33Updated 9 years ago
- Run android with S2E☆32Updated 9 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆20Updated 7 years ago
- DARPA Cyber Grand Challenge Documentation☆114Updated 7 years ago
- Documentation and Quick Start Guides for the S2E Symbolic Execution Platform☆76Updated 4 years ago