Static Analysis' Designers