EVIDENCE THEATER · 최위험 저장 리포트
SYNTHETICREPLAY · fixture 0.2.0COMPLETED
발행 문서는 “총 발행량은 100,000 토큰을 초과할 수 없다.”라고 약속하지만, 코드는 이를 강제하지 않습니다.
mint 실행경로에 담보 또는 발행한도 검사가 없습니다.
EXPLOIT RISK
100Critical
0100
상위 원인 2 / 전체 3
- MINT_ACCESS_CONTROL_MISSING+40.00 · 1.00
- MINT_COLLATERAL_CAP_MISSING+40.00 · 1.00
서버 결정론적 계산 · 1.0.0
통제조건 구현 커버리지
0 / 6구현 확인 · 위반 4개
통제 공백 4미검사 2
TOP FINDING · DOCUMENT ↔ CODE
MISSING총 발행량은 100,000 토큰을 초과할 수 없다.p.1 · span 233–261
mint 실행경로에 담보 또는 발행한도 검사가 없습니다.
VulnerableRwaToken.sol:12EVIDENCE SPINE
온체인재현
100,000 → 120,000
block #18,402,119