Hacker GitHub

← All repos

meta/redex

View on GitHub ↗ ★ 6,316 C++

A bytecode optimizer for Android apps

5 mentions on Hacker News by 3 people: 1 story, 4 comments · first 2016-04-12 · latest 2020-10-28

Mentions per year 5 mentions · busiest year 2016 (2)
20082026
AllStoriesComments NewestTopOldest
  1. …for neural networks: https://github.com/pytorch/glow - ReDex, a bytecode optimizer for Android: https://github.com/facebook/redex There was a nice blog post a few years back called “c++11 is a scripting language” that is unfortunately…
    comment by bertr4nd · 2020-10-28 · in Ask HN: Good C++ code bases to read?
  2. …That said, it's extensively used by the open-source Android bytecode optimizer [Redex]( https://github.com/facebook/redex ), so there's code readily available if you want to do Android bytecode analysis with SPARTA.
    comment by int3 · 2019-02-21 · in Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretation
  3. Signed Constant Domain: https://github.com/facebook/redex/blob/master/service/consta... Constant Array Domain: https://github.com/facebook/redex/blob/master/service/consta... Pointer domain: https://github.com/facebook/redex/blob/master/ser…
    comment by int3 · 2019-02-21 · in Sparta: High-Performance Static Code Analyzers Based on Abstract Interpretation
  4. …back-map, though, you can always turn off the source stripping. We describe how to do that here: https://github.com/facebook/redex/blob/master/docs/Config.md .
    comment by bertr4nd · 2016-04-13 · in Redex: an Android bytecode optimizer developed by Facebook