Rainer Sprengel

13 papers C 1Misc 1Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2001 J jnl
IEEE Trans. Medical Imaging
Karl Rohr, H. Siegfried Stiehl, Rainer Sprengel, Thorsten M. Buzug, Jürgen Weese, M. H. Kuhn
1998 conf
DAGM-Symposium
Mike Fornefett, Karl Rohr, Rainer Sprengel, H. Siegfried Stiehl
1996 conf
DAGM-Symposium
Lutz Binder, Karl Rohr, Rainer Sprengel, H. Siegfried Stiehl
1996
Rainer Sprengel
1996 conf
Bildverarbeitung für die Medizin
Karl Rohr, H. Siegfried Stiehl, Rainer Sprengel, Wolfgang Beil, Thorsten M. Buzug, Jürgen Weese, M. H. Kuhn
1996 conf
VBC
Karl Rohr, H. Siegfried Stiehl, Rainer Sprengel, Wolfgang Beil, Thorsten M. Buzug, Jürgen Weese, M. H. Kuhn
1994 conf
Theoretical Foundations of Computer Vision
Christoph Schnörr, Rainer Sprengel, Bernd Neumann
1994 J jnl
Biol. Cybern.
Christoph Schnörr, Rainer Sprengel
1993 conf
DAGM-Symposium
Rainer Sprengel, Christoph Schnörr
1992 Misc conf
MVA
Joachim M. Gloger, Boris Pasternak, Rainer Sprengel, G. Gabrielides, Nailja Luth, M. Timmermann
1992 conf
DAGM-Symposium
Boris Pasternak, Rainer Sprengel
1992 C conf
IEA/AIE
Boris Pasternak, G. Gabrielides, Rainer Sprengel
1988 conf
DAGM-Symposium
Rainer Sprengel, Leonie S. Dreschler-Fischer
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()