awesome-repositories.com
博客
MCP
awesome-repositories.com

通过 AI 驱动的搜索,发现最优秀的开源仓库。

探索精选搜索开源替代品自托管软件博客网站地图
项目MCP 服务器关于排名机制媒体报道
法律隐私政策服务条款
© 2026 Bringes Technology SRL·VAT RO45896025·hello@awesome-repositories.com
·

4 个仓库

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

用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
  • charles2gan/gda-android-reversing-toolcharles2gan 的头像

    charles2gan/GDA-android-reversing-Tool

    4,778在 GitHub 上查看↗

    本项目是一个全面的 Android 逆向工程套件,具有反编译器、字节码去混淆器和恶意软件分析工具的功能。它旨在将 APK、DEX 和 OAT 二进制文件转换为人类可读的源代码,并使用无需 Java 虚拟机 (JVM) 的原生实现。 该平台通过与 Frida 集成进行动态分析而脱颖而出,允许用户实时挂钩方法、注入自定义 JavaScript 并转储设备内存。它还具有专门的安全引擎,包括污点传播引擎和栈状态机,以检测隐私泄露、恶意行为和安全漏洞。 该套件涵盖了广泛的分析功能,包括二进制补丁和重打包、交叉引用依赖映射和数据流分析。它提供了用于软件加壳识别、加密字符串解码以及跨应用程序资源进行全局元数据搜索的工具。 该工具提供命令行界面,并支持通过自定义 Python 或 Java 脚本进行分析自动化。

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

    Pythondecompilermalware-analysismobile-security
    在 GitHub 上查看↗4,778
  • spotbugs/spotbugsspotbugs 的头像

    spotbugs/spotbugs

    3,896在 GitHub 上查看↗

    SpotBugs 是一个针对 Java 应用程序的静态分析工具和字节码分析器。它扫描编译后的类文件以识别错误、安全漏洞和性能问题,而无需执行代码。该系统既是错误检测器,也是静态应用程序安全测试 (SAST) 工具,用于定位逻辑错误和 API 滥用。 该项目凭借插件式检测器架构脱颖而出,允许集成外部库以添加自定义检测规则。它为 SQL 注入、跨站脚本 (XSS) 和路径遍历等漏洞提供了专门的安全审计,并具有用于优化分析精度和减少误报的模块化系统。 该工具涵盖了广泛的检测领域,包括并发同步错误、空指针解引用、资源泄漏和类型转换错误。它还识别死代码、性能低效以及违反序列化惯例的情况。这些功能可通过命令行界面、图形用户界面以及集成开发环境 (IDE) 的直接集成来访问。 SpotBugs 可以集成到构建流水线中以强制执行质量门禁,并生成 HTML 或 XML 格式的分析报告。

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

    Java
    在 GitHub 上查看↗3,896
  • mandiant/flare-flossmandiant 的头像

    mandiant/flare-floss

    3,886在 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
    在 GitHub 上查看↗3,886
  • secure-software-engineering/phasarsecure-software-engineering 的头像

    secure-software-engineering/phasar

    1,045在 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
    在 GitHub 上查看↗1,045
  1. Home
  2. Operating Systems & Systems Programming
  3. Cross-Architecture Binary Analysis
  4. Intermediate Representation Lifting
  5. Data Flow Analysis