Program analysis revisited | lit.salon