SVF

ニュース

• 学習コード分析と検証のための新しいコースソフトウェアセキュリティ分析SVFでの検証のための楽しみと専門知識！
• SVFは、不透明なポインターでLLVM-16.0.0をサポートしています（Xiao Chengが寄与）。
• SVFのCmakeを近代化します（ヨハネスによる寄稿）。
• SVFはLLVM-13.0.0をサポートしています（Shengjie Xuの助けに感謝します！）。
• Opsla Paperで公開されているオブジェクトクラスタリングは、SVFで利用可能になりました
• 私たちのSASペーパーで公開されているハッシュコンサッドポイントツーセットは、SVFで利用可能になりました
• ソフトウェア分析の学習または教育？ svf-teachingをチェックしてください！
• SVFはLLVM-12.0.0をサポートしています（Xiyu Yangに彼女の助けに感謝します！）。
• 私たちのCGOペーパーで公開されているVSFSは、SVFで利用可能になりました
• Ecoop Paperで公開されているTypecloneは、SVFで利用可能になりました
• SVFは、ビルドに単一のスクリプトを使用するようになりました。ターミナルにsource ./build.shを入力するだけです、それだけです！
• SVFはLLVM-10.0.0をサポートしています！
• 中国語でSVF（link1およびlink2）のユーザーマニュアルを作成してくれたBsauceに感謝します
• SVFはLLVM-9.0.0をサポートしています（Byoungyoung Leeの助けに感謝します！）。
• SVFは、一連のフィールドに敏感なポインター分析をサポートするようになりました。
• SVFを独自のプロジェクトの外部LIBとして使用します（Hongxu Chenが寄付）。
• SVFはLLVM-7.0.0をサポートしています。
• SVFはDockerをサポートしています。 Dockerでsvfを試してください！
• SVFはLLVM-6.0.0をサポートしています（Jack Anthonyが貢献）。
• SVFはLLVM-4.0.0をサポートしています（Jared Carlsonが貢献しました。SVFの更新に関する詳細な議論に感謝します！）
• SVFは、C ++プログラムの分析をサポートするようになりました。

ドキュメント

SVFは、LLVMベースの言語向けの静的値フロー分析ツールです。 SVF （CC'16）は実行できます

• AE（要約実行）：クロスドメイン実行（ICSE'24）、Typestate分析（FSE'24）;
• WPA（プログラム全体分析）：フィールドに敏感（SAS'19）、流れに敏感（CGO'21、oopsla'21）分析。
• DDA（需要駆動型分析）：フローに敏感なコンテキストに敏感なポイントから分析（FSE'16、TSE'18）;
• MSSA（メモリSSAフォーム構造）：メモリ領域、副作用、SSAフォーム（JSS'18）;
• SABER（メモリエラーチェック）：メモリリークとダブルフリーズ（ISSTA'12、TSE'14、ICSE'18）;
• MTA（マルチスレッドプログラムの分析）：マルチスレッドプログラムのバリューフロー（CGO'16）;
• CFL（コンテキストフリーリーチビリティ分析）：標準のCFLソルバー、グラフ、および文法（OOPSLA'22、PLDI'23）;
• SVFIRおよびMEMORYMODEL（ SVFIR ）：SVFIR、メモリ抽象化、およびポイントツーデータ構造（SAS'21）;
• グラフ：コールグラフ、ICFG、クラス階層グラフ、制約グラフ、静的分析およびコード埋め込み用の値フローグラフなど、さまざまなグラフを生成します（Oopsla'20、Tosem'21）

オープンソースコミュニティに利益をもたらすことを期待して、SVFソースコードをリリースします。上記の関連する出版物を参照または引用することにより、ツールの使用を認めることを親切に要求されます。

SVFのDoxygenドキュメントはこちらから入手できます。

SVFについて	セットアップガイド	ユーザーガイド	開発者ガイド
SVFの紹介 - それが何をするか、どのように設計するか	SVFを構築するためのステップバイステップセットアップガイド	SVFを実行し、分析出力を取得し、SVFをテストして、例またはPtabenを使用してコマンドラインオプション	詳細な技術文書化とSVFで独自の分析を書くか、SVFをツールのLIBとして、およびSVFのコースとして使用する方法