Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com (by BartoszMilewski)
manticore
Symbolic execution tool (by trailofbits)
Our great sponsors
Publications | manticore | |
---|---|---|
5 | 5 | |
1,213 | 3,634 | |
- | 0.7% | |
5.5 | 3.8 | |
8 days ago | 8 months ago | |
TeX | Python | |
- | 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.
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.
Publications
Posts with mentions or reviews of Publications.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-08-12.
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.
-
A Comprehensive Guide on Web3 Programming Languages and Tools
MythX, Mythril, Manticore, and Echidna are other tools for security audits.
-
Tools to verify solidity code
Symbolic Execution: Manticore
- What is Manticore?
-
Daily General Discussion - October 19, 2021
Trail of Bits releases smart contract analysis tool Manticore v0.1.5 with EVM bytecode support.
- Smart Contract Security for Pentesters