Skip to content

Feat/report generation#51

Merged
Dnreikronos merged 7 commits into
mainfrom
feat/report-generation
Apr 29, 2026
Merged

Feat/report generation#51
Dnreikronos merged 7 commits into
mainfrom
feat/report-generation

Conversation

@Dnreikronos
Copy link
Copy Markdown
Owner

No description provided.

Add start_line/end_line fields to Prediction and propagate them from
SA findings, IR functions, taint analysis, and symbolic verification.
LLM-only predictions get None.
Store the contest directory path so downstream report renderers can
load source files for code snippet extraction.
Prepare for the report module: add AnalysisError::Report for
report-generation failures, make detector_group pub(crate) so the
stats module can reuse engine grouping logic.
New src/report/ module with:
- stats.rs: compute summary (by severity, type, engine)
- json.rs: structured JSON report with metadata and summary
- html.rs: dark-themed dashboard with severity cards, engine/type
  tables, finding cards with confidence bars and code snippets
- mod.rs: OutputFormat enum (Legacy/Json/Html) and write_report
  dispatcher
Add --output-format flag (legacy|json|html) defaulting to legacy.
Replace write_results with report::write_report dispatcher.
Values between 1.0 and 1.5 were incorrectly treated as 0-1 range
instead of being rescaled from the 0-10 range.
@Dnreikronos Dnreikronos merged commit ed85907 into main Apr 29, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant