Jan Johannsen

44 papers A* 6A 6B 3Journal 24Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Mia Müßig, Jan Johannsen
2020 J jnl
J. Satisf. Boolean Model. Comput.
Jan Johannsen
2020 A conf
SAT
Marc Vinyals, Jan Elffers, Jan Johannsen, Jakob Nordström
2016 J jnl
J. Satisf. Boolean Model. Comput.
Sam Buss, Jan Johannsen
2016 A conf
SAT
Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordström, Marc Vinyals
2014 J jnl
J. Artif. Intell. Res.
Maria Luisa Bonet, Sam Buss, Jan Johannsen
2013 A conf
SAT
Jan Johannsen
2013 J jnl
Electron. Colloquium Comput. Complex.
Jan Johannsen
2012 J jnl
CoRR
Maria Luisa Bonet, Sam Buss, Jan Johannsen
2011 A* conf
IJCAI
Eli Ben-Sasson, Jan Johannsen
2010 A conf
SAT
Eli Ben-Sasson, Jan Johannsen
2010 J jnl
Electron. Colloquium Comput. Complex.
Eli Ben-Sasson, Jan Johannsen
2009 A conf
SAT
Jan Johannsen
2008 B conf
FoSSaCS
Hermann Gruber, Jan Johannsen
2008 J jnl
CoRR
Samuel R. Buss, Jan Hoffmann, Jan Johannsen
2008 J jnl
Log. Methods Comput. Sci.
Samuel R. Buss, Jan Hoffmann, Jan Johannsen
2007 J jnl
Theory Comput.
Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart
2005 J jnl
ACM Trans. Comput. Log.
Klaus Aehlig, Jan Johannsen
2005 J jnl
Math. Log. Q.
Arnold Beckmann, Jan Johannsen
2005 conf
BMC@CAV
Markus Jehle, Jan Johannsen, Martin Lange, Nicolas Rachinsky
2005 J jnl
J. Autom. Reason.
Jan Johannsen
2004 A conf
STACS
Jan Johannsen
2003 A* conf
ICALP
Jan Johannsen, Martin Lange
2002 J jnl
CoRR
Klaus Aehlig, Jan Johannsen
2002 B conf
MFCS
Jan Johannsen, N. S. Narayanaswamy
2002 A* conf
STOC
Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart
2001 J jnl
Electron. Colloquium Comput. Complex.
Michael Alekhnovich, Jan Johannsen, Toniann Pitassi, Alasdair Urquhart
2001 J jnl
RAIRO Theor. Informatics Appl.
Jan Johannsen
2001 conf
Proof Theory in Computer Science
Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg, Sebastiaan Terwijn
2000 J jnl
Math. Log. Q.
Wolfgang Degen, Jan Johannsen
2000 J jnl
SIAM J. Comput.
Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen
1999 A* conf
LICS
Jan Johannsen
1998 J jnl
Math. Log. Q.
Jan Johannsen
1998 J jnl
Math. Log. Q.
Jan Johannsen
1998 J jnl
Electron. Colloquium Comput. Complex.
Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen
1998 A* conf
FOCS
Maria Luisa Bonet, Juan Luis Esteban, Nicola Galesi, Jan Johannsen
1998 J jnl
Inf. Process. Lett.
Jan Johannsen
1998 A* conf
LICS
Jan Johannsen, Chris Pollett
1997 J jnl
Electron. Colloquium Comput. Complex.
Jan Johannsen
1996 conf
Proof Complexity and Feasible Arithmetics
Jan Johannsen
1996
Jan Johannsen
1995 B conf
CSL
Jan Johannsen
1994 J jnl
Arch. Math. Log.
Jan Johannsen
1993 conf
Kurt Gödel Colloquium
Jan Johannsen
redb/extractors/decompiler/_archive/DecompileGhidra-old.py
← Index redb/extractors/decompiler/_archive/DecompileGhidra-old.py python
from hashlib import sha256
import inspect
from pathlib import Path
import subprocess
import json
import subprocess
import json
import os
import tempfile
import uuid
import shutil
import time

from dotenv import load_dotenv

from redb.extractors.enum import Tag
from redb.models.dataclasses import Decompiled
from redb.extractors.extractor import Extractor


