path traversal followup

[oetr]

This adds an interface to control the file traversal sanitizer:

• setFilePathTraversalTarget(Supplier<Path>) --- sets the fuzzing target
• NEW setFilePathTraversalAllowPath(Predicate<Path>) --- a user function that allows/denies file path access

Both can be used to confine the sanitizer configuration to a specific part of the fuzz test. As for example here:

try (SilentCloseable unused = BugDetectors.setFilePathTraversalTarget(() -> Paths.get("/root"))) {
    // Perform operations that require file path traversal sanitization
}

[Copilot]

Pull Request Overview

This PR adds an interface to control file path traversal sanitization, allowing users to set both a fuzzing target and a predicate to allow/deny file path access through the BugDetectors API.

Key changes:

• Adds setFilePathTraversalTarget and setFilePathTraversalAllowPath methods to the BugDetectors API
• Refactors the file path traversal sanitizer to use atomic references instead of system properties
• Introduces comprehensive test coverage for the new API

Reviewed Changes

Copilot reviewed 10 out of 10 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
BugDetectors.java	Adds new file path traversal configuration methods and refactors existing network connection logic
FilePathTraversal.java	Complete rewrite replacing system properties with atomic references and improving path handling
FilePathTraversalPass.java	New test file for valid path traversal scenarios
FilePathTraversalCrash.java	New test file for expected crashes and security findings
FilePathTraversalTest.java	Unit tests for path conversion utilities
AbsoluteFilePathTraversal.java	Updated to use new BugDetectors API
FilePathTraversal.java (test)	Simplified test to remove unused parameters
BUILD.bazel files	Updated test configurations and visibility rules

---

_{Tip: Customize your code reviews with copilot-instructions.md. Create the file or learn how to get started.}