Valerie Botta-Genoulaz

34 papers C 3Journal 19Unranked 10
YearRankTypeTitle / Venue / Authors
2025 J jnl
Int. J. Prod. Res.
Yenny Alexandra Paredes-Astudillo, Valerie Botta-Genoulaz, Jairo R. Montoya-Torres, Martha Caro, Jose-Fernando Jimenez
2024 conf
PRO-VE (1)
Gaia Sassone, Taha Arbaoui, Valerie Botta-Genoulaz
2024 conf
PRO-VE (1)
Giulio Mangano, Valerie Botta-Genoulaz, Massimo Rebuglio
2024 J jnl
Int. J. Prod. Res.
Yenny Alexandra Paredes-Astudillo, Valerie Botta-Genoulaz, Jairo R. Montoya-Torres
2023 conf
APMS (4)
Valerie Botta-Genoulaz, Giulio Mangano
2023 conf
SOHOMA
Yenny A. Paredes-Astudillo, Jose-Fernando Jimenez, Jairo R. Montoya-Torres, Valerie Botta-Genoulaz
2022 J jnl
Int. J. Prod. Res.
Minh-Phuoc Doan, Julien Fondrevelle, Valerie Botta-Genoulaz, J. F. Ferreira Ribeiro
2022 J jnl
Algorithms
Yenny Alexandra Paredes-Astudillo, Jairo R. Montoya-Torres, Valerie Botta-Genoulaz
2021 C conf
PRO-VE
Federica Minardi, Valerie Botta-Genoulaz, Giulio Mangano
2021 conf
APMS (3)
Jairo R. Montoya-Torres, Valerie Botta-Genoulaz, Nick Materzok, Þorgeir Páll Gíslason, Sélène Mendiela
2021 conf
APMS (1)
Corentin Le Hesran, Anne-Laure Ladier, Valerie Botta-Genoulaz
2020 J jnl
Int. J. Prod. Res.
Corentin Le Hesran, Aayush Agarwal, Anne-Laure Ladier, Valerie Botta-Genoulaz, Valerie Laforest
2017 J jnl
Comput. Ind.
Ikbal Arab-Mansour, Pierre-Alain Millet, Valerie Botta-Genoulaz
2017 J jnl
Enterp. Inf. Syst.
Sarra Mamoghli, Virginie Goepp, Valerie Botta-Genoulaz
2017 C conf
CoDIT
Imed Kacem, Telmo Reis Cunha, Valerie Botta-Genoulaz
2017 J jnl
Comput. Ind. Eng.
Mourad Makaci, Paul Reaidy, Karine Evrard Samuel, Valerie Botta-Genoulaz, Thibaud Monteiro
2016 C conf
CoDIT
Mohamed Mabrouk, Valerie Botta-Genoulaz
2015 J jnl
Comput. Ind.
Sarra Mamoghli, Virginie Goepp, Valerie Botta-Genoulaz
2014 conf
APMS (2)
Farzad Niakan, Armand Baboli, Thierry Moyaux, Valerie Botta-Genoulaz
2014 J jnl
Comput. Ind. Eng.
Emilie Chardine-Baumann, Valerie Botta-Genoulaz
2014 conf
IEEM
Farzad Niakan, Armand Baboli, Thierry Moyaux, Valerie Botta-Genoulaz
2011 J jnl
Int. J. Bus. Inf. Syst.
Sarra Mamoghli, Virginie Goepp, Valerie Botta-Genoulaz
2011 J jnl
Int. J. Comput. Integr. Manuf.
Omar Sakka, Pierre-Alain Millet, Valerie Botta-Genoulaz
2010 conf
OTM Workshops
Artturi Nurmi, Thierry Moyaux, Valerie Botta-Genoulaz
2009 J jnl
CoRR
Omar Sakka, Valerie Botta-Genoulaz, Lorraine Trilling
2009 J jnl
Enterp. Inf. Syst.
Pierre-Alain Millet, Philipp Schmitt, Valerie Botta-Genoulaz
2007 J jnl
Comput. Ind.
France-Anne Gruat La Forme, Valerie Botta-Genoulaz, Jean-Pierre Campagne
2005 J jnl
Comput. Ind.
Valerie Botta-Genoulaz, Pierre-Alain Millet
2005 J jnl
Comput. Ind.
Valerie Botta-Genoulaz, Pierre-Alain Millet, Bernard Grabot
2005 book
Valerie Botta-Genoulaz
2005 J jnl
Comput. Ind.
Bernard Grabot, Valerie Botta-Genoulaz
2004 conf
SMC (5)
Anthony Valla, Valerie Botta-Genoulaz, Alain Guinet
1997 J jnl
J. Intell. Manuf.
Valerie Botta-Genoulaz, Alain Guinet, D. Boulle
1996
Valerie Botta-Genoulaz
redb/extractors/decompiler/_archive/GhidraDecompilerScript-latest.java
← Index redb/extractors/decompiler/_archive/GhidraDecompilerScript-latest.java java
import ghidra.app.script.GhidraScript;
import ghidra.program.model.listing.*;
import ghidra.app.decompiler.*;
import ghidra.program.model.block.*;
import ghidra.program.model.symbol.*;
import ghidra.program.model.pcode.*;
import ghidra.program.model.address.*;
import org.json.JSONObject;
import org.json.JSONArray;
import java.security.MessageDigest;
import java.nio.charset.StandardCharsets;

