picklescan

Also written: ModelScan

A scanner that lists the functions a pickle would call, such as `picklescan -p tiny.pt`. Scanners miss things, so treat them as a check and not as permission.