Lobsters: Static Analysis for the Uninitialized