push_adb_file
Transfers a local file to an absolute path on an Android device via ADB, refusing existing files unless overwrite is set and verifying the copy with sha256 when available.
Instructions
Push one local file to an absolute device path. The only device-mutating ADB tool: existing device files are refused unless overwrite is explicitly requested, and the transfer is verified by comparing the local digest with the device's own sha256sum when the device provides one.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| serial | Yes | Device serial exactly as `adb devices` reports it | |
| overwrite | No | Allow replacing an existing device file; refused by default | |
| local_path | Yes | Existing local regular file to push | |
| device_path | Yes | Absolute destination path on the device | |
| analysis_project_id | No | Optional investigation to retain this tool result in. Does not prove target identity or causal relationships. |