Checkmarx

2006年にMaty SimanがCheckmarxを創業した。主力製品はコンパイルなしでソースコードを解析できたため、SASTをCI/CDパイプラインから早い段階で回すのが現実的になった。エンジンはプログラム内のデータの流れをグラフ化し、信頼できない入力から危険な呼び出しへ至る経路を探す。典型例はSQLインジェクションとXSSだ。

2015年にInsight Partnersが買収し、2020年にはHellman & Friedmanが10億ドルをやや上回る額で引き継いだ。インフラのコード化（IaC）向けスキャナKICSなど、オープンソースのツールも公開している。静的解析の常として、難しいのはバグを見つけることではなく、開発者にレポートを読ませることである。