Skip to content

Mutation Testing With Slither

metodoloji offensive

Mutation Testing With Slither metodoloji notudur. Keşif → hipotez → PoC → kanıt akışını tutarlı uygula.

Metodoloji

Section titled “Metodoloji”

  1. Kapsam ve engel listesini kilitle.

  2. Pasif/aktif keşif ile envanter çıkar.

  3. Risk odaklı hipotezleri PoC ile doğrula.

  4. Kanıt ve sonraki pivot notunu paketle.

Web3

Section titled “Web3”
Terminal window
cast call CONTRACT "owner()" --rpc-url $RPC
Terminal window
slither . --print human-summary
Terminal window
myth analyze contract.sol
Terminal window
forge test --match-test testExploit -vvv
delegatecall proxy, storage collision, 4337 validation

Kanıt

Section titled “Kanıt”
request/response, komut çıktısı, ekran, hash, zaman damgası, etki özeti
Terminal window
mkdir -p evidence/metodoloji && tee evidence/metodoloji/notes.txt

Checklist

Section titled “Checklist”
[ ] fingerprint / profil alındı
[ ] primitif veya erişim doğrulandı
[ ] PoC etkiyi gösterdi
[ ] kanıt paketlendi
[ ] sonraki pivot not edildi