Vikrant Singhal

27 papers A* 9A 1B 2Misc 1Journal 14
YearRankTypeTitle / Venue / Authors
2026 A conf
ITCS
Clément L. Canonne, Abigail Gentle, Vikrant Singhal
2025 J jnl
CoRR
Roy Rinberg, Ilia Shumailov, Vikrant Singhal, Rachel Cummings, Nicolas Papernot
2025 J jnl
CoRR
Clément L. Canonne, Abigail Gentle, Vikrant Singhal
2024 B conf
ALT
Vikrant Singhal
2024 B conf
ALT
Mark Bun, Gautam Kamath, Argyris Mouzakis, Vikrant Singhal
2024 J jnl
CoRR
Mark Bun, Gautam Kamath, Argyris Mouzakis, Vikrant Singhal
2024 J jnl
CoRR
Jack Fitzsimons, James Honaker, Michael Shoemate, Vikrant Singhal
2023 J jnl
CoRR
Gautam Kamath, Argyris Mouzakis, Matthew Regehr, Vikrant Singhal, Thomas Steinke, Jonathan R. Ullman
2023 J jnl
CoRR
Vikrant Singhal
2023 A* conf
NeurIPS
Shai Ben-David, Alex Bie, Clément L. Canonne, Gautam Kamath, Vikrant Singhal
2023 J jnl
CoRR
Shai Ben-David, Alex Bie, Clément L. Canonne, Gautam Kamath, Vikrant Singhal
2022 A* conf
COLT
Gautam Kamath, Argyris Mouzakis, Vikrant Singhal, Thomas Steinke, Jonathan R. Ullman
2022 A* conf
NeurIPS
Gautam Kamath, Argyris Mouzakis, Vikrant Singhal
2022 J jnl
CoRR
Gautam Kamath, Argyris Mouzakis, Vikrant Singhal
2022 A* conf
NeurIPS
Alex Bie, Gautam Kamath, Vikrant Singhal
2022 J jnl
CoRR
Alex Bie, Gautam Kamath, Vikrant Singhal
2021 J jnl
CoRR
Gautam Kamath, Argyris Mouzakis, Vikrant Singhal, Thomas Steinke, Jonathan R. Ullman
2021 A* conf
NeurIPS
Vikrant Singhal, Thomas Steinke
2021 J jnl
CoRR
Vikrant Singhal, Thomas Steinke
2020 Misc conf
ITA
Gautam Kamath, Or Sheffet, Vikrant Singhal, Jonathan R. Ullman
2020 A* conf
COLT
Gautam Kamath, Vikrant Singhal, Jonathan R. Ullman
2020 J jnl
CoRR
Gautam Kamath, Vikrant Singhal, Jonathan R. Ullman
2019 A* conf
NeurIPS
Gautam Kamath, Or Sheffet, Vikrant Singhal, Jonathan R. Ullman
2019 J jnl
CoRR
Gautam Kamath, Or Sheffet, Vikrant Singhal, Jonathan R. Ullman
2019 A* conf
COLT
Gautam Kamath, Jerry Li, Vikrant Singhal, Jonathan R. Ullman
2018 J jnl
CoRR
Gautam Kamath, Jerry Li, Vikrant Singhal, Jonathan R. Ullman
2016 A* conf
STOC
Ehsan Emamjomeh-Zadeh, David Kempe, Vikrant Singhal
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()