動的プログラム解析

機能テストには、単体テスト、統合テスト、システムテストなどの比較的一般的なプログラミング手法が含まれます。^{[ 2 ]}

テストコードカバレッジを計算することで、テストされていないコードを特定できます。

この分析ではテストされていないコードを特定できますが、テスト済みのコードが適切にテストされているかどうかは判断できません。テストで正しい動作が検証されていなくても、コードが実行される場合があります。

• GcovはGNUソースコードカバレッジプログラムです。
• VB Watchは、 Visual Basicプログラムに動的解析コードを挿入し、コードカバレッジ、コールスタック、実行トレース、インスタンス化されたオブジェクト、および変数を監視します。

動的テストとは、一連のテストケースに対してプログラムを実行することです。

• AddressSanitizer ：Linux、 macOS、Windowsなどに対応したメモリエラー検出ツール。LLVMの一部です。
• BoundsChecker：Windowsベースのアプリケーション向けメモリエラー検出ツール。Micro Focus DevPartnerの一部です。
• dmalloc：メモリ割り当てとメモリリークをチェックするためのライブラリ。ソフトウェアは再コンパイルする必要があり、すべてのファイルに特別なCヘッダーファイルdmalloc.hを含める必要があります。
• Intel Inspector ： WindowsおよびLinux上で動作するC、C++、Fortranアプリケーション用の動的メモリエラーデバッガー。
• Purify：主にメモリ破損検出とメモリリーク検出を行います。
• Valgrind：仮想プロセッサ上でプログラムを実行し、マルチスレッドプログラムにおけるメモリエラー（ mallocやfreeの誤用など）や競合状態を検出できます。

Fuzzing is a testing technique that involves executing a program on a wide variety of inputs; often, these inputs are randomly generated (at least in part). Gray-box fuzzers use code coverage to guide input generation.

Dynamic symbolic execution (also known as DSE or concolic execution) involves executing a test program on a concrete input, collecting the path constraints associated with the execution, and using a constraint solver (generally, an SMT solver) to generate new inputs that would cause the program to take a different control-flow path, thus increasing code coverage of the test suite.^[3] DSE can be considered a type of fuzzing ("white-box" fuzzing).

Dynamic data-flow analysis tracks the flow of information from sources to sinks. Forms of dynamic data-flow analysis include dynamic taint analysis and even dynamic symbolic execution.^[4][5]

Daikon is an implementation of dynamic invariant detection. Daikon runs a program, observes the values the program computes, and then reports properties that were true during the observed executions and are thus likely true over all executions.

Dynamic analysis can be used to detect security problems.

• IBM Rational AppScan is a suite of application security solutions targeted for different stages of the development lifecycle. The suite includes two main dynamic analysis products: IBM Rational AppScan Standard Edition and IBM Rational AppScan Enterprise Edition. In addition, the suite includes IBM Rational AppScan Source Edition—a static analysis tool.

• ParasoftJtest uses runtime error detection to expose defects such as race conditions, exceptions, resource and memory leaks, and security attack vulnerabilities.
• Intel Inspector performs run-time threading and memory error analysis in Windows.
• ParasoftInsure++ is a runtime memory analysis and error detection tool. Its Inuse component provides a graphical view of memory allocations over time, with specific visibility of overall heap usage, block allocations, possible outstanding leaks, etc.
• Google's Thread Sanitizer is a data race detection tool. It instruments LLVM IR to capture racy memory accesses.

プログラムの動作の特定部分集合に対して、プログラムスライシングとは、選択した動作を依然として生成する最小限の形式にプログラムを縮小することです。縮小されたプログラムは「スライス」と呼ばれ、指定された動作部分集合の範囲内で元のプログラムを忠実に表現したものです。一般的に、スライスを見つけることは解決不可能な問題ですが、一連の変数の値に基づいて対象となる動作部分集合を指定することで、データフローアルゴリズムを使用して近似スライスを取得することが可能です。これらのスライスは通常、開発者がデバッグ中にエラーの原因を特定するために使用します。

ほとんどのパフォーマンス分析ツールは、動的プログラム分析の手法を使用しています。

DynInstは、動的プログラム解析プローブの開発とコンパイル済み実行ファイルへの適用に役立つランタイムコードパッチライブラリです。DynInstは一般的にソースコードや再コンパイルを必要としませんが、デバッグシンボルが削除されていない実行ファイルやデバッグシンボル付きの実行ファイルの方が計測が容易です。

Iroh.jsは、 JavaScript用のランタイムコード分析ライブラリです。コードの実行パスを追跡し、特定の実行コードパターンを検出するためのランタイムリスナーを提供し、プログラムの実行動作の傍受と操作を可能にします。