Inbal Livni Navon

19 papers A* 2A 3Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Eitan Bachmat, Inbal Livni Navon
2024 A* conf
SODA
Anirudh Krishna, Inbal Livni Navon, Mary Wootters
2023 conf
FORC
Inbal Livni Navon, Charlotte Peale, Omer Reingold, Judy Hanwen Shen
2023 J jnl
CoRR
Inbal Livni Navon, Charlotte Peale, Omer Reingold, Judy Hanwen Shen
2023 J jnl
Theory Comput.
Irit Dinur, Inbal Livni Navon
2023 A conf
CCC
Lunjia Hu, Inbal Livni Navon, Omer Reingold
2023 J jnl
CoRR
Lunjia Hu, Inbal Livni Navon, Omer Reingold
2022 J jnl
CoRR
Lunjia Hu, Inbal Livni Navon, Omer Reingold, Chutong Yang
2021 J jnl
SIAM J. Comput.
Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, Amnon Ta-Shma
2021 conf
SOSA
Karthik C. S., Inbal Livni Navon
2020 J jnl
CoRR
Karthik C. S., Inbal Livni Navon
2019 A* conf
SODA
Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, Amnon Ta-Shma
2018 J jnl
CoRR
Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, Amnon Ta-Shma
2018 J jnl
Electron. Colloquium Comput. Complex.
Irit Dinur, Prahladh Harsha, Tali Kaufman, Inbal Livni Navon, Amnon Ta-Shma
2017 A conf
ITCS
Amey Bhangale, Irit Dinur, Inbal Livni Navon
2017 A conf
CCC
Irit Dinur, Inbal Livni Navon
2017 J jnl
Electron. Colloquium Comput. Complex.
Irit Dinur, Inbal Livni Navon
2016 J jnl
CoRR
Amey Bhangale, Irit Dinur, Inbal Livni Navon
2016 J jnl
Electron. Colloquium Comput. Complex.
Amey Bhangale, Irit Dinur, Inbal Livni Navon
scripts/setup-and-run.sh
← Index scripts/setup-and-run.sh bash
#!/bin/bash
set -e

# Setup Binary Ninja Python API if available on host (from snapshot)
if [ -d "/opt/binaryninja" ] && [ -f "/opt/binaryninja/scripts/linux-setup.sh" ]; then
    echo "Binary Ninja found on host, setting up Python API..."
    cd /opt
    ./binaryninja/scripts/linux-setup.sh -s || echo "Binary Ninja setup failed"
    
    # Change back to the app directory
    cd /app
    
    # Verify installation
    python3 -c "import binaryninja; print('Binary Ninja Python API ready, version:', binaryninja.core_version())" 2>/dev/null || echo "Binary Ninja Python API not available"
else
    echo "Binary Ninja not found on host - decompilation will be disabled"
fi

# Copy license if available
if [ -f "/opt/binaryninja-license/license.dat" ]; then
    mkdir -p ~/.binaryninja
    cp /opt/binaryninja-license/license.dat ~/.binaryninja/
    echo "Binary Ninja license configured"
fi

# Execute the original command
exec "$@"