Valentina Gliozzi

91 papers A* 1A 4B 16C 3Journal 32Unranked 33
YearRankTypeTitle / Venue / Authors
2026 J jnl
J. Log. Comput.
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
2024 J jnl
Cogn. Sci.
Valentina Gliozzi
2024 C conf
ISMIS
Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato
2024 J jnl
J. Log. Comput.
Valentina Gliozzi, Gian Luca Pozzato, Gabriele Tessore, Alberto Valese
2024 B conf
CogSci
Valentina Gliozzi
2023 conf
CILC
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
2022 J jnl
J. Log. Comput.
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022 J jnl
Displays
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
2022 conf
FCR@KI
Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2022 conf
XAI.it@AI*IA
Mario Alviano, Francesco Bartoli, Marco Botta, Roberto Esposito, Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 conf
JOWO
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 J jnl
CoRR
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 J jnl
Artif. Intell.
Laura Giordano, Valentina Gliozzi
2021 J jnl
CoRR
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2021 conf
OVERLAY@GandALF
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020 conf
CILC
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020 J jnl
CoRR
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2020 ch.
Applications and Practices in Ontology Design, Extraction, and Reasoning
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020 J jnl
Fundam. Informaticae
Laura Giordano, Valentina Gliozzi
2020 J jnl
CoRR
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020 conf
XAI.it@AI*IA
Laura Giordano, Valentina Gliozzi, Daniele Theseider Dupré
2019 J jnl
CoRR
Laura Giordano, Valentina Gliozzi
2019 C conf
ECSQARU
Laura Giordano, Valentina Gliozzi
2019 conf
CILC
Laura Giordano, Valentina Gliozzi
2019 B conf
CogSci
Mattia Cerrato, Edoardo Arnaudo, Valentina Gliozzi, Roberto Esposito
2018 J jnl
Cogn. Syst. Res.
Valentina Gliozzi, Matteo Madeddu
2018 conf
PRUV@IJCAR
Laura Giordano, Valentina Gliozzi
2018 J jnl
CoRR
Laura Giordano, Valentina Gliozzi
2018 J jnl
CoRR
Laura Giordano, Valentina Gliozzi
2018 J jnl
CoRR
Valentina Gliozzi, Kim Plunkett
2018 J jnl
Fundam. Informaticae
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2017 B conf
CogSci
Giorgia Fenoglio, Roberto Esposito, Valentina Gliozzi
2017 conf
Description Logics
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
2017 J jnl
Fundam. Informaticae
Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato
2017 conf
ICTCS/CILC
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
2016 J jnl
CoRR
Valentina Gliozzi
2016 conf
AI*IA
Valentina Gliozzi
2015 conf
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015 conf
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015 C conf
ISMIS
Laura Giordano, Valentina Gliozzi
2015 J jnl
Artif. Intell.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014 B conf
CogSci
Valentina Gliozzi
2014 J jnl
J. Log. Comput.
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2014 conf
ICTCS
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014 ed.
CILC
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2014 conf
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014 J jnl
CoRR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 conf
CILC
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 J jnl
Artif. Intell.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 conf
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 J jnl
CoRR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013 conf
AI*IA
Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato
2013 B conf
CogSci
Valentina Gliozzi, Nadja Althaus, Julien Mayor, Kim Plunkett
2012 B conf
JELIA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012 conf
CILC
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012 conf
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 B conf
TABLEAUX
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2011 B conf
TABLEAUX
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 conf
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 J jnl
Intelligenza Artificiale
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2011 conf
CILC
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 A* conf
IJCAI
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011 conf
CILC
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2010 conf
CILC
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2010 conf
LPAR (Yogyakarta)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010 A conf
ECAI
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2010 A conf
ECAI
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010 conf
CILC
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010 conf
CLIMA
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2009 J jnl
Fundam. Informaticae
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
2009 J jnl
ACM Trans. Comput. Log.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009 J jnl
Cogn. Sci.
Valentina Gliozzi, Julien Mayor, Jon-Fan Hu, Kim Plunkett
2009 B conf
LPNMR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009 conf
Description Logics
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009 conf
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009 J jnl
ACM Trans. Comput. Log.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
2008 conf
Il Milione
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2008 B conf
JELIA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007 conf
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007 B conf
TABLEAUX
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2007 B conf
LPAR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006 B conf
JELIA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006 J jnl
CoRR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006 A conf
ECAI
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2005 B conf
LPAR
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2005 J jnl
Artif. Intell.
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2003 B conf
TABLEAUX
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Camilla Schwind
2002 J jnl
Stud Logica
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2001 conf
AI*IA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
2000 A conf
ECAI
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
1998 B conf
JELIA
Laura Giordano, Valentina Gliozzi, Nicola Olivetti
redb/extractors/decompiler/_archive/ghidra-test.py
← Index redb/extractors/decompiler/_archive/ghidra-test.py python
import subprocess
import json
import os
import tempfile
import uuid
import shutil
import sys
import time


def run_command(cmd, env=None):
    try:
        print(f"Starting command: {' '.join(cmd)}")
        start_time = time.time()
        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

        stdout, stderr = process.communicate()
        end_time = time.time()

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

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


def analyze_binary(ghidra_path, binary_path, java_script_path):
    print(f"Ghidra path: {ghidra_path}")
    print(f"Binary path: {binary_path}")
    print(f"Java script path: {java_script_path}")

    # Check if Java script exists
    if not os.path.exists(java_script_path):
        print(f"Error: Java script not found at {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', '')}"

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

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

    print(f"Binary file exists: {os.path.exists(binary_path)}")

    # Check Java
    java_version = run_command(["java", "-version"], env=env)
    print(f"Java version: {java_version}")

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

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

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

        # Read the output JSON file
        output_file = "ghidra_output.json"
        if os.path.exists(output_file):
            with open(output_file, "r") as f:
                functions = json.load(f)
            return functions
        else:
            print(
                f"Output file {output_file} not found. Ghidra analysis may have failed."
            )
            # List files in the current directory
            print("Files in the current directory:")
            print("\n".join(os.listdir(".")))
            return None
    finally:
        # Clean up
        if os.path.exists(output_file):
            os.remove(output_file)
        if os.path.exists(project_path):
            shutil.rmtree(project_path)


# Example usage
if __name__ == "__main__":
    # if len(sys.argv) != 4:
    #     print("Usage: python script.py <ghidra_path> <binary_path> <java_script_path>")
    #     sys.exit(1)

    # ghidra_path = sys.argv[1]
    # binary_path = sys.argv[2]
    # java_script_path = sys.argv[3]

    ghidra_path = "/opt/ghidra"
    binary_path = "/home/p4c0/dev/redb/test_files/hello"
    java_script_path = (
        "/opt/ghidra/Ghidra/Features/Base/ghidra_scripts/GhidraDecompilerScript.java"
    )

    functions = analyze_binary(ghidra_path, binary_path, java_script_path)

    if functions:
        print(f"Extracted functions from {binary_path}:")
        for func in functions:
            print(f"\nFunction: {func['name']}")
            print(f"Address: {func['address']}")
            print(f"Decompiled code:\n{func['decompiled']}")
    else:
        print("Failed to extract functions.")