Hajime Tanaka

28 papers Journal 28
YearRankTypeTitle / Venue / Authors
2025 J jnl
Eur. J. Comb.
Hajime Tanaka, Norihide Tokushige
2024 J jnl
ACM Trans. Quantum Comput.
Pedro H. G. Lugão, Renato Portugal, Mohamed Sabri, Hajime Tanaka
2024 J jnl
ACM Trans. Graph.
Jiawei Huang, Akito Iizuka, Hajime Tanaka, Taku Komura, Yoshifumi Kitamura
2024 J jnl
CoRR
Jiawei Huang, Hajime Tanaka, Taku Komura, Yoshifumi Kitamura
2024 J jnl
Electron. J. Graph Theory Appl.
Eiichi Bannai, Etsuko Bannai, Chin-Yen Lee, Hajime Tanaka, Wei-Hsuan Yu
2023 J jnl
CoRR
Jiawei Huang, Akito Iizuka, Hajime Tanaka, Taku Komura, Yoshifumi Kitamura
2022 J jnl
CoRR
Pedro H. G. Lugão, Renato Portugal, Mohamed Sabri, Hajime Tanaka
2022 J jnl
Quantum Inf. Process.
Hajime Tanaka, Mohamed Sabri, Renato Portugal
2022 J jnl
Ars Math. Contemp.
Eiichi Bannai, Etsuko Bannai, Hajime Tanaka, Yan Zhu
2021 J jnl
CoRR
Hajime Tanaka, Mohamed Sabri, Renato Portugal
2021 J jnl
CoRR
Hajime Tanaka, Mohamed Sabri, Renato Portugal
2020 J jnl
Electron. J. Comb.
Hajime Tanaka, Tao Wang
2019 J jnl
Comb.
Ferdinand Ihringer, Hajime Tanaka
2018 J jnl
Des. Codes Cryptogr.
John Vincent S. Morales, Hajime Tanaka
2017 J jnl
Math. Program.
Sho Suda, Hajime Tanaka, Norihide Tokushige
2017 J jnl
Graphs Comb.
Eiichi Bannai, Etsuko Bannai, Hajime Tanaka, Yan Zhu
2016 J jnl
Discret. Math. Theor. Comput. Sci.
Jacobus H. Koolen, Woo-Sun Lee, William J. Martin, Hajime Tanaka
2015 J jnl
Electron. J. Comb.
Eiichi Bannai, Etsuko Bannai, Sho Suda, Hajime Tanaka
2013 J jnl
Contributions Discret. Math.
Hajime Tanaka
2012 J jnl
Comb.
Hajime Tanaka
2011 J jnl
Eur. J. Comb.
Hajime Tanaka, Rie Tanaka
2011 J jnl
Electron. J. Comb.
Hajime Tanaka
2009 J jnl
Eur. J. Comb.
William J. Martin, Hajime Tanaka
2009 J jnl
Discret. Math.
Eiichi Bannai, Osamu Shimabukuro, Hajime Tanaka
2006 J jnl
J. Comb. Theory A
Hajime Tanaka
2006 J jnl
J. Comb. Theory A
Dion Gijswijt, Alexander Schrijver, Hajime Tanaka
2004 J jnl
Eur. J. Comb.
Eiichi Bannai, Osamu Shimabukuro, Hajime Tanaka
2002 J jnl
Eur. J. Comb.
Hajime Tanaka
redb/extractors/decompiler/bninja/run.py
← Index redb/extractors/decompiler/bninja/run.py python
import argparse
import json

from decompiler import BinaryNinjaDecompiler
from utils.json_encoder import BinaryNinjaEncoder


def run_from_command_line():
    parser = argparse.ArgumentParser(description="Binary Ninja Decompiler")
    parser.add_argument("filepath", help="Path to the binary file to analyze")
    parser.add_argument(
        "--output", "-o", help="Output JSON file path (default: stdout)"
    )
    parser.add_argument(
        "--timeout",
        "-t",
        type=int,
        default=1200,
        help="Analysis timeout in seconds (default: 1200)",
    )
    args = parser.parse_args()

    with BinaryNinjaDecompiler(args.filepath, args.timeout) as decompiler:
        success = decompiler.extract()

        if not success:
            decompiler.log.error("Analysis failed")
            return 1

        # Output results
        if args.output:
            with open(args.output, "w") as f:
                json.dump(decompiler.analysis_results, f, cls=BinaryNinjaEncoder)
            decompiler.log.info(f"Results written to {args.output}")
        else:
            print(json.dumps(decompiler.analysis_results, cls=BinaryNinjaEncoder))

    return 0


if __name__ == "__main__":
    run_from_command_line()