Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Ubsym	32	a year ago	2	apache-2.0	C
A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes
Munch	28	5 years ago	n,ull	apache-2.0	Makefile
Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs

Alternatives To Ubsym

Select To Compare

Ubsym ⭐ 32

A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes

most recent commit a year ago

Munch ⭐ 28

Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs

most recent commit 5 years ago

Suggest An Alternative To UbSym

Alternative Project Comparisons

Ubsym vs Munch

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,716

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 8 days ago

Manticore ⭐ 3,535

Symbolic execution tool

dependent packages 1total releases 1,137latest release December 09, 2023most recent commit 8 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 a month ago

Miasm ⭐ 3,253

Reverse engineering framework in Python

most recent commit 3 months ago

Popular Vulnerability Detection Projects

Trivy ⭐ 20,160

Find vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and more

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

Nuclei ⭐ 16,189

Fast and customizable vulnerability scanner based on simple YAML based DSL.

dependent packages 10total releases 381latest release September 16, 2023most recent commit 3 months ago

Lynis ⭐ 12,150

Lynis - Security auditing tool for Linux, macOS, and UNIX-based systems. Assists with compliance testing (HIPAA/ISO27001/PCI DSS) and system hardening. Agentless, and installation optional.

total releases 1latest release February 27, 2018most recent commit a month ago

Vuls ⭐ 10,487

Agent-less vulnerability scanner for Linux, FreeBSD, Container, WordPress, Programming language libraries, Network devices

total releases 162latest release November 20, 2023most recent commit 3 months ago

Kubescape ⭐ 9,681

Kubescape is an open-source Kubernetes security platform for your IDE, CI/CD pipelines, and clusters. It includes risk analysis, security, compliance, and misconfiguration scanning, saving Kubernetes users and administrators precious time, effort, and resources.

dependent packages 2total releases 402latest release October 18, 2023most recent commit 18 days ago

Popular Security Categories