symbolic-execution
Repositorios de código abierto monitorizados etiquetados con symbolic-execution, ordenados por estrellas.
Temas relacionados
Temas que aparecen con frecuencia junto a symbolic-execution en un mismo repositorio.
Emergentes recientes
Repositorios creados en los últimos 90 días, etiquetados con symbolic-execution.
No hay repositorios nuevos con este tema en los últimos 90 días.
- #1
Triton es una biblioteca de análisis binario dinámico. Construye tus propias herramientas de análisis de programas, automatiza tu ingeniería inversa, realiza verificación de software o simplemente emula código.
★ 4281+6Variación de estrellas de los últimos 7 días - #2
Mythril es una herramienta de análisis de seguridad basada en ejecución simbólica para bytecode de EVM. Detecta vulnerabilidades de seguridad en smart contracts construidos para Ethereum y otras blockchains compatibles con EVM.
★ 4265-1Variación de estrellas de los últimos 7 días - #3★ 3947+3Variación de estrellas de los últimos 7 días
- #4★ 2975+1Variación de estrellas de los últimos 7 días
- #5★ 2254+0Variación de estrellas de los últimos 7 días
- #6★ 1627+0Variación de estrellas de los últimos 7 días
- #7
Una lista curada de recursos asombrosos sobre ejecución simbólica, incluyendo artículos de investigación esenciales, conferencias, videos y herramientas.
★ 1497+0Variación de estrellas de los últimos 7 días - #8
Herramienta de análisis para Python que difumina la línea entre las pruebas y los sistemas de tipos.
★ 1319+0Variación de estrellas de los últimos 7 días - #9★ 1163+2Variación de estrellas de los últimos 7 días
- #10★ 1090+0Variación de estrellas de los últimos 7 días
- #11
Una interfaz similar a las pruebas unitarias para fuzzing y ejecución simbólica
★ 862+0Variación de estrellas de los últimos 7 días - #12
Uso de angr en Ghidra
★ 624-1Variación de estrellas de los últimos 7 días - #13
Simple Theorem Prover, un solver SMT eficiente para vectores de bits, punto flotante y arreglos.
★ 588+1Variación de estrellas de los últimos 7 días
