Katarzyna E. Paluch

35 papers A* 4A 2B 6C 2Misc 1Journal 18Unranked 2
YearRankTypeTitle / Venue / Authors
2026 B conf
SOFSEM
Katarzyna E. Paluch, Mateusz Wasylkiewicz
2024 J jnl
CoRR
Katarzyna E. Paluch, Mateusz Wasylkiewicz
2018 Misc conf
COCOON
Pratik Ghosal, Katarzyna E. Paluch
2018 J jnl
Theory Comput. Syst.
Katarzyna E. Paluch
2017 B conf
IPCO
Szymon Dudycz, Jan Marcinkowski, Katarzyna E. Paluch, Bartosz Rybicki
2017 J jnl
CoRR
Pratik Ghosal, Katarzyna E. Paluch
2017 J jnl
CoRR
Szymon Dudycz, Katarzyna E. Paluch
2017 J jnl
CoRR
Pratik Ghosal, Adam Kunysz, Katarzyna E. Paluch
2016 A* conf
SODA
Adam Kunysz, Katarzyna E. Paluch, Pratik Ghosal
2015 J jnl
CoRR
Szymon Dudycz, Jan Marcinkowski, Katarzyna E. Paluch, Bartosz Rybicki
2015 C conf
CTW
Katarzyna E. Paluch
2015 J jnl
CoRR
Pratik Ghosal, Adam Kunysz, Katarzyna E. Paluch
2015 B conf
WAOA
Katarzyna E. Paluch
2014 J jnl
CoRR
Katarzyna E. Paluch
2014 J jnl
Algorithms
Katarzyna E. Paluch
2014 J jnl
CoRR
Katarzyna E. Paluch
2014 J jnl
Theor. Comput. Sci.
Katarzyna E. Paluch
2013 C conf
CIAC
Katarzyna E. Paluch
2012 B conf
ISAAC
Katarzyna E. Paluch
2012 A conf
STACS
Katarzyna E. Paluch, Khaled M. Elbassioni, Anke van Zuylen
2011 B conf
WAOA
Katarzyna E. Paluch
2011 J jnl
CoRR
Katarzyna E. Paluch
2009 conf
APPROX-RANDOM
Katarzyna E. Paluch, Marcin Mucha, Aleksander Madry
2009 J jnl
CoRR
Katarzyna E. Paluch
2008 J jnl
CoRR
Katarzyna E. Paluch, Marcin Mucha, Aleksander Madry
2008 J jnl
Algorithmica
Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail, Katarzyna E. Paluch
2007 J jnl
ACM Trans. Algorithms
Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail, Katarzyna E. Paluch
2006 B conf
ISAAC
Katarzyna E. Paluch
2006 J jnl
ACM Trans. Algorithms
Robert W. Irving, Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail, Katarzyna E. Paluch
2004 A* conf
ICALP
Katarzyna E. Paluch
2004 A* conf
ICALP
Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail, Katarzyna E. Paluch
2004 A* conf
SODA
Robert W. Irving, Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail, Katarzyna E. Paluch
2004 A conf
STACS
Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Michail, Katarzyna E. Paluch
2003 J jnl
Theor. Comput. Sci.
Krzysztof Lorys, Katarzyna E. Paluch
2000 conf
APPROX
Krzysztof Lorys, Katarzyna E. Paluch
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()