public class GhidraDecompilerScript extends GhidraScript {
    private DecompInterface decompInterface;
    private BasicBlockModel basicBlockModel;
    
    @Override
    public void run() throws Exception {
        // Get binary hash and filepath from arguments
        String[] args = getScriptArgs();
        if (args.length < 2) {
            System.err.println("{\"error\": \"Both SHA256 and filepath arguments are required\"}");
            return;
        }
        String sha256 = args[0];
        String filepath = args[1];

        // Initialize analysis components
        setupDecompiler();
        basicBlockModel = new BasicBlockModel(currentProgram);

        // Create the main JSON object for output
        JSONObject output = new JSONObject();
        output.put("sha256", sha256);
        output.put("decompiled", new JSONArray());
        output.put("disassembled", new JSONArray());
        output.put("cfg", new JSONArray());

        // Process all functions
        FunctionIterator functions = currentProgram.getFunctionManager().getFunctions(true);
        for (Function function : functions) {
            processFunction(function, output);
        }

        // Output the final JSON to stdout
        System.out.println(output.toString());
    }

    private void setupDecompiler() {
        decompInterface = new DecompInterface();
        DecompileOptions options = new DecompileOptions();
        decompInterface.setOptions(options);
        decompInterface.openProgram(currentProgram);
    }

    private void processFunction(Function function, JSONObject output) {
        Address entry = function.getEntryPoint();
        String functionName = function.getName();
        String functionAddress = entry.toString();

        // Process decompiled code
        processDecompiledCode(function, output.getJSONArray("decompiled"), 
                            functionName, functionAddress);

        // Process disassembled code
        processDisassembledCode(function, output.getJSONArray("disassembled"), 
                              functionName, functionAddress);

        // Process CFG
        processCFG(function, output.getJSONArray("cfg"), functionAddress);
    }

    private void processDecompiledCode(Function function, JSONArray decompArray, 
                                     String functionName, String functionAddress) {
        DecompileResults results = decompInterface.decompileFunction(function, 30, monitor);
        if (results.decompileCompleted()) {
            String decompiledCode = results.getDecompiledFunction().getC();
            String contentHash = calculateHash(decompiledCode);

            JSONObject functionObj = new JSONObject();
            functionObj.put("decompiled_content_hash", contentHash);
            functionObj.put("decompiled_function_name", functionName);
            functionObj.put("decompiled_function_address", functionAddress);
            functionObj.put("decompiled_function", decompiledCode);
            
            decompArray.put(functionObj);
        }
    }

