Ralph Byers

17 papers Journal 16Unranked 1
YearRankTypeTitle / Venue / Authors
2011 J jnl
Autom.
Peter Benner, Ralph Byers, Philip Losse, Volker Mehrmann, Hongguo Xu
2010 J jnl
SIAM J. Matrix Anal. Appl.
Sk. Safique Ahmad, Rafikul Alam, Ralph Byers
2008 J jnl
SIAM J. Matrix Anal. Appl.
Ralph Byers, Hongguo Xu
2006 J jnl
Numerische Mathematik
Peter Benner, Ralph Byers
2006 J jnl
SIAM J. Matrix Anal. Appl.
Ralph Byers, Daniel Kressner
2003 conf
ECC
Ralph Byers, Peter Benner
2002 J jnl
SIAM J. Matrix Anal. Appl.
Peter Benner, Ralph Byers, Volker Mehrmann, Hongguo Xu
2002 J jnl
J. Parallel Distributed Comput.
Peter Benner, Ralph Byers, Rafael Mayo, Enrique S. Quintana-Ortí, Vicente Hernández
2002 J jnl
SIAM J. Matrix Anal. Appl.
Karen Braman, Ralph Byers, Roy Mathias
2002 J jnl
SIAM J. Matrix Anal. Appl.
Karen Braman, Ralph Byers, Roy Mathias
2001 J jnl
Numer. Linear Algebra Appl.
Peter Benner, Ralph Byers
2000 J jnl
ACM Trans. Math. Softw.
Peter Benner, Ralph Byers, Eric Barth
2000 J jnl
Parallel Comput.
Peter Benner, Ralph Byers, Enrique S. Quintana-Ortí, Gregorio Quintana-Ortí
1998 J jnl
IEEE Trans. Autom. Control.
Peter Benner, Ralph Byers
1997 J jnl
SIAM J. Matrix Anal. Appl.
Ralph Byers, Chunyang He, Volker Mehrmann
1993 J jnl
SIAM J. Matrix Anal. Appl.
Angelika Bunse-Gerstner, Ralph Byers, Volker Mehrmann
1992 J jnl
SIAM J. Matrix Anal. Appl.
Angelika Bunse-Gerstner, Ralph Byers, Volker Mehrmann
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()