Showing 690 open source projects for "binary analysis tool"

View related business solutions
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • Secure File Transfer for Windows with Cerberus by Redwood Icon
    Secure File Transfer for Windows with Cerberus by Redwood

    Protect and share files over FTP/S, SFTP, HTTPS and SCP with the #1 rated Windows file transfer server.

    Cerberus supports unlimited users and connections on a single IP, with built-in encryption, 2FA, and a browser-based web client — all deployable in under 15 minutes with a 25-day free trial.
    Try for Free
  • 1

    Prime

    Programming with Millions of Examples

    Prime is a tool capable of downloading massive numbers of code examples, analyzing them, then using the analyzed results for validation, completion or prediction.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    db-docit
    This browser-based tool is a flexible solution for documenting both logical and physical database schema designs. It supports simple version tracking concepts to document schema changes in varying stages of planning and implementation.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    State Hierarchy Protocol Parser: the tool for producing fast and flexible protocol/format analyzers based on FSM with pretty text description.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    ReMIPS is a tool that manipulates binaries directly, applying code reengineering techniques (like optimization or binary translation techniques). Currently it only supports the ELF object-file format and the MIPS architecture.
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 5

    misspell-fixer

    Simple tool for fixing common misspellings, typos

    Utility to fix common misspellings, typos in source codes. There are lots of typical misspellings in program codes. Typically they are more eye-catching in the living code but they can easily hide in comments, examples, samples, notes and documentations. With this utility you can fix a large number of them very quickly. Be aware that the utility does not check or fix file names. It can easily happen that a misspelled word is fixed in a file name in a program's code, but the file itself...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    SPUDS (Software Productivity at University of Savoie) is a tool to help software development. This tool will be composed of several utilities: Software metrics, code analysis, and model-driven engineering. This is part of research work.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Open Source License Checker V.3 is tool for inspection and analysis of lisence information from open source packages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    MSP430static is a tool for the analysis of MSP430 firmware images, such as those produced by TinyOS and mspgcc. Features include call-graph generation, recovery of library symbol names, and easy extensibility in Perl or SQL.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9

    Kammerjäger

    Kammerjäger is a debugging tool with integrated correctness proving.

    Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 10
    NReflector is an extensible, open class browser and analysis tool for Mono/.NET. It allows users to browse Mono/.NET assemblies, search for methods/types and analyze their usage in an intuitive way.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The Open Log Engine is a powerful tool for advanced logging in games or programs. It easily allows you to make logging outputs in your program and analyse them afterwards with the Open Log Viewer, which provides you a powerful filtering system.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    JDiag is an open source system information/diagnostics tool written in Java. It gathers information from various places in the system and places it into one log file for easy analysis by computer professionals.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Queueing Petri Net Modeling Environment
    QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Shopping Cart Diagnostics

    Shopping Cart Diagnostics

    Store Diagnostics is designed to keep your online store error-free!

    Shopping Cart Diagnostics is a unique tool that will keep your online store in a perfect state. This service will troubleshoot your shopping cart configurations, website performance, availability, server environment and many other aspects of your online business. Shopping Cart Diagnostics defines all kinds of problems and timely informs you about them suggesting the right solution for removing them.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    BP-Tools

    BP-Tools

    Set of useful tools for payment service development

    The BP-Tools set consist from applications supporting EFT testing, benchmarking and transaction service development. BP-Tools suite currently consists of following three components: - BP-CCALC: Cryptographic Calculator - BP-CardEdit: Thales P3 Input/Output file editor - BP-EMVT: EMV Tool - BP-HCMD: Thales HSM Commander
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB