Static analysis for dummies: Experiencing LiSA