سیکیورٹی اور ٹیسٹنگ

AuditHub

فز/پراپرٹی ٹیسٹنگ

اگلا دیکھیں

⁦AuditHub⁩ کے بارے میں

AuditHub is Veridise's hosted security platform that connects to a GitHub repository and runs automated checks on every commit. It bundles Vanguard (static analysis for Solidity 0.8.4 and newer, in Hardhat and Foundry projects), OrCa (a specification-driven fuzzer for multi-contract DeFi protocols), Picus (determinism verification for ZK circuits) and ZK Vanguard (static analysis for ZK circuits). Smart contract and ZK teams use it to catch reentrancy, specification violations and underconstrained circuits during development, before an external audit.

ٹیگز

سیکیورٹی
سٹیٹک انالیسس
فز ٹیسٹنگ
رسمی تصدیق
⁦Solidity⁩
مسلسل انضمام

ریپوزٹریزVeridise

پیکیجhttps:

/pypi.org/project/audithub-client/ (نئے ٹیب میں کھلتا ہے)

معلومات

قسم: فز/پراپرٹی ٹیسٹنگ
⁦GitHub⁩ اسٹارز: ۲۳
لسٹنگ کا جائزہ لیا گیا: اکتوبر ۲۰۲۶

ملتے جلتے ٹولز

Chimera

⁦Chimera⁩ ⁦foundry⁩ میں ⁦Solidity⁩ ٹیسٹ لکھنے اور انہیں دیگر اوپن سورس ٹولز جیسے ⁦Echidna⁩، ⁦Medusa⁩، ⁦Halmos⁩ اور ⁦Kontrol⁩ کے ساتھ دوبارہ استعمال کرنے کے قابل ہونے کے لیے ایک فریم ورک ہے۔

⁦CROPS Native⁩

Slither

سلدر ⁦Solidity⁩ اور ⁦Vyper⁩ کے لیے ⁦Trail of Bits⁩ کا ⁦Python⁩ جامد تجزیہ انجن ہے: اسے ⁦CI⁩ میں چلائیں تاکہ ڈیٹیکٹرز کو فائر کیا جا سکے، کنٹریکٹس کے ساختی مناظر پرنٹ کیے جا سکیں، یا پورے کوڈ بیسز پر کسٹم چیکس اسکرپٹ کیے جا سکیں۔

⁦CROPS Native⁩

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.