Plus Facebook with their Flow[1], Infer[2][3], Airbus with their BinCAT[4], and Frama-C[5].

[1] https://github.com/facebook/flow

[2] https://fbinfer.com/

[3] https://github.com/facebook/infer

[4] https://github.com/airbus-seclab/bincat

[5] http://frama-c.com/