Some fun examples of solving problems with symbolic execution (by kach)

Recreational-rosette Alternatives

Similar projects and alternatives to recreational-rosette

  • GitHub repo angr

    A powerful and user-friendly binary analysis platform!

  • GitHub repo zz

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

  • GitHub repo CrossHair

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

  • GitHub repo alive2

    Automatic verification of LLVM optimizations

  • GitHub repo taxoptimizer

NOTE: The number of mentions on this list indicates mentions on common posts. Hence, a higher number means a better recreational-rosette alternative or higher similarity.


Posts where recreational-rosette has been mentioned. We have used some of these posts to build our list of alternatives and similar projects - the last one was on 2021-05-03.


Basic recreational-rosette repo stats
almost 3 years ago