clearbluejar/ghidrecompDecompila in batch i binari con Ghidra dalla riga di comando, generando file C per funzione, callgraph, firme BSim e risultati SAST opzionali per la ricerca sulla sicurezza.
Questo strumento Python da riga di comando decompila tutte le funzioni di un binario e le scrive in una directory in file C separati:```mermaid
flowchart LR
a(filename ) --> b[ghidrecomp] a2[(Symbol Server)] --> b
b --> e(Ghidra Project Files) b --> output
subgraph output
subgraph decompilations direction LR i(func1.c) h(func2.c) f(funcB.c) end
subgraph callgraphs direction LR j(callgraph1.md) k(callgraph2.md) l(callgraphN.md) end
subgraph bsim-xml direction LR n(sig-md5-bin1.xml) m(sig-md5-bin2.xml) o(sig-md5-binN.xml) end
end
Oppure un singolo file `C` e un file di intestazione con `--cppexport`:```mermaid
flowchart LR
a(filename ) --> b[ghidrecomp]
a2[(Symbol Server)] --> b
b --> e(Ghidra Project Files)
b --> singlefile
subgraph singlefile
direction LR
s1(all_funcs.c)
s2(all_funcs.h)
end
Lo scopo principale di questo è utilizzare le decompilazioni per ricerca e analisi. Lo strumento si basa su Ghidra per la decompilazione e comunica con Ghidra tramite jpype via pyghidra.
tutte queste funzionalità sono in definitiva fornite da Ghidra
-o OUTPUT_PATH)--cppexport)-s SYMBOLS_PATH)
--sym-file-path)--filter)--gdt)--sast) con Semgrep per l'analisi statica del codice decompilato
usage: ghidrecomp [-h] [--cppexport] [--filter FILTERS] [--project-path PROJECT_PATH] [--gdt [GDT]] [-o OUTPUT_PATH] [-v] [--skip-cache] [--sym-file-path SYM_FILE_PATH | -s SYMBOLS_PATH | --skip-symbols] [-t THREAD_COUNT] [--va] [--fa] [--max-ram-percent MAX_RAM_PERCENT] [--print-flags] [--callgraphs] [--callgraph-filter CALLGRAPH_FILTER] [--mdd MAX_DISPLAY_DEPTH] [--max-time-cg-gen MAX_TIME_CG_GEN] [--cg-direction {calling,called,both}] [--bsim] [--bsim-sig-path BSIM_SIG_PATH] [--bsim-template BSIM_TEMPLATE] [--bsim-cat BSIM_CAT] [--sast] [--semgrep-rules SEMGREP_RULES] [--codeql-rules CODEQL_RULES] bin
ghidrecomp - A Command Line Ghidra Decompiler
positional arguments: bin Path to binary used for analysis
options: -h, --help show this help message and exit --cppexport Use Ghidras CppExporter to decompile to single file (default: False) --filter FILTERS Regex match for function name (default: None) --project-path PROJECT_PATH Path to base ghidra projects (default: ghidra_projects) --gdt [GDT] Additional GDT to apply (default: None) -o OUTPUT_PATH, --output-path OUTPUT_PATH Location for all decompilations (default: ghidrecomps) -v, --version show program's version number and exit --skip-cache Skip cached and genearate new decomp and callgraphs. (default: False) --sym-file-path SYM_FILE_PATH Specify single pdb symbol file for bin (default: None) -s SYMBOLS_PATH, --symbols-path SYMBOLS_PATH Path for local symbols directory (default: symbols) --skip-symbols Do not apply symbols (default: False) -t THREAD_COUNT, --thread-count THREAD_COUNT Threads to use for processing. Defaults to cpu count (default: 12) --va Enable verbose analysis (default: False) --fa Force new analysis (even if already analyzed) (default: False)
JVM Options: --max-ram-percent MAX_RAM_PERCENT Set JVM Max Ram % of host RAM (default: 50.0) --print-flags Print JVM flags at start (default: False)
Callgraph Options: --callgraphs Generate callgraph markdown (default: False) --callgraph-filter CALLGRAPH_FILTER Only generate callgraphs for functions matching filter (default: .) --mdd MAX_DISPLAY_DEPTH, --max-display-depth MAX_DISPLAY_DEPTH Max Depth for graph generation (default: None) --max-time-cg-gen MAX_TIME_CG_GEN Max time in seconds to wait for callgraph gen. (default: 5) --cg-direction {calling,called,both} Direction for callgraph. (default: calling)
BSim Options: --bsim Generate BSim function feature vector signatures (default: False) --bsim-sig-path BSIM_SIG_PATH Path to store BSim xml sigs (default: bsim-xmls) --bsim-template BSIM_TEMPLATE BSim database template (default: medium_nosize) --bsim-cat BSIM_CAT BSim category. (type:value) --bsim-cat color:red (default: None)
SAST Options: --sast Run SAST scanning on decompiled code with semgrep and CodeQL (default: False) --semgrep-rules SEMGREP_RULES Path to local semgrep rule file or directory (can be specified multiple times, default: p/c) (default: None) --codeql-rules CODEQL_RULES Comma-separated paths to local CodeQL query directories (placeholder) (default: None)
## Albero dei file di output
Tutti i file:```bash
$ tree -L 2 ghidrecomps/ | more
ghidrecomps/
├── bins
│ ├── afd.sys.10.0.22621.1415-b4c4b6ef5980df8440fb26daffb4118f
│ └── ls_aarch64-fffefca59f1dcb04e318b6b26fa1b50e
├── bsim-xmls
│ └── sigs_fffefca59f1dcb04e318b6b26fa1b50e_ls_aarch64
├── ghidra_projects
│ ├── afd.sys.10.0.22621.1415-b4c4b6ef5980df8440fb26daffb4118f
│ └── ls_aarch64-fffefca59f1dcb04e318b6b26fa1b50e
└── symbols
├── 000admin
├── afd.pdb
└── pingme.txt
Decompilazioni, grafi delle chiamate e risultati SAST:```bash $ tree -L 2 ghidrecomps/bins/ ghidrecomps/bins/ ├── afd.sys.10.0.22621.1415-b4c4b6ef5980df8440fb26daffb4118f │ ├── callgraphs │ ├── decomps │ └── sast └── ls_aarch64-fffefca59f1dcb04e318b6b26fa1b50e ├── decomps └── sast
## Esempio di utilizzo con Windows afd.sys:
### Riga di comando```bash
wget https://msdl.microsoft.com/download/symbols/afd.sys/50989142a9000/afd.sys -O afd.sys.10.0.22621.1415
ghidrecomp afd.sys.10.0.22621.1415
Total Time 30 secs
(AutoAnalysisManager)
Decompiling 1275 functions using 8 threads
Setup 8 decompliers
WARN Decompiling 1c0001340, pcode error at 1c000000c: Unable to resolve constructor at 1c000000c (DecompileCallback)
Completed 100 and 7%
Completed 200 and 15%
Completed 300 and 23%
Completed 400 and 31%
Completed 500 and 39%
Completed 600 and 47%
Completed 700 and 54%
Completed 800 and 62%
Completed 900 and 70%
Completed 1000 and 78%
Completed 1100 and 86%
Completed 1200 and 94%
Decompiled 1275 functions for afd.sys.10.0.22621.1344 in 13.469883680343628
Wrote 1275 decompilations for afd.sys.10.0.22621.1344 to decompilations/afd.sys.10.0.22621.1344 in 3.174959659576416
### Directory di output della decompilazione```bash
$ tree ghidrecomps | more
ghidrecomps/
└── afd.sys
├── AFDETW_TRACEDATA_INDICATION-1c0008d00.c
├── AFDETW_TRACEDISCONNECT-1c000f884.c
├── AFDETW_TRACELISTEN-1c0016778.c
├── AFDETW_TRACEOPTION-1c0012660.c
├── AFDETW_TRACERECV-1c0001e38.c
├── AFDETW_TRACERECVDATAGRAM-1c0009ef0.c
├── AFDETW_TRACESEND-1c000d19c.c
├── AFDETW_TRACESENDDATAGRAM-1c0007d10.c
├── AFDETW_TRACESENDMSG-1c0015afc.c
├── AFDETW_TRACESENDTO-1c00162dc.c
├── AFDETW_TRACESTATUS-1c00204d2.c
├── AFDETW_TRACETRANSFER-1c004189c.c
├── AFDETW_TRACEWAITLISTEN-1c0013674.c
├── AFD_PCW_INCREMENT_DROPPED_DATAGRAMS-1c00208e4.c
├── AFD_PCW_INCREMENT_REJECTED_CONNECTIONS-1c0032aa4.c
├── AfdAbortConnection-1c0033ec4.c
├── AfdAbortTPackets-1c003d5ec.c
├── AfdAccept-1c0018300.c
├── AfdAcceptCore-1c00187d8.c
├── AfdAcquireReadLock-1c0020b54.c
├── AfdAcquireReadLockAtDpcLevel-1c000b0f4.c
├── AfdAcquireWriteLock-1c001b8ac.c
├── AfdAddAddressHandler-1c00662f0.c
├── AfdAddConnectedReference-1c000f334.c
├── AfdAddConnectionToTimerWheel-1c0036520.c
├── AfdAddFreeConnection-1c006d7cc.c
├── AfdAddressListChange$filt$0-1c001dcb7.c
├── AfdAddressListChange$filt$1-1c001dce0.c
├── AfdBuildSendMsgTracker-1c00682ac.c
... several lines omitted
The input content for chunk 17 appears to be empty — no source text was provided after "INPUT:". Please supply the chunk text so I can translate it. ```bash $ cat decompilations/afd.sys.10.0.22621.1415/AfdGetRemoteAddress-1c0065500.c
I'm ready to translate, but the input chunk appears to be empty. No content was provided after "INPUT:". Please supply the chunk text so I can translate it from English to Italian.```c
void AfdGetRemoteAddress(longlong param_1,undefined8 param_2,char param_3,undefined8 param_4,
undefined8 param_5,void *param_6,uint param_7,ulonglong *param_8)
{
ushort uVar1;
short *psVar2;
uint uVar3;
ulonglong uVar4;
undefined uVar5;
void *_Src;
undefined8 unaff_RBX;
undefined8 unaff_RSI;
undefined unaff_DIL;
char cVar7;
ulonglong _Size;
undefined unaff_R14B;
undefined unaff_R15B;
undefined unaff_retaddr;
undefined uVar8;
short *psVar9;
undefined in_stack_ffffffffffffffe0;
short *psVar6;
psVar2 = *(short **)(param_1 + 0x18);
*param_8 = 0;
psVar6 = psVar2;
cVar7 = param_3;
psVar9 = psVar2;
uVar4 = AfdLockEndpointContext((longlong)psVar2);
uVar5 = SUB81(psVar6,0);
uVar8 = SUB81(psVar9,0);
if (((uVar4 != 0) && (*psVar2 == -0x502e)) && (*(char *)(psVar2 + 1) == '\x04')) {
uVar1 = psVar2[0x5d];
uVar5 = (undefined)uVar1;
uVar3 = (uint)(ushort)psVar2[0x5c] + (uint)uVar1;
if (uVar3 < *(uint *)(psVar2 + 0x74) || uVar3 == *(uint *)(psVar2 + 0x74)) {
if (uVar1 <= param_7) {
if (param_3 != '\0') {
ProbeForWrite(param_6,uVar1,1);
}
_Size = (ulonglong)(ushort)psVar2[0x5d];
_Src = (void *)((ushort)psVar2[0x5c] + uVar4);
memcpy(param_6,_Src,_Size);
*param_8 = (ulonglong)*(uint *)(psVar2 + 0x74);
FUN_1c00655e1((char)param_6,(char)_Src,(char)_Size,(undefined)param_4,
in_stack_ffffffffffffffe0,unaff_R15B,unaff_R14B,unaff_DIL,unaff_retaddr,uVar8,
unaff_RBX,unaff_RSI);
return;
}
FUN_1c00655e1(uVar5,(undefined)param_2,cVar7,(undefined)param_4,in_stack_ffffffffffffffe0,
unaff_R15B,unaff_R14B,unaff_DIL,unaff_retaddr,uVar8,unaff_RBX,unaff_RSI);
return;
}
}
FUN_1c00655e1(uVar5,(undefined)param_2,cVar7,(undefined)param_4,in_stack_ffffffffffffffe0,
unaff_R15B,unaff_R14B,unaff_DIL,unaff_retaddr,uVar8,unaff_RBX,unaff_RSI);
return;
}
% mkdir ghidrecomps % docker run --rm -it -v $(pwd)/ghidrecomps:/ghidrecomps ghcr.io/clearbluejar/ghidrecomp:latest Unable to find image 'ghcr.io/clearbluejar/ghidrecomp:latest' locally latest: Pulling from clearbluejar/ghidrecomp df2021ddb7d6: Already exists 8d647f1dd7e7: Already exists 5cdd9a70365f: Already exists 95089c600b36: Already exists 031bfcddba4a: Already exists 3e388e9ee67f: Already exists c8dd6e41498c: Already exists 6997e1686b99: Already exists ee33bc143a6a: Already exists 5be89ff28daf: Already exists ba22b50e2816: Already exists a10ea6edf9a9: Already exists 01795477b75e: Already exists 85b3b893a1c1: Already exists 53738c41768c: Already exists bd57d1a46c3c: Already exists 117d78b0cfb7: Already exists 15235f090f28: Already exists 4f4fb700ef54: Pull complete 13c463db881b: Pull complete dac212319919: Pull complete 6855adc3f8b8: Pull complete 96069363e29e: Pull complete b7f172785aba: Pull complete 05aed184d971: Pull complete 611f58da3b2c: Pull complete Digest: sha256:1e7d47267b7a0a31805822c11f891cd502485a42c88bb0ad6292a34e930c6108 Status: Downloaded newer image for ghcr.io/clearbluejar/ghidrecomp:latest usage: ghidrecomp [-h] [--cppexport] [--filter FILTERS] [--project-path PROJECT_PATH] [--gdt [GDT]] [-o OUTPUT_PATH] [-v] [--skip-cache] [--sym-file-path SYM_FILE_PATH | -s SYMBOLS_PATH | --skip-symbols] [-t THREAD_COUNT] [--va] [--fa] [--max-ram-percent MAX_RAM_PERCENT] [--print-flags] [--callgraphs] [--callgraph-filter CALLGRAPH_FILTER] [--mdd MAX_DISPLAY_DEPTH] [--max-time-cg-gen MAX_TIME_CG_GEN] [--cg-direction {calling,called,both}] bin ghidrecomp: error: the following arguments are required: bin
### Esegui in docker su /bin/ls```bash
$ docker run --rm -it -v $(pwd)/ghidrecomps:/ghidrecomps ghcr.io/clearbluejar/ghidrecomp:latest /bin/ls
Total Time 4 secs
(AutoAnalysisManager) INFO Opening project: /home/vscode/.ghidra_projects/ls/ls (DefaultProject) Decompiling 566 functions using 12 threads Setup 12 decompliers Decompiled 100 and 17% Decompiled 200 and 35% Decompiled 300 and 53% Decompiled 400 and 70% Decompiled 500 and 88% Decompiled 566 functions for ls in 1.9280855655670166 0 decompilations already existed. Wrote 566 decompilations for ls to decompilations/ls in 0.06782746315002441
### Directory di output della decompilazione```bash
vscode ➜ /tmp $ tree ghidrecomps
ghidrecomps
└── ls
├── _ITM_deregisterTMCloneTable-00134078.c
├── _ITM_registerTMCloneTable-00134358.c
├── __DT_FINI-00118930.c
├── __DT_INIT-00103730.c
├── __assert_fail-00103da0.c
├── __assert_fail-00134370.c
├── __ctype_b_loc-00103c00.c
├── __ctype_b_loc-00134288.c
├── __libc_start_main-00134190.c
├── __lxstat-00103ce0.c
├── __lxstat-001342f8.c
├── exit-00134050.c
├── fclose-00103990.c
├── fclose-00134138.c
├── fflush-00103ca0.c
├── fflush-001342d8.c
├── fflush_unlocked-00103c90.c
├── fflush_unlocked-001342d0.c
├── fgetfilecon-001037a0.c
├── fgetfilecon-00134018.c
├── fileno-00103950.c
├── fileno-00134110.c
├── fnmatch-00103c80.c
├── fnmatch-001342c8.c
├── fputc_unlocked-00103d20.c
├── fputc_unlocked-00134320.c
├── fputs_unlocked-00103d40.c
... several more omitted
Please provide the Markdown content to translate.```bash cat decompilations/ls/FUN_0010eb20-0010eb20.c
```c
void * FUN_0010eb20(void *param_1,char *param_2,void **param_3)
{
size_t __n;
long lVar1;
long lVar2;
size_t __n_00;
void *__dest;
undefined *puVar3;
ulong uVar4;
undefined local_41;
lVar1 = FUN_0010e740();
lVar2 = FUN_0010e7a0(lVar1);
__n = (lVar1 - (long)param_1) + lVar2;
__n_00 = strlen(param_2);
if (lVar2 == 0) {
local_41 = 0x2e;
if (*param_2 != '/') {
local_41 = 0;
}
uVar4 = (ulong)(*param_2 == '/');
}
else if (*(char *)((long)param_1 + (__n - 1)) == '/') {
local_41 = 0;
uVar4 = 0;
}
else {
local_41 = 0x2f;
if (*param_2 == '/') {
local_41 = 0;
}
uVar4 = (ulong)(*param_2 != '/');
}
__dest = malloc(__n + 1 + __n_00 + uVar4);
if (__dest != (void *)0x0) {
puVar3 = (undefined *)mempcpy(__dest,param_1,__n);
*puVar3 = local_41;
if (param_3 != (void **)0x0) {
*param_3 = puVar3 + uVar4;
}
puVar3 = (undefined *)mempcpy(puVar3 + uVar4,param_2,__n_00);
*puVar3 = 0;
}
return __dest;
}
Genera una decompilazione e un callgraph di tutte le funzioni che corrispondono alla funzione --filter AfdRestart e --callgraph-filter AfdRestart.```bash
ghidrecomp tests/data/afd.sys.10.0.22621.1415 --callgraph-filter AfdRestart --filter AfdRestart --callgraphs
### Output```bash
Starting decompliations: Namespace(bin='tests/data/afd.sys.10.0.22621.1415', cppexport=False, filters=['AfdRestart'], project_path='.ghidra_projects', gdt=None, output_path='decompilations', skip_cache=True, sym_file_path=None, symbols_path='.symbols', skip_symbols=False, thread_count=8, va=False, fa=False, max_ram_percent=50.0, print_flags=False, callgraphs=True, callgraph_filter='AfdRestart', max_display_depth=None, max_time_cg_gen=5, cg_direction='calling')
INFO Using log config file: jar:file:/ghidra/Ghidra/Framework/Generic/lib/Generic.jar!/generic.log4j.xml (LoggingInitialization)
INFO Using log file: /home/vscode/.ghidra/.ghidra_10.3_PUBLIC/application.log (LoggingInitialization)
INFO Loading user preferences: /home/vscode/.ghidra/.ghidra_10.3_PUBLIC/preferences (Preferences)
INFO Searching for classes... (ClassSearcher)
INFO Class search complete (710 ms) (ClassSearcher)
INFO Initializing SSL Context (SSLContextInitializer)
INFO Initializing Random Number Generator... (SecureRandomFactory)
INFO Random Number Generator initialization complete: NativePRNGNonBlocking (SecureRandomFactory)
INFO Trust manager disabled, cacerts have not been set (ApplicationTrustManagerFactory)
INFO Opening project: /workspaces/ghidrecomp/.ghidra_projects/afd.sys.10.0.22621.1415/afd.sys.10.0.22621.1415 (DefaultProject)
Setting up Symbol Server for symbols...
path: .symbols level: 1
Loaded well known /ghidra/Ghidra/Configurations/Public_Release/data/PDB_SYMBOL_SERVER_URLS.pdburl' length: 883'
Symbol Server Configured path: SymbolServerService:
symbolStore: LocalSymbolStore: [ rootDir: /workspaces/ghidrecomp/.symbols, storageLevel: -1],
symbolServers:
HttpSymbolServer: [ url: https://msdl.microsoft.com/download/symbols/, storageLevel: -1]
HttpSymbolServer: [ url: https://chromium-browser-symsrv.commondatastorage.googleapis.com/, storageLevel: -1]
HttpSymbolServer: [ url: https://symbols.mozilla.org/, storageLevel: -1]
HttpSymbolServer: [ url: https://software.intel.com/sites/downloads/symbols/, storageLevel: -1]
HttpSymbolServer: [ url: https://driver-symbols.nvidia.com/, storageLevel: -1]
HttpSymbolServer: [ url: https://download.amd.com/dir/bin/, storageLevel: -1]
Using file gdts: [windows_vs12_64]
afd.sys.10.0.22621.1415 - .ProgramDB already analyzed... skipping
INFO Opening project: /workspaces/ghidrecomp/.ghidra_projects/afd.sys.10.0.22621.1415/afd.sys.10.0.22621.1415 (DefaultProject)
Skipped 1241 functions that failed to match any of ['AfdRestart']
Decompiling 34 functions using 8 threads
Setup 8 decompliers
Decompiled 34 functions for afd.sys.10.0.22621.1415 in 0.8643746376037598
0 decompilations already existed.
Wrote 34 decompilations for afd.sys.10.0.22621.1415 to decompilations/afd.sys.10.0.22621.1415 in 0.0516660213470459
Error: time expired for AfdLRRepostReceive func: AfdRestartBufferSend. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for AfdReuseConnection func: AfdRestartDeviceControl. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for AfdConnect func: AfdRestartSend. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for WskProControlSocketCore func: AfdRestartAbort. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for WskProIRPControlSocket func: AfdRestartDelayedAcceptListen. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for AfdSanAcceptCore func: AfdRestartDisconnect. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for AfdTPacketsBufferRead func: AfdRestartMdlReadComplete. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for AfdSanAcceptCore func: AfdRestartTPDetachedSend. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for AfdTLBindSecurityComplete func: AfdRestartTPacketsBufferRead. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for FUN_1c0023892 func: AfdRestartTPacketsMdlRead. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Error: time expired for WskProIRPControlSocket func: AfdRestartTPacketsSend. max_run_time: 5 Increase timeout with --max-time-cg-gen MAX_TIME_CG_GEN
Callgraphed 34 functions for afd.sys.10.0.22621.1415 in 10.055054426193237
Wrote 34 callgraphs for afd.sys.10.0.22621.1415 to decompilations/afd.sys.10.0.22621.1415/callgraphs in 10.055152416229248
0 callgraphs already existed.
flowchart TD classDef sh fill:#339933 0["AfdRestartBufferReceiveWithUserIrp"] --> 1["AfdLRRepostReceive"] 0 --> 2["AfdTLPostPendedReceives"] 3["AfdRestartSuperAccept"] --> 4["AfdContinueSuperAccept"] 5["AfdRestartAccept"] --> 6["AfdServiceSuperAccept"] 7["AfdIssueDeviceControl"] --> 8["AfdRestartDeviceControl"] 9["AfdBCommonChainedReceiveEventHandler"] --> 0 9 --> 10["AfdCommonRestartBufferReceive"] 9 --> 11["FUN_1c0008952"] 12["AfdTLConnectedReceiveEventHandler"]:::sh --> 9 13["AfdBChainedReceiveEventHandler"] --> 9 14["AfdTdiSetEventHandlers"] --> 13 14 --> 15["AfdBReceiveExpeditedEventHandler"] 14 --> 16["AfdBReceiveEventHandler"] 17["AfdRestartBufferReceive"] --> 10 18["AfdBind"]:::sh --> 14 18:::sh --> 19["AfdCreateConnection"] 18:::sh --> 20["AfdTLBindSecurity"] 18:::sh --> 21["AfdRestartBindGetAddress"] 22["AfdRestartSend"] --> 22 23["AfdTLSendComplete"] --> 22 24["AfdTLStartVcSend"] --> 23 25["AfdTLConnectEventHandler"]:::sh --> 3 25:::sh --> 26["AfdTLDelayedAcceptCompletion"] 25:::sh --> 5 16 --> 0 16 --> 1 16 --> 17 27["AfdAccept"]:::sh --> 28["AfdRestartDelayedAccept"] 27:::sh --> 29["AfdTLCancelResumeDelayAccept"] 26 --> 28 26 --> 30["AfdRestartDelayedSuperAccept"] 15 --> 16 31["AfdTLCompleteBufferUserReceive"] --> 0 32["AfdTLPostUserReceive"] --> 31 2 --> 32 10 --> 2 10 --> 1 19 --> 7 33["AfdBPostDrainReceive"] --> 17 33 --> 34["AfdTLCompleteBufferReceive"] 33 --> 10 35["AfdRestartSuperConnect"] --> 36["AfdRestartBufferSend"] 37["AfdConnectEventHandler"] --> 3 37 --> 5 38["FUN_1c000e1aa"] --> 19 38 --> 39["AfdDoDatagramConnect"] 40["AfdSendQueuedTPSend"] --> 24 40 --> 41["AfdTLBufferedSendComplete"] 42["AfdConnect"]:::sh --> 38 43["AfdSuperConnect"]:::sh --> 35 43:::sh --> 41 44["AfdTLAbortEventHandler"]:::sh --> 26 29 --> 26 1 --> 33 1 --> 0 45["AfdCompleteTPackets"] --> 40 45 --> 46["AfdTPacketsWorker"] 45 --> 47["AfdStartNextQueuedTransmit"] 48["FUN_1c0027fa2"] --> 19 49["FUN_1c0021418"] --> 36 49 --> 41 50["AfdFastConnectionSend"] --> 49 51["AfdBInitDrainBytesInTransport"] --> 1 52["FUN_1c002246f"] --> 51 52 --> 53["FUN_1c0004001"] 54["FUN_1c002ed68"] --> 29 54 --> 30 54 --> 54 54 --> 55["AfdRestartSuperAcceptListen"] 56["FUN_1c002d729"] --> 37 57["AfdTLBindComplete2"] --> 48 58["AfdRestartTPacketsMdlRead"] --> 45 58 --> 46 58 --> 59["AfdTPacketsContinueAfterRead"] 60["AfdTLDgramBindComplete"] --> 57 61["AfdFastIoDeviceControl"]:::sh --> 50 62["AfdTLBindComplete"] --> 60 62 --> 63["FUN_1c0027f76"] 62 --> 57 64["AfdTLBind"] --> 62 65["AfdTLBindSecurityComplete"] --> 64 65 --> 20 65 --> 57 20 --> 65 20 --> 64 63 --> 60 66["AfdBReceive"] --> 52 66 --> 67["FUN_1c0022408"] 68["AfdStartListen"]:::sh --> 56 69["AfdTPacketsMdlRead"] --> 58 69 --> 59 30 --> 4 6 --> 54 70["AfdFastIoWrite"]:::sh --> 50 41 --> 36 71["FUN_1c002ec66"] --> 6 71 --> 71 71 --> 72["AfdCloseConnection"] 46 --> 69 46 --> 46 46 --> 73["AfdTPacketsSend"] 46 --> 74["AfdTPacketsBufferRead"] 46 --> 75["AfdStartNextTPacketsIrp"] 76["AfdRestartSuperAcceptGetAddress"] --> 4 34 --> 10 4 --> 76 4 --> 77["AfdRestartSuperAcceptReceive"] 55 --> 4 78["AfdReceive"] --> 66 79["AfdCommonRestartTPacketsSend"] --> 46 79 --> 73 80["AfdTLRestartTPacketsSend"] --> 79 81["AfdTLTPacketsSend"] --> 80 82["AfdDispatch"] --> 78 83["DriverEntry"] --> 82 73 --> 81 73 --> 84["AfdRestartTPacketsSend"] 73 --> 75 85["AfdSanConnectHandler"]:::sh --> 6 86["FUN_1c00128c9"] --> 6 87["AfdSuperAccept"]:::sh --> 86 88["entry"]:::sh --> 83 59 --> 73 74 --> 59 74 --> 89["AfdRestartTPacketsBufferRead"] 89 --> 59 89 --> 46 90["FUN_1c0023892"] --> 51 90 --> 90 90 --> 33 91["AfdGetAddress"]:::sh --> 92["AfdRestartGetAddress"] 84 --> 79 75 --> 46 47 --> 46 93["AfdCompleteClosePendedTPackets"] --> 47 11 --> 1 94["AfdFreeNPConnectionResources"] --> 93 95["AfdFreeConnectionResources"] --> 94 96["AfdFreeConnectionEx"] --> 95 72 --> 96 97["AfdReturnNicsPackets"]:::sh --> 72 53 --> 32 67 --> 33 39 --> 98["AfdRestartDgConnect"]
### Output di esempio del MindMap per AfdRestartDgConnect```mermaid
mindmap
root((AfdRestartDgConnect))
AfdBCommonChainedReceiveEventHandler
AfdBChainedReceiveEventHandler
AfdTLSendComplete
AfdBReceiveEventHandler
AfdBReceiveExpeditedEventHandler
AfdBReceiveEventHandler
AfdTdiSetEventHandlers
AfdTLCompleteBufferUserReceive
AfdTLPostUserReceive
AfdIssueDeviceControl
AfdTLDelayedAcceptCompletion
AfdCreateConnection
AfdTLStartVcSend
AfdRestartSuperConnect
AfdTLDelayedAcceptCompletion
AfdBPostDrainReceive
AfdCreateConnection
FUN_1c0021418
AfdLRRepostReceive
AfdTLCancelResumeDelayAccept
AfdConnectEventHandler
AfdFastConnectionSend
FUN_1c002d729
FUN_1c002ed68
FUN_1c002d729
AfdTLBufferedSendComplete
FUN_1c0021418
AfdServiceSuperAccept
AfdContinueSuperAccept
AfdServiceSuperAccept
AfdTLBufferedSendComplete
AfdSendQueuedTPSend
AfdTLCancelResumeDelayAccept
AfdServiceSuperAccept
Usa ghidrecomp per eseguire l'analisi statica sul codice decompilato utilizzando le regole Semgrep.
ghidrecomp bins/clfs.sys.x64.10.0.26100.3624-7fc7ad.gzf-e38b94.gzf
--sast
--semgrep-rules semgrep-rules/c/integer-wraparound.yaml
--semgrep-rules semgrep-rules/c/integer-truncation.yaml
### Riga di comando con directory di regole personalizzate```bash
ghidrecomp /bin/ls --sast --semgrep-rules /path/to/custom/rules/
ghidrecomp /bin/ls --sast --semgrep-rules rule1.yaml,rule2.yaml
### Uscita```bash
Running SAST scanning...
Running semgrep with configs: ['semgrep-rules/c/integer-wraparound.yaml', 'semgrep-rules/c/integer-truncation.yaml']
Running semgrep command: /usr/local/bin/semgrep scan --metrics=off --disable-version-check --quiet --error --sarif --timeout 30 --no-git-ignore -c semgrep-rules/c/integer-wraparound.yaml -c semgrep-rules/c/integer-truncation.yaml /tmp/tmpXXXXXX/decomps
Semgrep scan completed successfully
La scansione SAST crea una directory sast/ nella cartella di output binario:```bash
$ tree ghidrecomps/bins/ls/sast/
ghidrecomps/bins/ls/sast/
├── semgrep.sarif
├── semgrep.exit
└── logs/
└── semgrep.stderr.log
- `semgrep.sarif`: risultati in formato SARIF compatibili con gli strumenti di sicurezza
- `semgrep.exit`: codice di uscita dal processo semgrep
- `logs/semgrep.stderr.log`: output di errore standard da semgrep
## Esempio di generazione di firme BSim
Usa `ghidrecomp` per generare vettori di caratteristiche compatibili con Ghidra BSim. Questi XML potranno successivamente essere aggiunti a un database BSim.
### Riga di comando```bash
ghidrecomp --bsim --bsim-cat newcat:newval
(.venv) vscode ➜ /workspaces/ghidrecomp (bsim) $ ghidrecomp --bsim --bsim-cat newcat:newval /bin/ls
Starting decompliations: Namespace(bin='/bin/ls', cppexport=False, filters=None, project_path='ghidra_projects', gdt=None, output_path='ghidrecomps', skip_cache=False, sym_file_path=None, symbols_path='symbols', skip_symbols=False, thread_count=12, va=False, fa=False, max_ram_percent=50.0, print_flags=False, callgraphs=False, callgraph_filter='.', max_display_depth=None, max_time_cg_gen=5, cg_direction='calling', bsim=True, bsim_sig_path='bsim-xmls', bsim_template='medium_nosize', bsim_cat=['newcat:newval'])
INFO Using log config file: jar:file:/ghidra/Ghidra/Framework/Generic/lib/Generic.jar!/generic.log4j.xml (LoggingInitialization)
INFO Using log file: /home/vscode/.ghidra/.ghidra_11.0_PUBLIC/application.log (LoggingInitialization)
INFO Loading user preferences: /home/vscode/.ghidra/.ghidra_11.0_PUBLIC/preferences (Preferences)
INFO Searching for classes... (ClassSearcher)
INFO Class search complete (660 ms) (ClassSearcher)
Decompiled 566 functions for ls in 2.4373884201049805
0 decompilations already existed.
Wrote 566 decompilations for ls to ghidrecomps/ls/decomps in 0.16666936874389648
Generating BSim sigs for 566 functions for ls
Adding category type:newcat val:newval
Categories added: [('newcat', 'newval')]
Generated BSim sigs for 451 functions in 1.248070478439331
Sigs are in ghidrecomps/bsim-xmls/sigs_35d820f0762118215cbe19fb44e612ca_ls
### File generati```bash
$ tree ghidrecomps
ghidrecomps/
├── bsim-xmls
│ ├── sigs_35d820f0762118215cbe19fb44e612ca_ls
│ ├── sigs_b4c4b6ef5980df8440fb26daffb4118f_afd.sys.10.0.22621.1415
│ └── sigs_fffefca59f1dcb04e318b6b26fa1b50e_ls_aarch64
├── ghidra_projects
│ ├── ls
│ │ └── ls.rep
├── ls
│ └── decomps
GHIDRA_INSTALL_DIR to Ghidra install location.ghidrecompPer la funzionalità di scansione SAST, installa con le dipendenze opzionali:```bash pip install 'ghidrecomp[sast]'
Ciò installerà Semgrep per l'analisi statica. Puoi anche installarlo manualmente:```bash
pip install semgrep
PS C:\Users\user> [System.Environment]::SetEnvironmentVariable('GHIDRA_INSTALL_DIR','C:\ghidra_10.2.3_PUBLIC_20230208\ghidra_10.2.3_PUBLIC') PS C:\Users\user> pip install ghidrecomp
### Linux / Mac```bash
export GHIDRA_INSTALL_DIR="/path/to/ghidra/"
pip install ghidrecomp
Evita di installare Ghidra e Java sul tuo host utilizzando un devcontainer.
Utilizza il .devcontainer in questo repository. Fai clic sul pulsante qui sopra se hai VS code installato. Se questo concetto è nuovo per te, dai un'occhiata a: ghidra-python-vscode-devcontainer-skeleton quick setup che spiega qualcosa in più sui dev container.
Utilizza l'immagine del repository pubblicata con Ghidra e Java già installati.```bash docker pull ghcr.io/clearbluejar/ghidrecomp:latest docker run --user vscode --rm -it ghcr.io/clearbluejar/ghidrecomp:latest bash
Dall'interno dell'immagine:```bash
vscode ➜ / $ uname -a
Linux 4da2fe33369a 5.15.49-linuxkit #1 SMP PREEMPT Tue Sep 13 07:51:32 UTC 2022 x86_64 GNU/Linux
vscode ➜ / $ ls /ghidra/
Extensions GPL Ghidra LICENSE bom.json docs ghidraRun ghidraRun.bat licenses server support
vscode ➜ / $ pip install ghidrecomp
Successfully installed Jpype1-1.4.1 ghidrecomp-0.1.0 packaging-23.0 pyghidra-0.4.1