Introduction to SMT Solvers (z3) and Symbolic Execution (Arabic)

Поделиться
HTML-код
  • Опубликовано: 11 дек 2024

Комментарии • 2

  • @nondevloop8269
    @nondevloop8269 24 дня назад

    اخيراً لاقيتك😂❤ والله واحشني من حلقة cloudkod
    بالمناسبة انا شغال علي مشروع based on ghidra. نفس فكرة cutter based on radare2, الفكرة اني هستخدم ال AI. عن طريق API عشان يساعد المٌستخدم في تحليل و فهم ال decompiled code . بس بتركيز اكتر علي ايجاد الثغرات الأمنية. انا اتعلمت LangChain مخصوص للحوار دة. عشان اقدر ابني Agents محترمة فعلاً تخلي المشروع قوي جداً و بالنسبة لل Symbolic Execution analysis. لسة بحاول افهم الموضوع بشكل اعمق لأني بفكر اضيف Binsec/SE , Binsec/REL . للمشروع طبعاً ال AI. هيكون جزء منهم. ان شاء الله لو كان في نصيب و توفيق اني اكمل المشروع دة. اوعدك و بكل ثقة ياهندسة. ال tool بتاعتي هتكون ال tool الأساسية بتاعتك😅
    عايز اقولك كمل ف القناة بجد انا و اللي زي محتاجين حضرتك جداً. و محتاج رأيك ف المشروع دة😂
    والله فرحت اني لاقيت قناتك❤❤

    • @binaryvaultarabic
      @binaryvaultarabic  23 дня назад

      حبيبي ربنا يكرمك ❤️
      بإذن الله يكون مشروعك حاجه جديده و مشروع ناجح ان شاء الله 🤲