- UBC, Vancouver
- https://khaled-e-a.github.io
Starred repositories
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
A script that decompiles an Android APK into Soot's Jimple IR.
🚀🤖 Crawl4AI: Open-source LLM Friendly Web Crawler & Scraper. Don't be shy, join here: https://discord.gg/jP8KfhDhyN
QuranEngine is the engine powering the Quran.com iOS app.
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app
A new version of Soot with a completely overhauled architecture
AOSP Build system compatible version of Open GApps
A security focused static analysis tool for Android and Java applications.
android keylogger app which uses android accessibility service to keep track of users action, with email functionality
Decompile React Native bundles
DEX bytecode instrumentation using dexlib2 from the smali project
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
The official repo of Doop, the declarative pointer analysis framework.
[Archived] Highlight the best bits of your app to users quickly, simply, and cool...ly
Diff Utils library is an OpenSource library for performing the comparison / diff operations between texts or some kind of data: computing diffs, applying patches, generating unified diffs or parsin…
COVA - A static analysis tool to compute path conditions

