Rami Kantor

11 papers Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
J. Comput. Graph. Stat.
Yizhen Xu, Joseph W. Hogan, Michael J. Daniels, Rami Kantor, Ann Mwangi
2025 J jnl
PLoS Comput. Biol.
August Guang, Casey W. Dunn, Vlad Novitsky, Mark Howison, Rami Kantor
2021 J jnl
CoRR
Yizhen Xu, Joseph W. Hogan, Michael J. Daniels, Rami Kantor, Ann Mwangi
2019 J jnl
Bioinform.
Mark Howison, Mia Coetzer, Rami Kantor
2018 J jnl
CoRR
Yizhen Xu, Tao Liu, Michael J. Daniels, Rami Kantor, Ann Mwangi, Joseph W. Hogan
2012 J jnl
Silico Biol.
Austin Huang, Rami Kantor, Allison DeLong, Leeann Schreier, Sorin Istrail
2011 conf
BIBM Workshops
Austin Huang, Rami Kantor, Allison DeLong, Leeann Schreier, Sorin Istrail
2006 J jnl
Bioinform.
Koen Deforche, Tomi Silander, Ricardo Camacho, Zehava Grossman, M. A. Soares, Kristel Van Laethem, Rami Kantor, Yves Moreau, Anne-Mieke Vandamme
2003 Misc conf
AMIA
Mor Peleg, Rami Kantor
2003 J jnl
Nucleic Acids Res.
Soo-Yon Rhee, Matthew J. Gonzales, Rami Kantor, Bradley J. Betts, Jaideep Ravela, Robert W. Shafer
2001 J jnl
Nucleic Acids Res.
Rami Kantor, Rhoderick Machekano, Matthew J. Gonzales, Kathryn Dupnik, Jonathan M. Schapiro, Robert W. Shafer
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()