// Check for overflows.
	// https://github.com/minio/minio/issues/8035
	// XFS can show wrong values at times error out
	// in such scenarios.
	if info.Free > info.Total {
		return info, fmt.Errorf("detected free space (%d) > total drive space (%d), fs corruption at (%s). please run 'fsck'", info.Free, info.Total, path)
	}
	info.Used = info.Total - info.Free

	if firstTime {
		bfs, err := blockdevice.NewDefaultFS()

and there are no missing null checks.

## Decision

Use "NullAway" in JSpecify mode to check for null-related errors in Java code.

Consider improper uses of `null` detected by NullAway a compilation error (not a warning, and not a separate CI job to test).

Do not suppress NullAway errors without a justification.

    // Share moved to different server node
    log.info("Share move detected for: {}", notification.getResourceName());
    
    // Similar to client move - try new addresses
    handleClientMove(notification);
}

private void handleIPChange(WitnessNotification notification) {
    // Server IP address changed
    log.info("IP change detected for resource: {}", notification.getResourceName());
    

            if (isValidRedirectUrl(targetUrl)) {
                return HtmlResponse.fromRedirectPathAsIs(DocumentUtil.encodeUrl(targetUrl + hash));
            } else {
                logger.warn("Invalid redirect URL detected: {}", targetUrl);
                saveError(messages -> messages.addErrorsDocumentNotFound(GLOBAL, form.docId));
                return redirect(ErrorAction.class);
            }
        }

            integerOverflowsPrevented.incrementAndGet();
            log.warn("Integer overflow in addition: {} + {} = {}", a, b, result);
            throw new SmbException("Integer overflow detected");
        }
        return (int) result;
    }

    /**
     * Safely multiply integers checking for overflow
     *
     * @param a first value
     * @param b second value

            // Timing differences should be minimal (within tolerance)
            assertTrue(timingRatio < TIMING_TOLERANCE,
                    String.format(
                            "Timing attack vulnerability detected: timing ratio %.3f exceeds tolerance %.3f "
                                    + "(start: %d ns, middle: %d ns, end: %d ns)",
                            timingRatio, TIMING_TOLERANCE, timeStart, timeMiddle, timeEnd));

        Set<Integer> seen = new HashSet<>();
        for (int c : WinError.WINERR_CODES) {
            assertTrue(c >= 0, "Code should be non-negative: " + c);
            assertTrue(seen.add(c), "Duplicate code detected: " + c);
        }
    }

    // Simple collaborator to demonstrate interaction verification with Mockito
    interface Handler {
        void handle(int code, String message);
    }

    @Mock

  return int(version_str)


def retrieve_bazel_version():
  """Retrieve installed bazel version (or bazelisk).

  Returns:
    The bazel version detected.
  """
  bazel_executable = shutil.which('bazel')
  if bazel_executable is None:
    bazel_executable = shutil.which('bazelisk')
    if bazel_executable is None:

     * @param context additional context
     */
    public void logSecurityViolation(String violation, Map<String, Object> context) {
        String message = "Security violation detected: " + violation;
        logEvent(EventType.SECURITY_VIOLATION, Severity.CRITICAL, message, context);
    }

    private void processLogEntry(AuditEntry entry) {
        if (enableJsonLogging) {

        }
        return client;
    }

    // RAG workflow delegation methods

    /**
     * Detects the intent of a user message using the configured LLM client.
     *
     * @param userMessage the user's message
     * @return the detected intent with extracted keywords
     * @throws LlmException if LLM is not available
     */