Skip to content

Confidential checker toString and generics fixes#5

Open
Abhishek1152 wants to merge 1 commit intoiywang2016:iywangfrom
Abhishek1152:confidential-checker-tostring-generics-fix
Open

Confidential checker toString and generics fixes#5
Abhishek1152 wants to merge 1 commit intoiywang2016:iywangfrom
Abhishek1152:confidential-checker-tostring-generics-fix

Conversation

@Abhishek1152
Copy link
Copy Markdown

@Abhishek1152 Abhishek1152 commented Mar 26, 2026

Changes:

  • Changed Object.toString() return type from @confidential to @PolyConfidential in the annotated JDK (typetools/jdk), so the return type follows the receiver's confidentiality. This allowed removing the toString() special-case logic in ConfidentialAnnotatedTypeFactory that was manually handling the return type override.
  • Removed UPPER_BOUND from @NonConfidential default qualifier to support generics with @confidential type arguments.
  • Added test cases for method arguments, hard-coded literals, arithmetic, casting, control flow, and generics behavior.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant