Static+Analysis Designers