1. 詳しい解析結果を提供
マルチバイナリーとマルチスレッドのアプリケーションに対する詳しい解析結果の提供：静的分析、動的分析、セマティック分析の組み合わせにより、SLXはスレッドの系譜、通信、同期またデータの依存関係を視覚化し、想定されるアーキテクチャーとの整合性が確認できるソースコードから実際のアーキテクチャ概念を提供します。
2. 通信とメモリ関連のボトルネックを特定
SLX共有メモリ（POSIX共有メモリ変数）解析により、アプリケーションがスレッド間および他のアプリケーションとどのように相互作用しているかを把握することが可能です。配列および構造体のサブオブジェクトを含む変数へのすべてのアクセスが表示されます。ポインタを介してアクセスした場合にも、同様の表示がされます。
3. スレッド間あるいはプロセス間のメモリ共有保護の欠落を特定
SLX は保護メカニズム解析にも対応しており、ソース・ラインにある問題を直接指摘し、コードの修復につなげます。これにより、スレッド間でのデータ競合だけではなく、アプリケーションと別々のプロセス間でも検出します。
文書 全てを見る
ビデオ 全てを見る
自動車ソフトウェア開発
Mar 10, 2019 3min
Silexica at Embedded World 2018 - 次世代プログラミングの課題について
Mar 8, 2018 20min
トレーニング
Silexicaの事務所
お問い合わせ
Europe
USA
Japan
Beijing
Guangzhou
Israel