trailofbits/manticore

Symbolic execution tool

binary-analysisblockchainemulationethereumprogram-analysispythonsecuritysmtsymbolic-executiontesting

License & maintenance

AGPL-3.0 is a copyleft license: products that include or modify it may have to publish their code.

Last code push 3 months ago. Archived: read-only, no further updates.

	Repository	Stars	Language	License	Activity
1	ConsenSysDiligence/smart-contract-best-practicesA guide to smart contract security best practices	★ 7.6k	HTML	—	Stale
2	facebook/pyre-checkPerformant type-checking for python.	★ 7.2k	OCaml	MIT	Archived
3	mitmproxy/mitmproxyAn interactive TLS-capable intercepting HTTP proxy for penetration testers and software developers.	★ 45.7k	Python	MIT	Active
4	OpenZeppelin/openzeppelin-contractsOpenZeppelin Contracts is a library for secure smart contract development.	★ 27.3k	Solidity	MIT	Active
5	radareorg/radare2UNIX-like reverse engineering framework and command-line toolset	★ 25.1k	C	Other	Active
6	wifiphisher/wifiphisherThe Rogue Access Point Framework	★ 14.9k	Python	GPL-3.0	Slowing
7	monero-project/moneroMonero: the secure, private, untraceable cryptocurrency	★ 10.9k	C++	Other	Active
8	jofpin/trapePeople tracker on the Internet: OSINT analysis and research tool by Jose Pino	★ 9.1k	Python	—	Stale