Static+Structure+Analysis Designers