function untaintSample() {
    var c = readFromDisk("the path");
    _ = writeToDb(c); // error: tainted value passed to untainted parameter 'sqlQuery'
}

function untaintSampleUpdated() {
    var c = readFromDisk("the path");
    // do necessary checks to verify that 'c' is not tainted
    var unTaintedC = <@untainted> c; // indicate that c is no longer tainted
    _ = writeToDb(unTaintedC);
}