Skip to main content

0xiehnnkta/nemesis-auditor

جمع SkillsMP عدد ٣ من skills من 0xiehnnkta/nemesis-auditor. افتح أي skill لمراجعة مصدره وتفاصيله.

آخر نشاط مصدر مسجل
آخر تحديث لفهرس SkillsMP
skills مجمعة
٣
نجوم GitHub
٢٤٣
تفرعات GitHub
٦٥

Skills في هذا المستودع

عرض ٣ من أصل ٣ skills مجمعة.

المهنة
محللو ضمان جودة البرمجيات والمختبرون
الوصف

Deep business logic bug finder using the Feynman technique. Language-agnostic — works on Solidity, Move, Rust, Go, C++, or any codebase. Questions every line, every ordering choice, every guard presence/absence, and every implicit assumption to surface logic…

لغة النص الأصلي: الإنجليزية

آخر تحديث
المهنة
محللو ضمان جودة البرمجيات والمختبرون
الوصف

The Inescapable Auditor. Runs the full Feynman Auditor (Stage 1) and full State Inconsistency Auditor (Stage 2) as primary steps, then fuses their outputs in a feedback loop (Stage 3) to find bugs at the intersection that neither alone would catch.…

لغة النص الأصلي: الإنجليزية

آخر تحديث
المهنة
محللو ضمان جودة البرمجيات والمختبرون
الوصف

Finds state inconsistency bugs where an operation mutates one piece of coupled state without updating its dependent counterpart, causing silent data corruption or reverts in subsequent operations. Triggers on /state-audit, state inconsistency audit, or…

لغة النص الأصلي: الإنجليزية

آخر تحديث
عرض ٣ من أصل ٣ skills مجمعة.