SSealbook

trailofbits/manticore

Symbolic execution tool

binary-analysisblockchainemulationethereumprogram-analysispythonsecuritysmtsymbolic-executiontesting

Licencia y mantenimiento

AGPL-3.0 es una licencia copyleft: los productos que lo incluyan o modifiquen pueden tener que publicar su código.

Último cambio de código hace 3 meses. Archivado: solo lectura, sin más actualizaciones.