3 ms·

Signed Constant Domain: https://github.com/facebook/redex/blob/master/service/constant-propagation/SignedConstantDomain.h https://github.com/facebook/redex/blob

by int3 8y ago

Signed Constant Domain: https://github.com/facebook/redex/blob/master/service/constant-propagation/SignedConstantDomain.h https://github.com/facebook/redex/blob/master/service/consta... Constant Array Domain: https://github.com/facebook/redex/blob/master/service/constant-propagation/ConstantArrayDomain.h https://github.com/facebook/redex/blob/master/service/consta... Pointer domain: https://github.com/facebook/redex/blob/master/service/escape-analysis/LocalPointersAnalysis.h#L39 https://github.com/facebook/redex/blob/master/service/escape... Type domain: https://github.com/facebook/redex/blob/master/libredex/IRTypeChecker.h https://github.com/facebook/redex/blob/master/libredex/IRTyp...