5 ms·Shipshape: static program analysis platform that plugs analyzers in 1 interface1 points by benHN 11y ago