mythril

MEDIUM W011: Third-party content exposure detected (indirect prompt injection risk).

• Third-party content exposure detected (medium risk: 0.30). Required workflow runs Mythril by analyzing a user/PR-supplied Solidity file from the checked-out repository (docker ... mythril/myth analyze /src/$sol_file ...), so outsider-authored free text (the contract source) is directly ingested by the analysis.

MEDIUM W012: Unverifiable external dependency detected (runtime URL that controls agent).

• Potentially malicious external URL detected (high risk: 0.80). The documentation includes commands that clone and install remote repositories (git clone https://github.com/Consensys/mythril.git and git clone https://github.com/Z3Prover/z3.git) which fetch and execute remote code as part of setup/installation, making them runtime-executed external dependencies.