Victor Souza

24 papers B 7C 2Misc 1Journal 5Unranked 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
J. Comb. Theory B
Vojtech Dvorák, Adva Mond, Victor Souza
2025 J jnl
Comb.
Lucas Aragão, Jonathan Chapman, Miquel Ortega, Victor Souza
2024 J jnl
Eur. J. Comb.
Victor Souza, Leo Versteegen
2022 B conf
LATIN
José D. Alvarado, Lucas Colucci, Roberto Parente, Victor Souza
2021 J jnl
Eur. J. Comb.
Victor Souza
2021 C conf
LAGOS
Maurício Collares Neto, Yoshiharu Kohayakawa, Taísa Martins, Roberto Parente, Victor Souza
2021 J jnl
J. Comb. Theory A
David Lewis, Victor Souza
2019 conf
ICAR
Victor Souza, Alan F. P. Tavares, Cesar H. C. Quiroz, Paulo Roberto Gardel Kurka
2015 B conf
IM
André L. C. Moreira, Ernani Azevedo, Judith Kelner, Djamel Sadok, Arthur C. Callado, Victor Souza
2015 B conf
IM
André L. C. Moreira, Moisés Rodrigues, Ernani Azevedo, Djamel Sadok, Arthur C. Callado, Victor Souza
2013 B conf
IM
Moisés Rodrigues, André L. C. Moreira, Márcio Neves, Emani Azevedo, Djamel Sadok, Arthur C. Callado, Victor Souza
2013 conf
SpringSim (ANSS)
Moisés Rodrigues, André L. C. Moreira, Ernani Azevedo, Márcio Neves, Djamel Sadok, Arthur C. Callado, Josilene Moreira, Victor Souza
2013 conf
SpringSim (ANSS)
Moisés Rodrigues, André L. C. Moreira, Márcio Neves, Ernani Azevedo, Djamel Sadok, Arthur C. Callado, Victor Souza
2013 B conf
IM
Márcio Neves, Moisés Rodrigues, Ernani Azevedo, Djamel Sadok, Arthur C. Callado, Josilene Moreira, Victor Souza
2012 C conf
ICORES
Marcel R. Barros, Charles Miers, Marcos A. Simplício Jr., Tereza Cristina M. B. Carvalho, Jan-Erik Mångs, Bob Melander, Victor Souza
2011 Misc conf
WSC
André L. C. Moreira, Josilene Moreira, Djamel Sadok, Arthur C. Callado, Moisés Rodrigues, Márcio Neves, Victor Souza, Per Karlsson
2011 B conf
MASCOTS
Pedro Evangelista, Marcelo Amaral, Charles Miers, Walter Goya, Marcos A. Simplício Jr., Tereza Cristina M. B. Carvalho, Victor Souza
2011 conf
SpringSim (ANSS)
Moisés Rodrigues, Márcio Neves, Josilene Moreira, Djamel Sadok, Arthur C. Callado, Per Karlsson, Victor Souza
2010 B conf
CNSM
Charles Miers, Marcos A. Simplício Jr., Walter Goya, Tereza Cristina M. B. Carvalho, Victor Souza
2010 conf
Euro-Par Workshops
Hareesh Puthalath, Karl-Åke Persson, Bob Melander, Johan Kölhi, Victor Souza, Stefan Hellkvist, Jan-Erik Mångs
2010 conf
MONAMI
Peter Schoo, Volker Fusenig, Victor Souza, Márcio Melo, Paul Murray, Hervé Debar, Houssem Medhioub, Djamal Zeghlache
2010 conf
GCC
Thiago Damasceno Cordeiro, Douglas Brito Damalio, Nadilma Cintra Valenca Nunes Pereira, Patricia Takako Endo, André Vitor de Almeida Palhares, Glauco Estácio Gonçalves, Djamel Fawzi Hadj Sadok, Judith Kelner, Bob Melander, Victor Souza, Jan-Erik Mångs
2009 conf
CCNC
Diego Gallo, Charles Miers, Vlad Coroama, Tereza Cristina M. B. Carvalho, Victor Souza, Per Karlsson
2008 conf
Peer-to-Peer Computing
Ayodele Damola, Victor Souza, Per Karlsson, Howard Green
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 "";
        }
    }
}