    private void processDisassembledCode(Function function, JSONArray disasmArray, 
                                       String functionName, String functionAddress) {
        try {
            StringBuilder disassembly = new StringBuilder();
            StringBuilder normalized = new StringBuilder();
            int instructionCount = 0;

            Listing listing = currentProgram.getListing();
            AddressSetView functionBody = function.getBody();
            InstructionIterator instructions = listing.getInstructions(functionBody, true);

            while (instructions.hasNext()) {
                try {
                    Instruction instr = instructions.next();
                    String disasmLine = instr.toString();
                    disassembly.append(disasmLine).append("\n");
                    normalized.append(normalizeInstruction(disasmLine)).append("\n");
                    instructionCount++;
                } catch (Exception e) {
                    System.err.println("Error processing instruction in " + functionName + ": " + e.getMessage());
                }
            }

            String disassembledCode = disassembly.toString();
            String contentHash = calculateHash(disassembledCode);

            JSONObject functionObj = new JSONObject();
            functionObj.put("disassembled_content_hash", contentHash);
            functionObj.put("disassembled_function_name", functionName);
            functionObj.put("disassembled_function_address", functionAddress);
            functionObj.put("disassembled_function", disassembledCode);
            functionObj.put("normalized_disassembly", normalized.toString());
            functionObj.put("instruction_count", instructionCount);

            // Set similarity-related fields to null for now
            functionObj.put("minhash_signature", JSONObject.NULL);
            functionObj.put("opcode_frequency_vector", JSONObject.NULL);
            functionObj.put("api_calls_vector", JSONObject.NULL);
            functionObj.put("instruction_embedding", JSONObject.NULL);

            disasmArray.put(functionObj);
        } catch (Exception e) {
            System.err.println("Error processing disassembly for " + functionName + ": " + e.getMessage());
        }
    }

    private void processCFG(Function function, JSONArray cfgArray, String functionAddress) {
        try {
            CodeBlockIterator blocks = basicBlockModel.getCodeBlocksContaining(
                function.getBody(), monitor);

            while (blocks.hasNext()) {
                CodeBlock block = blocks.next();
                String blockInstructions = getBlockInstructions(block);
                String blockId = calculateHash(blockInstructions);

                JSONObject blockObj = new JSONObject();
                blockObj.put("block_id", blockId);
                blockObj.put("function_address", functionAddress);
                blockObj.put("block_instructions", blockInstructions);

                // Get successor blocks
                CodeBlockReferenceIterator successors = block.getDestinations(monitor);
                JSONArray successorAddresses = new JSONArray();
                while (successors.hasNext()) {
                    CodeBlockReference ref = successors.next();
                    successorAddresses.put(ref.getDestinationAddress().toString());
                }
                blockObj.put("successor_blocks", successorAddresses);

                cfgArray.put(blockObj);
            }
        } catch (Exception e) {
            System.err.println("{\"error\": \"Error processing CFG: " + 
                             e.getMessage().replace("\"", "'") + "\"}");
        }
    }

    private String normalizeInstruction(String instruction) {
        return instruction.replaceAll("0x[0-9a-fA-F]+", "IMM")
                        .replaceAll("\\b\\d+\\b", "NUM");
    }

    private String getBlockInstructions(CodeBlock block) {
        StringBuilder instructions = new StringBuilder();
        AddressIterator addresses = block.getAddresses(true);
        while (addresses.hasNext()) {
            Address addr = addresses.next();
            Instruction instr = currentProgram.getListing().getInstructionAt(addr);
            if (instr != null) {
                instructions.append(instr.toString()).append("\n");
            }
        }
        return instructions.toString();
    }

    private String calculateHash(String content) {
        try {
            MessageDigest digest = MessageDigest.getInstance("SHA-256");
            byte[] hash = digest.digest(content.getBytes(StandardCharsets.UTF_8));
            StringBuilder hexString = new StringBuilder();
            for (byte b : hash) {
                hexString.append(String.format("%02x", b));
            }
            return hexString.toString();
        } catch (Exception e) {
            System.err.println("{\"error\": \"Error calculating hash\"}");
            return "";
        }
    }
}