cetfor

Keybase proof

I hereby claim:

• I am cetfor on github.
• I am cetfor (https://keybase.io/cetfor) on keybase.
• I have a public key ASBHlHOFYJOg5ZKnd_FHZsrevyhbS6mGSgcV24hW55cFDAo

To claim this, I am signing this object:

cetfor

# Get MLIL SSA form

import binaryninja

target = "cwe369A_x64"

print("Analyzing file: {}".format(target))
bv = binaryninja.BinaryViewType.get_view_of_file(target)
bv.add_analysis_option('linearsweep')

cetfor

# Get MLIL SSA form and print operands

import binaryninja

target = "cwe369A_x64"

print("Analyzing file: {}".format(target))
bv = binaryninja.BinaryViewType.get_view_of_file(target)
bv.add_analysis_option('linearsweep')

cetfor

# Get MLIL SSA form

import binaryninja

target = "cwe369A_x64"

target_operations = [
    binaryninja.MediumLevelILOperation.MLIL_DIVS,
    binaryninja.MediumLevelILOperation.MLIL_DIVS_DP,
    binaryninja.MediumLevelILOperation.MLIL_DIVU,

cetfor

import binaryninja
import networkx as nx

target = "cwe369A_x64"

def build_symbol_graph(bv, func):
    graph = nx.DiGraph()
    for func in bv.functions:
        for block in func.medium_level_il.ssa_form:
            for instr in block:

cetfor

import binaryninja
import networkx as nx

target = "cwe369A_x64"

target_operations = [
    binaryninja.MediumLevelILOperation.MLIL_DIVS,
    binaryninja.MediumLevelILOperation.MLIL_DIVS_DP,
    binaryninja.MediumLevelILOperation.MLIL_DIVU,
    binaryninja.MediumLevelILOperation.MLIL_DIVU_DP,

cetfor

import binaryninja
import networkx as nx

target = "cwe369B_x64"

RETURN_MAP = {
    'atoi': 0,
}

target_operations = [

cetfor

import binaryninja

import networkx as nx

target = "cwe369B_ARM32"

RETURN_MAP = {
    'atoi': 0,
}

cetfor

import argparse
import binaryninja
import sys
import tempfile
import time
import math
import os

from multiprocessing import Pool, TimeoutError, cpu_count

cetfor

// Challenge from:
// https://www.reddit.com/r/ExploitDev/comments/gv72xr/reverse_engineer_passphrase_check/

#include <stdio.h>
#include <string.h>

int check(char* input) {
    if (strlen(input) != 15) {
        return 0;
    } else {