Ines Saric-Grgic

12 papers Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
J. Comput. Assist. Learn.
Ani Grubisic, Ines Saric-Grgic, Angelina Gaspar, Branko Zitko
2024 J jnl
User Model. User Adapt. Interact.
Ines Saric-Grgic, Ani Grubisic, Angelina Gaspar
2024 Misc conf
SoftCOM
Mia Muzinic, Antonela Sikavica, Petra Zelic, Ani Grubisic, Ines Saric-Grgic
2024 J jnl
User Model. User Adapt. Interact.
Ines Saric-Grgic, Ani Grubisic, Angelina Gaspar
2023 J jnl
Lang. Resour. Evaluation
Angelina Gaspar, Ani Grubisic, Ines Saric-Grgic
2023 J jnl
J. Univers. Comput. Sci.
Ani Grubisic, Slavomir Stankov, Branko Zitko, Ines Saric-Grgic, Angelina Gaspar, Emil Brajkovic, Daniel Vasic
2021 conf
HCI (31)
Daniel Vasic, Branko Zitko, Ani Grubisic, Slavomir Stankov, Angelina Gaspar, Ines Saric-Grgic, Suzana Tomas, Ivan Peraic, Matea Markic Vucic
2021 J jnl
Appl. Comput. Syst.
Ines Saric-Grgic, Ani Grubisic, Branko Zitko
2020 conf
HCI (34)
Ines Saric-Grgic, Ani Grubisic, Branko Zitko, Slavomir Stankov, Angelina Gaspar, Suzana Tomas, Daniel Vasic
2020 conf
HCI (34)
Ani Grubisic, Slavomir Stankov, Branko Zitko, Ines Saric-Grgic, Angelina Gaspar, Suzana Tomas, Emil Brajkovic, Daniel Vasic
2020 J jnl
Int. J. Distance Educ. Technol.
Ines Saric-Grgic, Ani Grubisic, Ljiljana Seric, Timothy J. Robinson
2019 J jnl
Int. J. Learn. Technol.
Ines Saric-Grgic, Ani Grubisic, Slavomir Stankov, Maja Stula
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()