GRLWEAP14 – Static Analysis Options