4 ms·

For a bit more context, see this blogpost we made: https://code.fb.com/open-source/sparta/ https://code.fb.com/open-source/sparta/

• saagarjha 8y ago
  What kinds of domains do you use when you run this on dex files?
  • 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...