• Lukas Rytz's avatar
    Multiple methods for initializing analysis values · f50e2a1d
    Lukas Rytz authored
    Introduces a number of methods that are called when initializing or
    updating abstract values in an analyzer frame.
    
    Before this commit, Analyzer.analyze and Frame.execute would always
    call Interpreter.newValue for initializing or updating frame values.
    
    Having multiple methods allows users to return more precise values
    for the individual cases. For example, in a nullness analysis, the
    initial value for the `this` parameter of an instance method can be
    set to not-null.
    f50e2a1d
Name
Last commit
Last update
asm/src Loading commit data...
asm-analysis/src Loading commit data...
asm-commons/src Loading commit data...
asm-test/src Loading commit data...
asm-tree/src Loading commit data...
asm-util/src Loading commit data...
asm-xml/src Loading commit data...
benchmarks Loading commit data...
gradle Loading commit data...
tools Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.mailmap Loading commit data...
LICENSE.txt Loading commit data...
build.gradle Loading commit data...
settings.gradle Loading commit data...