MATE VS manticore

Compare MATE vs manticore and see what are their differences.

MATE

MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs. (by GaloisInc)
code-property-graph Llvm program-analysis Security security-research Static Analysis symbolic-execution
Source Code
galoisinc.github.io
Suggest alternative
Edit details

manticore

Symbolic execution tool (by trailofbits)
symbolic-execution Z3 Python binary-analysis Emulation SMT program-analysis Security Ethereum Blockchain Testing
Source Code
blog.trailofbits.com
Suggest alternative
Edit details
InfluxDB - Power Real-Time Data Analytics at Scale
Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
MATE manticore
1 5
170 3,642
2.9% 0.5%
0.0 3.8
over 1 year ago 8 months ago
Python Python
BSD 3-clause "New" or "Revised" License GNU Affero General Public License v3.0
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.

MATE

Posts with mentions or reviews of MATE. We have used some of these posts to build our list of alternatives and similar projects.
  • Mate: Interactive Program Analysis with Code Property Graphs
    1 project | news.ycombinator.com | 24 Aug 2022
    Weird that they'd put out a blog post when their docs <https://galoisinc.github.io/MATE/overview.html#status> say

    > MATE is not actively developed by Galois, Inc. Please reach out to the email address “mate at galois dot com” if you’d like to discuss further work on MATE!

    but I'm guessing maybe it's just stale docs, since they pushed the repo 2 weeks ago: https://github.com/GaloisInc/MATE/commits/main

manticore

Posts with mentions or reviews of manticore. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-06-06.

What are some alternatives?

When comparing MATE and manticore you can also consider the following projects:

pyt - A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

echidna - Ethereum smart contract fuzzer

onionnux - Onionnux is a onionsite(DEEPNET/DARKNET) tool.It can help to idenitfy onionsite is active or onionsite server name.

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

pycg - Static Python call graph generator

slither - Static Analyzer for Solidity and Vyper

solc-select - Manage and switch between Solidity compiler versions

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

nft-generator-py - This tool allows users to generate sets of unique images and metadata using weighted layer collections.

VMProtect-devirtualization - Playing with the VMProtect software protection. Automatic deobfuscation of pure functions using symbolic execution and LLVM.

safe-react - Deprecated! New repo – https://github.com/safe-global/web-core

publications - Publications from Trail of Bits

MATE vs pyt manticore vs echidna MATE vs onionnux manticore vs mythril MATE vs pycg manticore vs slither manticore vs solc-select manticore vs Triton manticore vs nft-generator-py manticore vs VMProtect-devirtualization manticore vs safe-react manticore vs publications