apunkt/nyx
1
0
Fork 0
mirror of https://github.com/elicpeter/nyx.git synced 2026-06-15 20:05:13 +02:00
Code Issues Projects Releases Packages Wiki Activity

feat(surface): make attack surface first-class in the finding pipeline

Browse source
This commit is contained in:
elipeter 2026-06-10 13:01:53 -05:00
parent 1abcdedbfe
commit 792db2b86f
4 changed files with 718 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
tests/dynamic_layering.rs
View file

@ -18,6 +18,7 @@
//! | `src/server/` (any file) | server start_scan verify wiring |
//! | `src/rank.rs` | dynamic-verdict rank scoring |
//! | `src/chain/reverify.rs` | composite chain re-verification |
//! | `src/commands/repro.rs` | `nyx repro` subcommand; `#[cfg(feature="dynamic")]`|
use std::fs;
use std::path::{Path, PathBuf};
@ -34,6 +35,10 @@ const ALLOWED: &[&str] = &[
// Composite chain re-verification is the public bridge between the chain
// composer and the dynamic verifier.
"chain/reverify.rs",
// The `nyx repro` subcommand replays dynamic verification bundles. The
// whole module is `#[cfg(feature = "dynamic")]` in commands/mod.rs, so it
// never compiles into the feature-agnostic static path.
"commands/repro.rs",
// The dynamic module itself is obviously allowed.
"dynamic/",
];