1～3 件を表示 ／ 全 3 件
形式検証と静的検証が統合されたツール・スイートでプログラムエラーを最小化
『SPARK Pro』は、形式検証可能なAda 2012サブセットの言語を使用し、ソフトウェア検証に数学ベースの信頼性をもたらすツールセットです。 当製品を使用して、ソフトウェア・アーキテクチャ要件を形式的に定義、自動検証。 実行時エラーを削減し、セーフティ・プロパティまたはセキュリティ・ポリシーの適用、機能の正確性 （形式的に定義された仕様への準拠） などの幅広いソフトウェア整合性に対するプロパティを保証する事ができます。 【機能】 ■データフロー解析 ■インフォメーションフロー解析 ■実行時例外の検出 ■プロパティチェック ■レベル別検証 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
Coverage Validator、Memory Validatorなど！7種類のライセンスを提供
『Software-Verify』は、ソフトウェア開発者がコードの品質を 向上させるのに役立つツールのレンジを提供します。 コードカバレッジを測定するのに役立つツールの「Coverage Validator」や メモリリークやその他のメモリ関連の問題を検出して修正するのに役立つ ツールの「Memory Validator」などをラインアップ。 ご用命の際は、お気軽にお問い合わせください。 【ラインアップ(一部)】 ■Coverage Validator ■Memory Validator ■Performance Validator ■Thread Validator ■Developer Suite ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。
最先端の回避技術を駆使し、Brute Ratel C4が導く新たなセキュリティ検証
Brute Ratel C4は、レッドチーム運用と攻撃者シミュレーション向けに設計された高度なコマンド＆コントロール（C2）フレームワークです。ステルス性の高い運用を可能にし、検知メカニズムを回避し、高度な脅威シナリオをシミュレートするための多様なツールを運用者に提供する包括的な機能を備えています。 Brute Ratel C4が最先端の回避技術を駆使し、新たなセキュリティ検証を提供します。 【主な機能】 ■高度なEDRバイパス機能により、最新のセキュリティ対策をすり抜けることが可能 ■カスタマイズ可能なコマンド＆コントロールプロファイルを提供し、独自の通信パターンを確立 ■メモリ内での暗号化実行により、ディスク上のマルウェア検知を回避 ■リアルタイムのシステム監視と詳細なログ収集機能有 ■複数のペイロード生成オプションにより、様々な攻撃シナリオに対応 ※詳しくは関連リンクをご覧いただくか、お気軽にお問い合わせ下さい。
