musiKk / plyj
A Java parser written in Python using PLY.
☆150Updated 2 years ago
Related projects: ⓘ
- ☆95Updated this week
- Tools for examining Java bytecode in Python☆102Updated 2 weeks ago
- Pure Python Java parser and tools☆727Updated last year
- Python bytecode instrumentation library☆121Updated 7 years ago
- IFDS/IDE Solver for Soot and other frameworks☆229Updated last year
- Automated Testing Tool for Android Applications.☆60Updated 9 years ago
- ☆237Updated this week
- An extensible crawler for downloading Android applications in third-party markets.☆99Updated 8 years ago
- Python Abstract Syntax Tree viewer in Qt☆104Updated last year
- ☆94Updated 2 years ago
- Java Library for JD-Core, a java decompiler☆256Updated 3 years ago
- A Program Analysis Toolkit for Android☆115Updated 7 years ago
- Goal-directed static analysis tool for JVM languages.☆55Updated 8 years ago
- TamiFlex facilitates static analysis of programs that use reflection and custom class loaders☆42Updated 3 years ago
- Security Certifier for anDroid☆59Updated 11 years ago
- ☆21Updated 7 years ago
- A tool for mining commits from Git repositories and diffs to automatically extract code change pattern instances and features with ast a…☆92Updated 3 months ago
- Python AxmlParser☆77Updated 7 years ago
- Dynamic Symbolic Execution of Android Apps☆22Updated 8 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- SuSi - our tool to automatically discover sources and sinks in the Android framework☆141Updated 7 years ago
- Java Virtual Machine implemented in pure python☆241Updated 3 years ago
- WALA analyses and tools that are implemented in JavaScript☆82Updated 7 years ago
- ☆126Updated this week
- A Prototype of Sapienz (Out-of-date and no longer supported)☆81Updated 7 years ago
- Computes the AST difference (aka edit script) between two Spoon Java source code abstract syntax trees☆156Updated this week
- DroidSafe Android Static Analysis Source Repository☆93Updated 7 years ago
- Framework model for static analysis of Android☆45Updated 8 years ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆205Updated last month
- Using soot to generate control flow☆20Updated 8 years ago