Usage python3 redefine_symbols.py --ns ABC libXXX.a ABC is your namespace prefix. libXXX.a is the library to analyze. For more details, please see the article.