KZhead
Ғылым және технология

Formal Verification & Symbolic Execution | W/ Trail Of Bits

Patrick Collins
2023 ж. 24 Сәу.
3 393 Рет қаралды
Жүктеу

What is Formal Verification?
What is Symbolic Execution?
Troy Interview: • Solidity Fuzzing & Web...
Josselin Interview: • Symbolic Execution & F...
✍️ Article: / formal-verification-sy...
🗻 Code Examples: github.com/PatrickAlphaC/denv...
🟩 Comparing Symbolic Execution tools: hackmd.io/@SaferMaker/EVM-Sym...
📚 Invariant vs Fuzz: ethereum.stackexchange.com/qu...
🛠️ Foundry Invariant: book.getfoundry.sh/forge/inva...
🦔 Echidna: github.com/crytic/echidna
⛨ Looking for a smart contract audit?
Hit us up!
www.cyfrin.io/
✅✅ Donate ✅✅
I use donated funds to spend money on making fun & informational videos.
ETH/Polygon/Avalanche/EVM Chains Wallet address:
0x9680201d9c93d65a3603d2088d125e955c73BD65
Or, optionally:
- patrickalphac.eth (ETH Only)
😸😸Follow Patrick!😸😸
Cyfrin: www.cyfrin.io/
KZhead: www.youtube.com/@PatrickAlpha...
Twitter: / patrickalphac
Medium: / patrickalphac
TikTok: / patrickalphac
Twitch Stream Uploads & Shorts: / @patrickalphac-alt
All thoughts and opinions are my own.

Пікірлер

  • Lets goo 🐸💙

    @kareemehabkassab231@kareemehabkassab231 Жыл бұрын

  • Informative. Thanks

    @ImranPollob@ImranPollob7 ай бұрын

  • This is such a valuable video! Thank you, Patrick! And yes, now that you have opened this door, I need to learn more about symbolic execution, please! :)

    @theblockchainer@theblockchainer Жыл бұрын

    • Make sure you can fuzz first!!

      @PatrickAlphaC@PatrickAlphaC Жыл бұрын

  • Thank you Patrick ❤ शरीरं सुरूपं तथा वा कलत्रं यशश्र्चारु चित्रं धनं मेरुतुल्यं गुरोरङ्घ्रिपद्मे मनश्र्चेन लग्नं ततः किं ततः किं ततः किं ततः किं ||

    @sdsgfhgthjj@sdsgfhgthjj Жыл бұрын

    • Wow thank you!!

      @PatrickAlphaC@PatrickAlphaC Жыл бұрын

  • Great stuff man! I don't think there are many people out there smart enough to explain these concepts so well and in such an entertaining way.

    @davidcrary1807@davidcrary1807 Жыл бұрын

    • Glad you enjoyed!

      @PatrickAlphaC@PatrickAlphaC Жыл бұрын

    • 💯

      @lawniczakjohn@lawniczakjohn9 ай бұрын

  • Hey master!!! Loved this video, I would ABSOLUTELY LOVE more videos like this one! Always tuned! 💯💯

    @sebastianarango1483@sebastianarango1483 Жыл бұрын

    • Glad to hear you enjoyed :) What part specifically did you most enjoy?

      @PatrickAlphaC@PatrickAlphaC Жыл бұрын

  • Fantastic finishing

    @codeWithBala@codeWithBala Жыл бұрын

  • Well Explained! ❤

    @Ali_Murtaza_Memon@Ali_Murtaza_Memon11 ай бұрын

    • 🫡🫡

      @PatrickAlphaC@PatrickAlphaC11 ай бұрын

  • you are awesome as always

    @AnthonyHarvey-tf7sp@AnthonyHarvey-tf7sp Жыл бұрын

  • Hey Patrick, Manticore seems to no longer be maintained. Any other suggestions, or is the older version still good to work with?

    @lawniczakjohn@lawniczakjohn9 ай бұрын

    • smtChecker built into solidity IMO is great for 85% of use cases.

      @PatrickAlphaC@PatrickAlphaC9 ай бұрын

  • 🙏🤯🙏

    @b3rhunter@b3rhunter Жыл бұрын

  • Hello fren!, I got a problem with my computer. I have 2 system. In one system when I copy the public address from metamask or from anywhere its copied correctly. But the other system is messing it up. I tried copying different address from that system, but each time the same address is on the clipboard. I don't know from where it is coming from. Please help.😢

    @shikharagarwale7@shikharagarwale7 Жыл бұрын

    • You might have an issue with your laptop fren. Could you ask on stack exchange?

      @PatrickAlphaC@PatrickAlphaC Жыл бұрын

  • First to comment!

    @SimeonUdoh@SimeonUdoh Жыл бұрын

  • I really appreciate what are you providing to the industry and the way you explain complex stuff that even me as not native English speaker could understand it.. thank you Patrick 🙏🙏🤍 .. Waiting for auditing course

    @user-bk3wr5ro7c@user-bk3wr5ro7c Жыл бұрын

    • Glad to hear the concepts are easy to understand!

      @PatrickAlphaC@PatrickAlphaC Жыл бұрын
KZhead