symbolic-execution-tools
نگهدارنده yaklang
راهنمای symbolic execution و constraint solving.
- نسخه فعلی
- نامشخص
- مجوز
- نامشخص
- دسترسی شبکه
- نامشخص / ارزیابینشده
- وضعیت بررسی
- تأیید نشده
چه مسئلهای را حل میکند؟
تحلیل binary و حل constraint برای چالش CTF و بازیابی key را پشتیبانی میکند.
چه زمانی مناسب است؟
برای CTF reversing، key recovery، bypass check یا binary analysis با angr، Z3 یا Unicorn Engine استفاده کنید.
برای CTF reversing، key recovery، bypass check یا binary analysis خودکار با angr، Z3 یا Unicorn Engine است.
نصب و بهروزرسانی
این دستورها فقط برای کپی نمایش داده میشوند و روی سرور RefHub اجرا نمیشوند. پیش از اجرا، منبع بالادستی پیوندشده را بررسی کنید.
دستور نصب
npx skills add yaklang/hack-skills --skill symbolic-execution-tools -yسازگاری با ایجنتها
هنوز تست سازگاری ثبت نشده است
تا وقتی شواهد تست ثبت نشده، سازگاری این مهارت با ایجنتها را تأییدشده فرض نکنید.