WIP: Add triaging tools for DR traces (use-def chains + leak root cause analysis)#143

Open

AlviseDeFaveri wants to merge 34 commits intomicrosoft:feature-software-testingfrom

AlviseDeFaveri:feature/triaging

Commits on Jun 24, 2025

cfz: [feat] initial, very rough implementation
OleksiiOleksenko
committed
cfz/pub_gen: [fix] restore terminal after AFL++ output
OleksiiOleksenko
committed
cfz: [fix] add missing invocation interface
OleksiiOleksenko
committed
cfz/trace: [fix] tracer should not terminate on target errors
OleksiiOleksenko
committed
cfz/log: [feat] add a progress bar to the tracing stage
OleksiiOleksenko
committed
cfz/report: [refact] store trace source in the Trace class
OleksiiOleksenko
committed
cfz/config: [fix] conctract clauses were not set from the YAML config
OleksiiOleksenko
committed
cfz/config: [feat] add force_overwrite and archive_dir options
OleksiiOleksenko
committed
cfz/report: [feat] add progress bar to analyzer
OleksiiOleksenko
committed
cfz/cli: [feat] add interface to run all three stages together
OleksiiOleksenko
committed
cfz/config: [fix] singletone flag set incorrectly, rendering ineffective
OleksiiOleksenko
committed
cfz/test: [feat] add unit tests for configuration manager
OleksiiOleksenko
committed
cfz/conf: [fix] working_dir requirement was not enforced
OleksiiOleksenko
committed
cfz/test: [feat] style and type checks
OleksiiOleksenko
committed
cfz/test: [feat] include cfz branch into github CI
OleksiiOleksenko
committed
cfz/log: [feat] add a logging module to the fuzzer
OleksiiOleksenko
committed
cfz/trace: [feat] add a determinism check before starting tracing
OleksiiOleksenko
committed
cfz/report: [feat] reporting in a more detailed json format
OleksiiOleksenko
committed
cfz/cli: [feat] add --help-config flag
OleksiiOleksenko
committed
cfz/report: [feat] add ability to control verbosity of the report
OleksiiOleksenko
committed
cfz/conf: [feat] add afl_exec_timeout_ms option
OleksiiOleksenko
committed
cfz/trace: [fix] terminate on failed execution during nondeterminism check
OleksiiOleksenko
committed
cfz/report: [feat] enable allow-listing known bugs
OleksiiOleksenko
committed
cfz/report: [feat] record campaign coverage
OleksiiOleksenko
committed
cfz/config: [fix] CI fail when llvm not installed
OleksiiOleksenko
committed
cfz/*: [feat] port to new DR backend

AlviseDeFaveri
authored and
OleksiiOleksenko
committed
cfz/*: [refact] use tqdm

AlviseDeFaveri
authored and
OleksiiOleksenko
committed
cfz/*: [fix] size of file names must be the same

AlviseDeFaveri
authored and
OleksiiOleksenko
committed
cfz/config: [fix] coverage option was never set
OleksiiOleksenko
committed
cfz: [refact] minor style changes
OleksiiOleksenko
committed

Commits on Jun 27, 2025

cfz: [feat] generate public and private inputs together
OleksiiOleksenko
committed

Commits on Jul 18, 2025