Linear Static Analysis Designers