Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Screenshots
-
manticore-0.3.8_pre240227
~amd64 ~x86
dev dev-noks lint native redis python_targets_python3_11 python_targets_python3_12 python_targets_python3_13 python_targets_python3_14
View 
Download 
Browse License:
-
manticore-0.3.7
~amd64 ~x86
dev dev-noks lint native redis python_targets_python3_11 python_targets_python3_12 python_targets_python3_13 python_targets_python3_14
View Download Browse License:
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.
