PLAS: Programming Languages and Analysis for Security