symbolic-execution
Repositórios de código aberto acompanhados marcados com symbolic-execution, ordenados por estrelas.
Tópicos relacionados
Tópicos que aparecem com frequência ao lado de symbolic-execution no mesmo repositório.
Em ascensão recentemente
Repositórios criados nos últimos 90 dias e marcados com symbolic-execution.
Nenhum repositório novo marcado com este tópico nos últimos 90 dias.
- #1
Triton é uma biblioteca de análise binária dinâmica. Construa suas próprias ferramentas de análise de programas, automatize sua engenharia reversa, realize verificação de software ou apenas emule código.
★ 4.281+6Variação de estrelas nos últimos 7 dias - #2
Mythril é uma ferramenta de análise de segurança baseada em execução simbólica para bytecode EVM. Detecta vulnerabilidades de segurança em contratos inteligentes criados para Ethereum e outras blockchains compatíveis com EVM.
★ 4.265-1Variação de estrelas nos últimos 7 dias - #3★ 3.947+3Variação de estrelas nos últimos 7 dias
- #4★ 2.975+1Variação de estrelas nos últimos 7 dias
- #5★ 2.254+0Variação de estrelas nos últimos 7 dias
- #6
Vencedor do concurso de plugins IDA 2016! Execução simbólica a apenas um clique de distância!
★ 1.627+0Variação de estrelas nos últimos 7 dias - #7
Uma lista curada de recursos incríveis sobre execução simbólica, incluindo artigos de pesquisa essenciais, palestras, vídeos e ferramentas.
★ 1.497+0Variação de estrelas nos últimos 7 dias - #8
Uma ferramenta de análise para Python que borra a linha entre testes e sistemas de tipos.
★ 1.319+0Variação de estrelas nos últimos 7 dias - #9★ 1.163+2Variação de estrelas nos últimos 7 dias
- #10★ 1.090+0Variação de estrelas nos últimos 7 dias
- #11★ 862+0Variação de estrelas nos últimos 7 dias
- #12
Use angr no Ghidra
★ 624-1Variação de estrelas nos últimos 7 dias - #13
Simple Theorem Prover, um resolvedor SMT eficiente para vetores de bits, ponto flutuante e matrizes.
★ 588+1Variação de estrelas nos últimos 7 dias
