Issues

• Locals of one name in sibling blocks are equal; consumers keyed on them can mix them up

  bug
  CodeLaser/maddi-mod#123 · Filter by author bnaudts opened on Nov 13, 2026

• Verdicts depend on which of two equal references to a re-owned field the engine holds

  bugengine:link
  CodeLaser/maddi-mod#122 · Filter by author bnaudts opened on Nov 13, 2026
  1

• A lambda's method is reported modifying through a captured variable its enclosing method modifies

  bugengine:analyzer
  CodeLaser/maddi-mod#121 · Filter by author bnaudts opened on Nov 13, 2026

• LinkFactsImpl answers NEW from the absence of links

  CodeLaser/maddi-mod#120 · Filter by author bnaudts opened on Nov 13, 2026

• LinkedTreeMap.put: key INDEPENDENT_HC but value INDEPENDENT, both stored in the same node; iterators over the map's nodes INDEPENDENT

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

• STRICTAFI makes guava independence verdicts vary between runs

  bugengine:link
  CodeLaser/maddi-mod#111 · Filter by author bnaudts opened on Nov 12, 2026

• Codec audit: 4 guava types do not read back, 2 value shapes do not write

  bug
  CodeLaser/maddi-mod#110 · Filter by author bnaudts opened on Nov 12, 2026

• Engine-internal variables ($__sv_, $__rv) reach stored analysis results

  bugengine:link
  CodeLaser/maddi-mod#109 · Filter by author bnaudts opened on Nov 12, 2026

• Iterator next() that returns null past the end comes out non-null (FastFixedSet/FastSparseSet iterators)

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

• No independence verdict for InvocationExprent.match's engine parameter, so IMatchable.match gets no union

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

• Modifying an element two links deep (for (C c : groups.get(k)) c.m()) does not make the owner modifying

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

• fernflower: the certified end state is not reproduced by a recomputation, and differs between runs (recursive groups)

  engine:link
  CodeLaser/maddi-mod#103 · Filter by author bnaudts opened on Nov 10, 2026

• Modification through a call result reached via a collection element (≤) does not reach the receiver (NestedClassProcessor.setLambdaVars)

  CodeLaser/maddi-mod#96 · Filter by author bnaudts opened on Nov 5, 2026

• TestStaticAndSelfFields failed once in a full analyzer suite run (flaky?)

  CodeLaser/maddi-mod#95 · Filter by author bnaudts opened on Nov 5, 2026

• Link: work-ceiling retries without alternatives cost ~6 min on fernflower

  engine:linkenhancement
  CodeLaser/maddi-mod#92 · Filter by author bnaudts opened on Nov 3, 2026
  2

• MODREACH: a round with any downgrade still clears the whole derived family

  CodeLaser/maddi-mod#90 · Filter by author bnaudts opened on Oct 30, 2026 · 0.9.7

• Nullability: a whole object's null reaches values linked only to its contents

  CodeLaser/maddi-mod#88 · Filter by author bnaudts opened on Oct 30, 2026 · 0.9.7

• Link: alternatives still share their §m equivalence

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

• 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 · 0.9.7

• Writes in unreachable private methods count as modifications after construction

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

• Compute @UtilityClass, @Singleton and @ExtensionClass

  enhancement
  CodeLaser/maddi-mod#78 · Filter by author bnaudts opened on Oct 28, 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
  9

• 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
  2

• 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 · 0.9.7