Skip to content

feat: add fn/fp root-cause analysis skill#1

Open
iskindar wants to merge 7 commits into
masterfrom
codex/dynamic-parallel-lift
Open

feat: add fn/fp root-cause analysis skill#1
iskindar wants to merge 7 commits into
masterfrom
codex/dynamic-parallel-lift

Conversation

@iskindar
Copy link
Copy Markdown
Collaborator

@iskindar iskindar commented May 1, 2026

Summary

  • add a dedicated FN/FP validation and root-cause analysis workflow for runnable artifacts
  • add fixture-backed tests that classify representative FN and FP causes
  • add a repo-local skill document with inputs, output format, and minimal reproduction commands

Validation

  • python3 test/test_fn_fp_root_cause_analysis.py -v
  • python3 -m py_compile runnable/scripts/_fn_fp_root_cause_lib.py runnable/scripts/validate_libcrypto_ground_truth.py runnable/scripts/analyze_fn_fp_root_causes.py
  • python3 runnable/scripts/validate_libcrypto_ground_truth.py --ground-truth-csv test/fixtures/fn_fp_root_cause/ground_truth.csv --ll test/fixtures/fn_fp_root_cause/merged.ll --function-symbols-csv test/fixtures/fn_fp_root_cause/function_symbols.csv --csv-image-base 0x1000 --rebase-base 0x50000000 --summary-out /tmp/fnfp.validation.json
  • python3 runnable/scripts/analyze_fn_fp_root_causes.py --validation-summary /tmp/fnfp.validation.json --ground-truth-csv test/fixtures/fn_fp_root_cause/ground_truth.csv --function-symbols-csv test/fixtures/fn_fp_root_cause/function_symbols.csv --merged-ll test/fixtures/fn_fp_root_cause/merged.ll --shard-results-json test/fixtures/fn_fp_root_cause/shard_results.json --csv-image-base 0x1000 --rebase-base 0x50000000 --summary-out /tmp/fnfp.analysis.json

cl::desc("fast rewriting"),
cl::cat(MainCategory));
cl::opt<unsigned long long> AddrRangeMin("addr-range-min",
cl::desc("Lower bound (inclusive) of the address range"
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

加最大最小范围,是要在lift的时候人工指定范围吗

Comment thread qemu/linux-user/ptc.c
result.disassemble = &ptc_disassemble;
result.do_syscall2 = &ptc_do_syscall2;
result.storeCPUState = &ptc_storeCPUState;
result.dropCPUState = &ptc_dropCPUState;
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

dropCPUState和queueDepth好像没看见llvm里面有调用

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants