mirror of
https://github.com/elicpeter/nyx.git
synced 2026-06-09 19:45:13 +02:00
58f1794a4e
* feat: Enhance data exfiltration detection with source sensitivity gating for cookies and headers * feat: Implement cross-file data exfiltration detection with parameter-specific gate filters * feat: Add calibration tests and refine DATA_EXFIL severity scoring logic * feat: Introduce per-detector configuration for data exfiltration suppression * feat: Enhance DATA_EXFIL findings with destination field tracking in diagnostics and SARIF output * feat: Add tainted body and URL handling for data exfiltration detection * feat: Add integration tests and fixtures for DATA_EXFIL and SSRF detection in Go * feat: Add Java integration tests and fixtures for DATA_EXFIL detection across multiple HTTP clients * feat: Add synthetic externals handling for closure-captured variables in SSA * feat: Implement closure-based suppression for resource leak findings * feat: Add regression guards for shell-injection and taint propagation in for-of destructure patterns * feat: Implement constructor cap narrowing for data exfiltration detection in HTTP request builders * feat: Add gated sinks for data exfiltration detection in C and C++ using curl_easy_setopt * feat: Implement DATA_EXFIL cap parity for backwards analysis and add integration tests * feat: Add data exfiltration sinks for various languages and enhance documentation * refactor: Simplify formatting and improve readability in various files * refactor: Improve readability by simplifying conditional statements and adding clippy linting * docs: Update CHANGELOG and comments for data exfiltration features and configuration * docs: Clarify configuration instructions for data exfiltration trusted destinations * docs: Enhance comments for evidence routing logic in data exfiltration
19 lines
859 B
JavaScript
19 lines
859 B
JavaScript
// DATA_EXFIL type-suppression fixture: a Sensitive cookie source coerced
|
|
// to an integer via `parseInt(...)` is NOT a credential payload; the
|
|
// resulting numeric body cannot encode a session token, header secret, or
|
|
// other exfiltratable material. The type-aware sink suppression in
|
|
// `is_type_safe_for_sink` (see `src/ssa/type_facts.rs`) recognises the
|
|
// proven-`Int` SSA value at the gate and silences the cap.
|
|
//
|
|
// Negative regression: without DATA_EXFIL in the type-suppressible mask
|
|
// this would over-fire on every `fetch({ body: parseInt(req.cookies.x) })`
|
|
// pattern (e.g. analytics ingestion of session counters).
|
|
//
|
|
// Driven by `fetch_data_exfil_integration_tests.rs`.
|
|
function reportSessionCount(req) {
|
|
var count = parseInt(req.cookies.session_count, 10);
|
|
fetch('/metrics', {
|
|
method: 'POST',
|
|
body: count,
|
|
});
|
|
}
|