Crie uma conta para usar a IA

Crie uma conta gratuita para desbloquear todos os recursos:

Faça perguntas sobre vídeos com IA
Use a busca inteligente (IA)
Salve seus vídeos favoritos
Marque suas categorias favoritas
Organize suas subcategorias favoritas
Acesse sua página de favoritos personalizada
Acesse o histórico das suas conversas
Personalize sua página inicial com seus favoritos

Já tem uma conta? Entrar

Verificação Formal & Execução Simbólica | W/ Trail Of Bits

Patrick Collins

O que é Verificação Formal?

O que é Execução Simbólica?

Entrevista com Troy: https://www.youtube.com/watch?v=H52U4ibkf5Q

Entrevista com Josselin: https://www.youtube.com/watch?v=3pWYvtx_sjA

✍️ Artigo: https://medium.com/@patrickalphac/formal-verification-symbolic-execution-38e0ac9072eb

🗻 Exemplos de Código: https://github.com/PatrickAlphaC/denver-security/tree/main

🟩 Comparando ferramentas de Execução Simbólica: https://hackmd.io/@SaferMaker/EVM-Sym-Exec

📚 Invariante vs Fuzz: https://ethereum.stackexchange.com/questions/144691/whats-the-difference-between-invariant-and-fuzz-testing

🛠️ Invariante do Foundry: https://book.getfoundry.sh/forge/invariant-testing

🦔 Echidna: https://github.com/crytic/echidna

⛨ Procurando uma auditoria de contrato inteligente?

Entre em contato!

https://www.cyfrin.io/

✅✅ Doe ✅✅

Eu uso os fundos doados para gastar dinheiro na criação de vídeos divertidos e informativos.

Endereço da carteira ETH/Polygon/Avalanche/Cadeias EVM:

0x9680201d9c93d65a3603d2088d125e955c73BD65

Ou, opcionalmente:

- patrickalphac.eth (Somente ETH)

😸😸Siga o Patrick!😸😸

Cyfrin: https://www.cyfrin.io/

YouTube: https://www.youtube.com/@PatrickAlphaC/videos

Twitter: https://twitter.com/patrickalphac

Medium: https://medium.com/@patrickalphac

TikTok: https://www.tiktok.com/@patrickalphac

Uploads de Stream e Shorts no Twitch: https://www.youtube.com/channel/UCMHHNgcezTnfrJUM1vIiZlQ

Todas as opiniões e pensamentos são meus.

Verificação Formal & Execução Simbólica | W/ Trail Of Bits | Knoovi