Alive2 Alternatives

Similar projects and alternatives to alive2 based on common topics and language

  • GitHub repo recreational-rosette

    Some fun examples of solving problems with symbolic execution

  • GitHub repo angr

    alive2 VS angr

    A powerful and user-friendly binary analysis platform!

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

  • GitHub repo zz

    alive2 VS zz

    🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

  • GitHub repo CrossHair

    alive2 VS CrossHair

    An analysis tool for Python that blurs the line between testing and type systems.

  • GitHub repo mcsema

    alive2 VS mcsema

    Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

  • GitHub repo Triton

    alive2 VS Triton

    Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings. (by JonathanSalwan)

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better alive2 alternative or higher similarity.

Suggest an alternative to alive2

Reviews and mentions

Posts with mentions or reviews of alive2. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2021-05-03.

Stats

Basic alive2 repo stats
1
302
9.1
4 days ago

AliveToolkit/alive2 is an open source project licensed under MIT License which is an OSI approved license.

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Find remote C++ jobs at our new job board 99remotejobs.com. There is 1 new remote job listed recently.
Are you hiring? Post a new remote job listing for free.