Linear+Static+Analysis Designers