Issues

• Link: alternatives still share their §m equivalence

  CodeLaser/maddi-mod#87 · Filter by author bnaudts opened on Oct 29, 2026

• Link: a summary's two-level field read loses a level at the call site

  CodeLaser/maddi-mod#86 · Filter by author bnaudts opened on Oct 29, 2026

• Nullability: a demand overruled by a null-tolerant analysed override (Joiner's useForNull)

  CodeLaser/maddi-mod#85 · Filter by author bnaudts opened on Oct 29, 2026

• @UnmodifiableView at a call trusts an overridable callee's own body

  CodeLaser/maddi-mod#84 · Filter by author bnaudts opened on Oct 29, 2026

• Writes in unreachable private methods count as modifications after construction

  enhancement
  CodeLaser/maddi-mod#83 · Filter by author bnaudts opened on Oct 29, 2026

• Parallel analysis: verdicts around cycles depend on thread order

  CodeLaser/maddi-mod#82 · Filter by author bnaudts opened on Oct 29, 2026
  1

• Type-argument substitution removes hidden content that comes from extensibility

  bugengine:analyzer
  CodeLaser/maddi-mod#81 · Filter by author bnaudts opened on Oct 28, 2026

• Modification through a call result that is a field of the receiver (≺) does not reach the receiver

  CodeLaser/maddi-mod#80 · Filter by author bnaudts opened on Oct 28, 2026
  2

• Link: loop-filled arrays: a body-incremented index reads as its initial constant; a returned array filled from get(i) exports nothing

  CodeLaser/maddi-mod#79 · Filter by author bnaudts opened on Oct 28, 2026
  1

• Compute @UtilityClass, @Singleton and @ExtensionClass

  enhancement
  CodeLaser/maddi-mod#78 · Filter by author bnaudts opened on Oct 28, 2026

• Link: a store into a field or array slot reassigns the variables read from it

  CodeLaser/maddi-mod#77 · Filter by author bnaudts opened on Oct 27, 2026
  3

• MODREACH costs 2.4×: three full re-derivations, not the pass

  CodeLaser/maddi-mod#76 · Filter by author bnaudts opened on Oct 27, 2026
  1

• MODREACH: StackOverflowError in projectViewLocal on langchain4j-core, swallowed by the analyzer

  CodeLaser/maddi-mod#75 · Filter by author bnaudts opened on Oct 27, 2026

• Suspect link/modification verdicts on maddi's own small modules (maddi-util, maddi-support, maddi-graph)

  bugengine:link
  CodeLaser/maddi-mod#72 · Filter by author bnaudts opened on Oct 27, 2026
  8

• Runtime modification analysis: a profiler-style agent that observes which calls modify which objects, as a yardstick for the hints and the analyzer

  enhancement
  CodeLaser/maddi-mod#70 · Filter by author bnaudts opened on Oct 26, 2026

• Deep NON_MODIFYING_METHOD misses element modification one level beyond #59: a map in a list in a map, values() iterated, a cast Object value

  engine:link
  CodeLaser/maddi-mod#62 · Filter by author bnaudts opened on Oct 24, 2026
  1

• Kotlin nullability: non-null type-parameter bounds should yield to nullable slots reached by the closure

  CodeLaser/maddi-mod#57 · Filter by author bnaudts opened on Oct 22, 2026

• Annotated API gaps: library reads judged modifying by default (commons-collections4, servlet, java.nio, java.sql, java.lang.reflect getters)

  engine:analyzer
  CodeLaser/maddi-mod#56 · Filter by author bnaudts opened on Oct 20, 2026

• Nullability precision: facts from across a call (nacos nullDereference random sample, alpha.16)

  CodeLaser/maddi-mod#48 · Filter by author bnaudts opened on Oct 14, 2026
  7

• libs/guava: regenerate the hints so Guava's own view factories share their source's modification (#40 step 2)

  CodeLaser/maddi-mod#46 · Filter by author bnaudts opened on Oct 14, 2026

• Link engine: a generic type whose methods never return a type parameter loses its §m virtual field, so a mutator through its accessor reads non-modifying

  engine:link
  CodeLaser/maddi-mod#45 · Filter by author bnaudts opened on Oct 14, 2026

• Link engine: a captured local does not reach a summary's links, and an anonymous class's creation site does not link the object to what it captured

  engine:link
  CodeLaser/maddi-mod#43 · Filter by author bnaudts opened on Oct 13, 2026

• @Identity and @Fluent inferred from a single return path

  CodeLaser/maddi-mod#31 · Filter by author bnaudts opened on Oct 12, 2026

• Carry a container's hidden-content modification back to its known elements (the book's useAddNewLine)

  CodeLaser/maddi-mod#26 · Filter by author bnaudts opened on Oct 10, 2026

• langchain4j: read-only collections judged modified — four families (unmodifiable* hint, delegate cycles, iterator().next(), factory-filled fields)

  engine:analyzer
  CodeLaser/maddi-mod#24 · Filter by author bnaudts opened on Oct 10, 2026
  5