# DF-4032 evidence pack

r600_check_texture_resource's mipmap BO bounds check is commented out (r600_cs.c:1603-1606): any LAST_LEVEL/BASE_LEVEL/word3 mip offset is accepted regardless of mipmap BO size. texmip_sim (run.log) s

## Build

    ./build.sh   (cc -O2 -Wall; verified on the DragonFly audit guest — build.log)

## Run

    ./run.sh     (verified on the DragonFly audit guest — run.log; triggers exit 2:
                 /dev/dri absent — no radeon GPU on the QEMU guest, see env.txt)

## Expected on r600/rv770 hardware

See VERDICT.md.