Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Symcc	724	3 months ago	47	gpl-3.0	C++
SymCC: efficient compiler-based symbolic execution
Smoosh	98	a year ago	22	mit	OCaml
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Meandiff	60	5 years ago	28	mit	F#
Testing Intermediate Representations for Binary Analysis

Alternatives To Smoosh

Select To Compare

Symcc ⭐ 724

SymCC: efficient compiler-based symbolic execution

most recent commit 3 months ago

Smoosh ⭐ 98

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

most recent commit a year ago

Meandiff ⭐ 60

Testing Intermediate Representations for Binary Analysis

most recent commit 5 years ago

Suggest An Alternative To smoosh

Alternative Project Comparisons

Smoosh vs Symcc

Smoosh vs Meandiff

Popular Symbolic Execution Projects

Angr ⭐ 7,005

A powerful and user-friendly binary analysis platform!

dependent packages 16total releases 213latest release December 05, 2023most recent commit 3 months ago

Mythril ⭐ 3,701

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.

dependent packages 7total releases 310latest release November 19, 2023most recent commit 11 days ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 7 months ago

Triton ⭐ 3,285

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

dependent packages 1total releases 3latest release December 23, 2022most recent commit 19 days ago

Miasm ⭐ 3,253

Reverse engineering framework in Python

most recent commit 3 months ago

Popular Docker Projects

Mall ⭐ 73,367

mall项目是一套电商系统，包括前台商城系统及后台管理系统，基于SpringBoot+MyBatis 前台商城系统包含首页门户、商品推荐、商品搜索、商品展示、购物车、订单流程、会员中心、客户服务、帮助中后台管理系统包含商品管理、订单管理、会员管理、促销管理、运营管理、内容管理、统计报表、财务管理、权限

most recent commit 3 months ago

Netdata ⭐ 67,808

The open-source observability platform everyone needs!

most recent commit 25 days ago

Moby ⭐ 67,537

The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

dependent packages 7,349total releases 849latest release November 13, 2023most recent commit a month ago

Excalidraw ⭐ 66,345

Virtual whiteboard for sketching hand-drawn like diagrams

dependent packages 49total releases 295latest release December 06, 2023most recent commit 3 months ago

Devops Exercises ⭐ 60,067

Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions

most recent commit 5 months ago

Popular Security Categories