Jacob Thamsborg

12 papers A* 2A 1B 2Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2016 J jnl
Inf. Comput.
Lars Birkedal, Guilhem Jaber, Filip Sieczkowski, Jacob Thamsborg
2013 A* conf
POPL
Aaron Joseph Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer
2012 B conf
CSL
Lars Birkedal, Filip Sieczkowski, Jacob Thamsborg
2012 J jnl
J. Log. Algebraic Methods Program.
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2012 J jnl
Log. Methods Comput. Sci.
Jacob Thamsborg, Lars Birkedal, Hongseok Yang
2011 A conf
ICFP
Jacob Thamsborg, Lars Birkedal
2011 A* conf
POPL
Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Kristian Støvring, Jacob Thamsborg, Hongseok Yang
2010 J jnl
Math. Struct. Comput. Sci.
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2010 J jnl
Theor. Comput. Sci.
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2009 B conf
FoSSaCS
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2009 conf
TLDI
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
2009 conf
FICS
Lars Birkedal, Kristian Støvring, Jacob Thamsborg
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 "$@"