awesome-repositories.com
Blog
MCP
awesome-repositories.com

Descoperă cele mai bune repository-uri open source cu căutare AI.

ExploreazăCăutări recomandateAlternative open-sourceSoftware self-hostedBlogHartă site
ProiectServer MCPDespreCum realizăm clasamentulPresă
LegalConfidențialitateTermeni
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

4 repository-uri

Awesome GitHub RepositoriesData Flow Analysis

Analysis of intermediate representations to track how data moves through a program.

Distinct from Intermediate Representation Lifting: Focuses on analyzing the logic of the IR to find string manipulation rather than the process of lifting to IR

Explore 4 awesome GitHub repositories matching operating systems & systems programming · Data Flow Analysis. Refine with filters or upvote what's useful.

Awesome Data Flow Analysis GitHub Repositories

Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
  • charles2gan/gda-android-reversing-toolAvatar charles2gan

    charles2gan/GDA-android-reversing-Tool

    4,778Vezi pe GitHub↗

    This project is a comprehensive Android reverse engineering suite that functions as a decompiler, bytecode deobfuscator, and malware analysis tool. It is designed to convert APK, DEX, and OAT binaries into human-readable source code using a native implementation that does not require a Java Virtual Machine. The platform is distinguished by its integration with Frida for dynamic analysis, allowing users to hook methods, inject custom JavaScript, and dump device memory in real time. It also features specialized security engines, including a taint propagation engine and a stack-state machine, to

    Traces arguments and return values through intermediate representations to determine how data moves through a program.

    Pythondecompilermalware-analysismobile-security
    Vezi pe GitHub↗4,778
  • spotbugs/spotbugsAvatar spotbugs

    spotbugs/spotbugs

    3,896Vezi pe GitHub↗

    SpotBugs este un instrument de analiză statică și un analizor de bytecode pentru aplicații Java. Acesta scanează fișierele de clasă compilate pentru a identifica bug-uri, vulnerabilități de securitate și probleme de performanță fără a executa codul. Sistemul funcționează atât ca un detector de bug-uri, cât și ca un instrument de testare statică a securității aplicațiilor pentru a localiza erori logice și utilizarea greșită a API-urilor. Proiectul se distinge printr-o arhitectură de detectare bazată pe plugin-uri care permite integrarea bibliotecilor externe pentru a adăuga reguli de detectare personalizate. Oferă audit de securitate specializat pentru vulnerabilități precum SQL injection, cross-site scripting și path traversal, alături de un sistem modular pentru rafinarea preciziei analizei și reducerea rezultatelor fals pozitive. Instrumentul acoperă o gamă largă de zone de detectare, inclusiv erori de sincronizare a concurenței, dereferențieri de pointeri nuli, scurgeri de resurse și erori de type casting. De asemenea, identifică codul mort, ineficiențele de performanță și încălcările idiomurilor de serializare. Aceste capabilități sunt accesibile printr-o interfață de linie de comandă, o interfață grafică și integrare directă în mediile de dezvoltare integrate (IDE). SpotBugs poate fi integrat în pipeline-urile de build pentru a impune porți de calitate și a genera rapoarte de analiză în formate HTML sau XML.

    Tracks the flow of values across method boundaries to detect null pointer dereferences and resource leaks.

    Java
    Vezi pe GitHub↗3,896
  • mandiant/flare-flossAvatar mandiant

    mandiant/flare-floss

    3,886Vezi pe GitHub↗

    Flare-floss is a security utility and static binary string extractor designed to uncover hidden text and configuration data within compiled binaries. It functions as an obfuscated string decoder and reverse engineering tool to translate encoded strings into readable text for security auditing. The project employs emulated execution to capture the decrypted state of strings in memory by running small chunks of binary code in a virtual CPU. It further utilizes static analysis disassembly, intermediate representation analysis, and heuristic-based pattern matching to identify and decode strings t

    Converts machine instructions into a simplified intermediate representation to track data flow and string manipulation logic.

    Pythondeobfuscationflaregsoc-2026
    Vezi pe GitHub↗3,886
  • secure-software-engineering/phasarAvatar secure-software-engineering

    secure-software-engineering/phasar

    1,045Vezi pe GitHub↗

    Phasar is a static analysis framework designed for the inspection of software logic through the processing of compiler intermediate representations. It provides a modular pipeline for building program representations, including call graphs, control flow graphs, and type hierarchies, which serve as the foundation for deep structural analysis of software behavior. The framework specializes in interprocedural data flow analysis and pointer alias resolution, enabling the tracking of information movement across function boundaries and the identification of indirect memory access patterns. By lever

    Executes data flow analyses using standard algorithmic frameworks to track information propagation.

    C++ccppdata-flow-analysis
    Vezi pe GitHub↗1,045
  1. Home
  2. Operating Systems & Systems Programming
  3. Cross-Architecture Binary Analysis
  4. Intermediate Representation Lifting
  5. Data Flow Analysis