For a bit more context, see this blogpost we made: https://code.fb.com/open-source/sparta/
Constant Array Domain: https://github.com/facebook/redex/blob/master/service/consta...
Pointer domain: https://github.com/facebook/redex/blob/master/service/escape...
Type domain: https://github.com/facebook/redex/blob/master/libredex/IRTyp...