Or Levi

19 papers A* 1A 2Journal 11Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Or Bachar, Or Levi, Sardhendu Mishra, Adi Levi, Manpreet Singh Minhas, Justin Miller, Omer Ben-Porat, Eilon Sheetrit, Jonathan Morra
2025 conf
ICCVW
Adi Levi, Or Levi, Sardhendu Mishra, Jonathan Morra
2025 J jnl
CoRR
Adi Levi, Or Levi, Sardhendu Mishra, Jonathan Morra
2022 A conf
WSDM
Uriel Singer, Haggai Roitman, Yotam Eshel, Alexander Nus, Ido Guy, Or Levi, Idan Hasson, Eliyahu Kiperwasser
2022 J jnl
IEEE Trans. Commun.
Or Levi, Dan Raphaeli
2021 conf
ICC
Or Levi, Dan Raphaeli
2021 A* conf
SIGIR
Yotam Eshel, Or Levi, Haggai Roitman, Alexander Nus
2021 J jnl
CoRR
Yotam Eshel, Or Levi, Haggai Roitman, Alexander Nus
2021 J jnl
CoRR
Uriel Singer, Haggai Roitman, Yotam Eshel, Alexander Nus, Ido Guy, Or Levi, Idan Hasson, Eliyahu Kiperwasser
2020 J jnl
CoRR
Lily Li, Or Levi, Pedram Hosseini, David A. Broniatowski
2020 conf
MISDOOM
Or Levi, Sardar Hamidian, Pedram Hosseini
2020 J jnl
CoRR
Or Levi, Sardar Hamidian, Pedram Hosseini
2020 J jnl
CoRR
Or Levi, Dan Raphaeli
2019 J jnl
CoRR
Or Levi, Pedram Hosseini, Mona T. Diab, David A. Broniatowski
2019 conf
eCOM@SIGIR
Or Levi
2018 J jnl
IEEE Trans. Commun.
Or Levi, Dan Raphaeli, Yonathan Tate
2018 J jnl
ACM Trans. Inf. Syst.
Or Levi, Ido Guy, Fiana Raiber, Oren Kurland
2017 conf
LEARNER@ICTIR
Or Levi
2016 A conf
CIKM
Or Levi, Fiana Raiber, Oren Kurland, Ido Guy
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()