Shipshape: static program analysis platform that plugs analyzers in 1 interface · HackerTrans