mirror of https://github.com/danog/psalm.git synced 2024-12-03 10:07:52 +01:00

Matt Brown 74749d20cc Improve documentation for taints a little

Ref #4590

2020-11-17 16:03:50 -05:00

TaintedShell

Emitted when user-controlled input can be passed into to an exec call or similar.

<?php

$command = $_GET["command"];

runCode($command);

function runCode(string $command) {
    exec($command);
}