Home

CoreTrace Runtime Analyzer

Minimal execution and collection tool for CoreTrace-instrumented binaries.

runtime-analyzer uses coretrace-compiler in library mode: it builds an instrumented binary from forwarded compiler arguments, executes it, captures stdout and stderr, and prints a small runtime event summary.

runtime-analyzer -o ./app -- --ct-modules=trace,alloc,bounds main.c

Status: early prototype. The collection is intentionally basic — it counts CoreTrace log lines by pattern rather than parsing a structured event stream. Read What It Does Not Do before relying on the numbers.

Pages

Page	Contents
CLI Reference	Options, the -- boundary, batch mode
Event Collection	What each counter counts, and how lines are classified
Proof Scripts	The Python runners: full sweep, F4 and F11
Public API	Using it as a C++ library
What It Does Not Do	Honest limits of the current prototype

How it fits

compiler args  ──►  coretrace-compiler (library mode, instrument=true)
                         │
                         ▼
                 instrumented binary
                         │
                         ▼  executed, stdout/stderr captured
                 CoreTrace log lines
                         │
                         ▼  classified by pattern
                 CollectionSummary

Instrumentation is enabled through compilerlib::compile(..., instrument=true), so --instrument after -- is optional and ignored if present.