Introduce bottom store to improve dataflow analysis#167

Open

d367wang wants to merge 27 commits intoopprop:masterfrom d367wang:bottom-store

+257-72

Commits on Apr 1, 2021

initial bottom-store implementation
d367wang
committed

Commits on May 20, 2021

Merge branch 'master' of https://github.com/opprop/checker-framework into bottom-store
d367wang
committed

Commits on Jul 6, 2021

Commits on Aug 4, 2021

Commits on Aug 9, 2021

make bottom-store logic coherent to CFAbstract classes
d367wang
committed

Commits on Aug 27, 2021

Commits on Sep 16, 2021

Commits on Sep 17, 2021

fix bug and refactor
d367wang
committed

Commits on Sep 23, 2021

Commits on Sep 28, 2021