Caroline Lasser

24 papers Journal 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Sebastian Merk, Caroline Lasser
2025 J jnl
CoRR
Malik Scheifinger, Kurt Busch, Marlis Hochbruck, Caroline Lasser
2025 J jnl
J. Comput. Phys.
Malik Scheifinger, Kurt Busch, Marlis Hochbruck, Caroline Lasser
2024 J jnl
CoRR
Michael Feischl, Caroline Lasser, Christian Lubich, Jörg Nick
2024 J jnl
CoRR
Fabian Kröninger, Caroline Lasser, Jirí Vanícek
2023 J jnl
CoRR
Selina Burkhard, Benjamin Dörich, Marlis Hochbruck, Caroline Lasser
2022 J jnl
Numerische Mathematik
Paul Bergold, Caroline Lasser
2022 J jnl
CoRR
Fabian Kröninger, Caroline Lasser, Jirí Vanícek
2021 J jnl
CoRR
Paul Bergold, Caroline Lasser
2021 J jnl
CoRR
Caroline Lasser, Chunmei Su
2020 J jnl
Acta Numer.
Caroline Lasser, Christian Lubich
2020 J jnl
CoRR
Caroline Lasser, Christian Lubich
2020 J jnl
CoRR
Paul Bergold, Caroline Lasser
2019 J jnl
SIAM J. Sci. Comput.
Katharina Kormann, Caroline Lasser, Anna Yurova
2017 J jnl
Numerische Mathematik
Caroline Lasser, David Sattlegger
2017 J jnl
SIAM J. Matrix Anal. Appl.
George A. Hagedorn, Caroline Lasser
2016 J jnl
SIAM J. Math. Anal.
Johannes Keller, Caroline Lasser, Tomoki Ohsawa
2013 J jnl
SIAM J. Appl. Math.
Johannes Keller, Caroline Lasser
2011 book
Oliver Deiser, Caroline Lasser, Elmar Vogt, Dirk Werner
2010 J jnl
SIAM J. Sci. Comput.
Caroline Lasser, Susanna Röblitz
2009 J jnl
J. Comput. Phys.
Susanna Kube, Caroline Lasser, Marcus Weber
2009 J jnl
Asymptot. Anal.
Setsuro Fujiié, Caroline Lasser, Laurence Nédélec
2008 J jnl
SIAM J. Math. Anal.
Clotilde Fermanian Kammerer, Caroline Lasser
2003 J jnl
Math. Comput.
Caroline Lasser, Andrea Toselli
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()