bytecode analysis: limit resultOrigins analysis (IDEA-127919)
bytecode analysis: using boolean[] instead of Set<Integer>
bytecode analysis: hash based keys
@NotNull
optimization: result origins are boolean[]
optimization: no need to infer null->... if param is @NotNull
optimization: taking into account return type in origins analysis
INVOKEINTERFACE is top in out analysis
optimization: no handling of INVOKEINTERFACE for @NotNull param
optimization: only interesting parameters are leaking
empty methods
explicit entrances into error nodes
merging non-back edges
array for computed
results are shared arrays
shared array for pending actions
optimization: no need for intermediate list
micro optimizations
attempt: fast leaking params
tmp: simple analysis