class DecompileGhidra(Extractor):
    def __init__(
        self,
        filepath,
        log,
        index_prefix=None,
        elastic_index=None,
        known_benign=False,
        known_malicious=False,
    ):
        super().__init__(
            filepath, log, index_prefix, elastic_index, known_benign, known_malicious
        )
        self.log.debug(inspect.currentframe().f_code.co_name)
        self.elastic_index = self.index_prefix + "-ghidra"
        self.ghidra_path = "/opt/ghidra"
        self.java_script_path = (
            self.ghidra_path
            + "/Ghidra/Features/Base/ghidra_scripts/GhidraDecompilerScript.java"
        )
        self.decompiled = None
        load_dotenv()
        self.decompiled_folder = os.getenv("DECOMPILED_FOLDER", "/opt/decompiled")
        self.log.debug(f"Decompiled folder: {self.decompiled_folder}")

    def run_command(self, cmd, env=None):
        try:
            self.log.info(f"Starting command: {' '.join(cmd)}")
            start_time = time.time()
            TIMEOUT = 1200  # 20 minutes in seconds
            process = subprocess.Popen(
                cmd, env=env, stdout=subprocess.PIPE, stderr=subprocess.PIPE, text=True
            )

            while True:
                output = process.stdout.readline()
                if output:
                    print(output.strip())
                if process.poll() is not None:
                    break
            try:
                stdout, stderr = process.communicate(timeout=TIMEOUT)
            except subprocess.TimeoutExpired:
                process.kill()
                self.log.error(f"Ghidra timed out after {TIMEOUT} seconds")
                # raise subprocess.TimeoutExpired(process.args, TIMEOUT)
                return None
            end_time = time.time()

            self.log.debug(
                f"Command finished. Execution time: {end_time - start_time:.2f} seconds"
            )
            self.log.debug(f"Return code: {process.returncode}")

            if process.returncode != 0:
                self.log.error(f"Error output:\n{stderr}")
                return None
            return stdout
        except Exception as e:
            self.log.error(f"Error running command {' '.join(cmd)}: {e}")
            return None

    def analyze_binary(self):
        self.log.debug(f"Ghidra path: {self.ghidra_path}")
        self.log.debug(f"Binary path: {self.filepath}")
        self.log.debug(f"Java script path: {self.java_script_path}")

        # Check if Java script exists
        if not os.path.exists(self.java_script_path):
            self.log.error(f"Error: Java script not found at {self.java_script_path}")
            return None

        # Set up environment variables
        env = os.environ.copy()
        java_home = "/usr/lib/jvm/java-17-openjdk-amd64"  # Adjust this path if needed
        env["JAVA_HOME"] = java_home
        env["PATH"] = f"{java_home}/bin:{env['PATH']}"
        env["LD_LIBRARY_PATH"] = f"{java_home}/lib:{env.get('LD_LIBRARY_PATH', '')}"
        env["DECOMPILED_FOLDER"] = self.decompiled_folder

        # Print environment variables for debugging
        self.log.debug(f"JAVA_HOME: {env['JAVA_HOME']}")
        self.log.debug(f"PATH: {env['PATH']}")
        self.log.debug(f"LD_LIBRARY_PATH: {env['LD_LIBRARY_PATH']}")

        # Check Ghidra installation
        analyzeHeadless_path = f"{self.ghidra_path}/support/analyzeHeadless"
        self.log.debug(
            f"analyzeHeadless exists: {os.path.exists(analyzeHeadless_path)}"
        )

        # Create a temporary project directory
        project_path = tempfile.gettempdir() + "/ghidra_" + str(uuid.uuid4())
        os.makedirs(project_path, exist_ok=True)
        self.log.debug(f"Created temporary project path: {project_path}")
        output_file = ""

        try:
            # Run Ghidra's headless analyzer
            analyze_cmd = [
                analyzeHeadless_path,
                project_path,
                "TempProject",
                "-import",
                self.filepath,
                "-postScript",
                self.java_script_path,
                self.sha256,
                "-deleteProject",
            ]

            result = self.run_command(analyze_cmd, env=env)
            if result is None:
                return None

            # Read the output JSON file
            output_file = os.path.join(
                self.decompiled_folder, self.sha256 + "-decompiled.json"
            )
            if os.path.exists(output_file):
                with open(output_file, "r") as f:
                    functions = json.load(f)
                return functions
            else:
                self.log.error(
                    f"Output file {output_file} not found. Ghidra analysis may have failed."
                )
                return None
        finally:
            # Clean up
            if os.path.exists(project_path):
                shutil.rmtree(project_path)
                self.log.debug(f"Deleted temporary project path: {project_path}")

    def extract(self):
        self.log.debug(inspect.currentframe().f_code.co_name)
        try:
            functions = self.analyze_binary()

            if functions:
                self.log.info(f"Extracted functions from {self.filepath}:")
                for func in functions:
                    id = sha256(func["address"].encode()).hexdigest()
                    self.decompiled = Decompiled(
                        _id=id,
                        decompiled_function_name=func["name"],
                        decompiled_function_address=func["address"],
                        decompiled_function=func["decompiled"],
                    )
                    self.export_to_elastic([self.decompiled])
            else:
                self.log.error("No decompiled functions extracted.")
            return True
        except Exception as e:
            self.log.error(f"Error extracting decompiled information: {e}")
            return None

    def tag(self):
        return Tag.DECOMPILED.value