alive2 VS llvm-tutor

Compare alive2 vs llvm-tutor and see what are their differences.

llvm-tutor

A collection of out-of-tree LLVM passes for teaching and learning (by banach-space)
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
alive2 llvm-tutor
4 1
667 2,671
4.3% -
9.3 6.0
10 days ago 20 days ago
C++ C++
MIT License MIT License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

alive2

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 2023-05-15.

llvm-tutor

Posts with mentions or reviews of llvm-tutor. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning llvm-tutor yet.
Tracking mentions began in Dec 2020.

What are some alternatives?

When comparing alive2 and llvm-tutor you can also consider the following projects:

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

remill - Library for lifting machine code to LLVM bitcode

klee - KLEE Symbolic Execution Engine

zz - πŸΊπŸ™ ZetZ a zymbolic verifier and tranzpiler to bare metal C

recreational-rosette - Some fun examples of solving problems with symbolic execution

Symbolica - Symbolica's open-source symbolic execution engine. [Moved to: https://github.com/Symbolica/Symbolica]

clang-tutor - A collection of out-of-tree Clang plugins for teaching and learning

Cassius - A CSS specification and reasoning engine

mcc - MicroC example compiler for Stephen Edward's PLT class, but in Haskell

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

mewa - Compiler-compiler for writing compiler frontends with Lua

buildit - Online demo without installing at - https://buildit.so/tryit