2 ms·
Plus Facebook with their Flow[1], Infer[2][3], Airbus with their BinCAT[4], and Frama-C[5]. [1] https://github.com/facebook/flow https://github.com/facebook/fl
by xvilka 7y ago
Plus Facebook with their Flow[1], Infer[2][3], Airbus with their BinCAT[4], and Frama-C[5].
[1] https://github.com/facebook/flow https://github.com/facebook/flow
[2] https://fbinfer.com/ https://fbinfer.com/
[3] https://github.com/facebook/infer https://github.com/facebook/infer
[4] https://github.com/airbus-seclab/bincat https://github.com/airbus-seclab/bincat
[5] http://frama-c.com/ http://frama-c.com/