Nada Amin

45 papers A* 3A 6B 2C 2Journal 23Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Proc. ACM Program. Lang.
Joey Velez-Ginorio, Nada Amin, Konrad P. Kording, Steve Zdancewic
2026 C ed.
PADL
Nada Amin, Joaquín Arias
2025 J jnl
CoRR
Rafaello Sanna, William E. Byrd, Nada Amin
2025 J jnl
CoRR
Joey Velez-Ginorio, Nada Amin, Konrad P. Kording, Steve Zdancewic
2025 J jnl
CoRR
Joey Velez-Ginorio, Nada Amin, Konrad P. Kording, Steve Zdancewic
2025 J jnl
Trans. Mach. Learn. Res.
Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
2025 J jnl
Proc. ACM Program. Lang.
Michael Ballantyne, Rafaello Sanna, Jason Hemann, William E. Byrd, Nada Amin
2025 B ed.
GPCE
Amir Shaikhha, Sebastian Erdweg, Nada Amin
2024 J jnl
CoRR
Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
2024 J jnl
CoRR
Ayush Noori, Iñaki Arango, William E. Byrd, Nada Amin
2024 J jnl
Proc. ACM Program. Lang.
Anastasiya Kravchuk-Kirilyuk, Gary Feng, Jonas Iskander, Yizhou Zhang, Nada Amin
2024 J jnl
CoRR
David Brandfonbrener, Sibi Raja, Tarun Prasad, Chloe Loughridge, Jianang Yang, Simon Henniger, William E. Byrd, Robert Zinkov, Nada Amin
2024 J jnl
CoRR
Gabriel Poesia, Chloe Loughridge, Nada Amin
2023 J jnl
Proc. ACM Program. Lang.
Ende Jin, Nada Amin, Yizhou Zhang
2023 J jnl
Proc. ACM Program. Lang.
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
2023 J jnl
IACR Cryptol. ePrint Arch.
Nada Amin, John Burnham, François Garillot, Rosario Gennaro, Chhi'mèd Künzang, Daniel Rogozin, Cameron Wong
2023 J jnl
Dagstuhl Artifacts Ser.
Simon Henniger, Nada Amin
2023 A conf
ECOOP
Simon Henniger, Nada Amin
2022 J jnl
Proc. ACM Program. Lang.
Yizhou Zhang, Nada Amin
2022 J jnl
Frontiers Artif. Intell.
Aleksandra Foksinska, Camerron M. Crowder, Andrew B. Crouse, Jeff Henrikson, William E. Byrd, Gregory Rosenblatt, Michael J. Patton, Kaiwen He, Thi K. Tran-Nguyen, Marissa Zheng, Stephen A. Ramsey, Nada Amin, John D. Osborne, Matthew Might
2021 conf
ELS
Nada Amin
2021 J jnl
Commun. ACM
Nada Amin
2020 ed.
SCALA@SPLASH
Guido Salvaneschi, Nada Amin
2019 J jnl
J. Funct. Program.
Tiark Rompf, Nada Amin
2019 B conf
APLAS
Nada Amin, William E. Byrd, Tiark Rompf
2019 conf
FARM@ICFP
Yan Han, Nada Amin, Neel Krishnaswami
2018 J jnl
Proc. ACM Program. Lang.
Nada Amin, Tiark Rompf
2018 J jnl
Proc. ACM Program. Lang.
Oliver Bracevac, Nada Amin, Guido Salvaneschi, Sebastian Erdweg, Patrick Eugster, Mira Mezini
2017 A* conf
POPL
Nada Amin, Tiark Rompf
2017 A* conf
POPL
Nada Amin, Tiark Rompf
2016
Nada Amin
2016 A conf
OOPSLA
Nada Amin, Ross Tate
2016 conf
A List of Successes That Can Change the World
Nada Amin, Samuel Grütter, Martin Odersky, Tiark Rompf, Sandro Stucki
2016 A conf
OOPSLA
Tiark Rompf, Nada Amin
2015 J jnl
CoRR
Tiark Rompf, Nada Amin
2015 A conf
ICFP
Tiark Rompf, Nada Amin
2015 conf
SNAPL
Tiark Rompf, Kevin J. Brown, HyoukJoong Lee, Arvind K. Sujeeth, Manohar Jonnalagedda, Nada Amin, Georg Ofenbeck, Alen Stojanov, Yannis Klonatos, Mohammad Dashti, Christoph Koch, Markus Püschel, Kunle Olukotun
2014 conf
TAP@STAF
Nada Amin, K. Rustan M. Leino, Tiark Rompf
2014 A conf
OOPSLA
Nada Amin, Tiark Rompf, Martin Odersky
2013 conf
FTfJP@ECOOP
Lukas Rytz, Nada Amin, Martin Odersky
2013 A* conf
POPL
Tiark Rompf, Arvind K. Sujeeth, Nada Amin, Kevin J. Brown, Vojin Jovanovic, HyoukJoong Lee, Manohar Jonnalagedda, Kunle Olukotun, Martin Odersky
2013 conf
SCALA@ECOOP
Sandro Stucki, Nada Amin, Manohar Jonnalagedda, Tiark Rompf
2012 A conf
ECOOP
Grzegorz Kossakowski, Nada Amin, Tiark Rompf, Martin Odersky
2012 J jnl
High. Order Symb. Comput.
Tiark Rompf, Nada Amin, Adriaan Moors, Philipp Haller, Martin Odersky
2009 C conf
ICCD
Nada Amin, William Thies, Saman P. Amarasinghe
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 "";
        }
    }
}