Saltar al contenido
Marketplace

binary-protection-bypass

de yaklang

Binary protection bypass playbook. Use when identifying and bypassing ASLR, PIE, NX/DEP, stack canary, RELRO, FORTIFY_SOURCE, CET, and MTE protections in ELF binaries to enable exploitation.

Resumen

SKILL.mdLeída en 6fbf0bc

SKILL: Binary Protection Bypass — Expert Attack Playbook

AI LOAD INSTRUCTION: Expert binary protection identification and bypass techniques. Covers ASLR, PIE, NX, RELRO, canary, FORTIFY_SOURCE, stack clash, CET shadow stack, and ARM MTE. Each protection is paired with its bypass methods and required primitives. Distilled from ctf-wiki mitigation sections and real-world exploitation. Base models often confuse which protections block which attacks and miss the combinatorial effect of multiple protections.

0. RELATED ROUTING

Advanced Reference

Load PROTECTION_BYPASS_MATRIX.md for comprehensive protection × bypass × primitive matrix.


1. PROTECTION IDENTIFICATION

$ checksec ./binary
[*] '/path/to/binary'
    Arch:     amd64-64-little
    RELRO:    Full RELRO          ← GOT read-only
    Stack:    Canary found        ← stack canary enabled
    NX:       NX enabled          ← stack not executable
    PIE:      PIE enabled         ← position-independent code
    FORTIFY:  Enabled             ← fortified libc functions
Quick Identification Table
ProtectionCheck CommandBinary Indicator
ASLRcat /proc/sys/kernel/randomize_va_spaceOS-level (0=off, 1=partial, 2=full)
PIEchecksec or readelf -h (Type: DYN)Binary compiled with -pie
NXchecksec or readelf -l (no RWE segment)gcc -z noexecstack (default on)
Canarychecksec or look for __stack_chk_fail@pltgcc -fstack-protector-all
Partial RELROreadelf -l (GNU_RELRO segment, .got.plt writable)gcc -Wl,-z,relro
Full RELROreadelf -l + .got section read-onlygcc -Wl,-z,relro,-z,now
FORTIFYPresence of __printf_chk, __memcpy_chk etc.gcc -D_FORTIFY_SOURCE=2

2. ASLR BYPASS

ASLR randomizes base addresses of stack, heap, libc, and mmap regions at each execution.

Bypass MethodRequired PrimitiveNotes
Information leakAny read primitive (format string, OOB read, UAF)Leak libc/stack/heap address → calculate base
Partial overwriteWrite primitive (limited length)Overwrite last 1-2 bytes (page offset fixed)
Brute force (32-bit)Ability to reconnect/retry~256–4096 attempts (8-12 bits entropy)
Return-to-PLTStack overflowPLT addresses are at fixed offset from binary base (if no PIE)
ret2dlresolveStack overflow + write primitiveResolve arbitrary function without knowing libc base
Format string leakFormat string vulnerability%N$p for stack/libc/heap addresses
Stack readingByte-by-byte (fork server)Read stack byte-by-byte via crash oracle
ASLR Entropy (x86-64 Linux)
RegionEntropy (bits)Positions
Stack22~4M
mmap / libc28~256M
Heap (brk)13~8K
PIE binary28~256M

3. PIE BYPASS

PIE (Position Independent Executable) randomizes the binary's own code/data base address.

Bypass MethodRequired PrimitiveNotes
Information leakRead return address from stackPIE base = leaked_addr - known_offset
Partial overwriteOne-byte or two-byte writeLast 12 bits of page offset are fixed
Format string leakFormat string vulnerability%N$p where N points to .text return address
Relative addressingKnowledge of binary layoutIf you know relative offsets, only need one leak
Partial Overwrite Details
PIE binary loaded at: 0x555555554000 (example)
Function at offset 0x1234: 0x555555555234

Overwrite return address last 2 bytes: 0x?234 → 0x?XXX
Unknown: bits 12-15 (one nibble = 4 bits = 16 possibilities)
Success rate: 1/16 per attempt

4. NX / DEP BYPASS

NX (No-eXecute) / DEP (Data Execution Prevention) prevents execution of code on the stack/heap.

Bypass MethodDetail
ROP (Return-Oriented Programming)Chain existing code gadgets ending in ret
ret2libcCall libc functions (system, execve) directly
ret2csuUse __libc_csu_init gadgets for controlled function calls
ret2dlresolveForge dynamic linker structures to resolve arbitrary functions
SROPUse sigreturn to set all registers from fake signal frame
mprotect ROPChain mprotect(addr, size, PROT_RWX) → make page executable → jump to shellcode
JIT sprayIn JIT environments (V8, etc.), create executable code via JIT compiler
mprotect Chain
# Make stack executable, then jump to shellcode
rop = b'A' * offset
rop += p64(pop_rdi) + p64(stack_page)     # page-aligned address
rop += p64(pop_rsi) + p64(0x1000)         # size
rop += p64(pop_rdx) + p64(7)              # PROT_READ|PROT_WRITE|PROT_EXEC
rop += p64(mprotect_addr)
rop += p64(shellcode_addr)                 # jump to shellcode on now-executable stack

5. RELRO BYPASS

RELRO LevelGOT StatusBypass
No RELROGOT fully writableDirect GOT overwrite
Partial RELRO.got.plt writable (lazy binding)GOT overwrite still works
Full RELROAll GOT entries resolved at load, GOT read-onlyCannot write GOT → target other structures
Full RELRO Alternative Targets
TargetWhenHow
__malloc_hookglibc < 2.34Overwrite with one_gadget
__free_hookglibc < 2.34Overwrite with system, trigger free("/bin/sh")
_IO_FILE vtableAny glibcFSOP / vtable hijack
__exit_funcsAny glibcOverwrite exit handler list
TLS_dtor_listglibc ≥ 2.34Thread-local destructor list (needs pointer guard)
.fini_arrayIf writableOverwrite destructor function pointers
Stack return addressDirect stack writeOverwrite return address for ROP

See arbitrary-write-to-rce for comprehensive target list.


6. CANARY BYPASS

MethodConditionDetail
Format string leakprintf(user_input)%N$p to read canary from stack
Brute-forcefork() server (canary persists in child)Byte-by-byte: 256 × (canary_size-1) attempts
Stack readingPartial overwrite / info leakOverwrite canary's null byte, leak via output
Thread canary overwriteOverflow reaches TLSCanary at fs:[0x28]; overflow past buffer to TLS → overwrite canary with known value
Canary-relative overwriteOverflow after canary but before return addrSkip canary, only overwrite return address (rare layout)
Heap-basedVulnerability is on heap, not stackCanary only protects stack
__stack_chk_fail GOT overwritePartial RELROOverwrite __stack_chk_fail@GOT to point to harmless function → canary check passes
Canary Format
x86:    0x00XXXXXX (4 bytes, leading null byte)
x86-64: 0x00XXXXXXXXXXXXXX (8 bytes, leading null byte)

The leading \x00 prevents string operations from accidentally reading the canary.


7. FORTIFY_SOURCE BYPASS

_FORTIFY_SOURCE=2 adds buffer size checking and restricts format string operations.

Fortified FunctionRestrictionBypass
__printf_chk%n with positional args (%N$n) forbiddenUse non-positional %n or %hn chain
__memcpy_chkDestination buffer size checkedUse heap overflow instead of stack
__strcpy_chkSame
__read_chkRead size checked against buffer
Format String with FORTIFY_SOURCE
# %1$n is blocked by __printf_chk
# But sequential (non-positional) %n may still work:
# Print exact byte count, then %hn — must be very precise
# Or: find unfortified printf in binary/libc via ROP

8. CET (Control-flow Enforcement Technology)

Intel CET adds two mechanisms:

Shadow Stack
  • Hardware-maintained copy of return addresses
  • On ret, CPU checks shadow stack matches actual stack
  • Mismatch → #CP fault (control protection exception)
ImpactDetail
ROP blockedReturn address overwrite detected on ret
JOP possiblejmp [reg] not checked by shadow stack
COP possiblecall [reg] pushes to shadow stack but target validated by IBT
Indirect Branch Tracking (IBT)
  • Indirect jmp/call must land on ENDBR64 instruction
  • Non-ENDBR landing → #CP fault

Bypass:

  • Data-only attacks (don't change control flow)
  • Find valid ENDBR gadgets that chain into useful operations
  • JOP with ENDBR-prefixed gadgets
  • Target structures outside CFI scope (modprobe_path, function pointer arrays)

9. MTE (Memory Tagging Extension, ARM)

ARM MTE assigns 4-bit tags to memory pointers and allocations. Tag mismatch = fault.

AspectDetail
Tag bits4 bits in pointer (bits 56-59) = 16 possible tags
Granule16 bytes (each 16-byte granule has one tag)
CheckLoad/store: pointer tag must match memory tag
ProbabilisticRandom tag → 1/16 chance attacker guesses correctly
Bypass Approaches
MethodSuccess Rate
Brute-force1/16 per attempt (6.25%)
Tag oracleSide-channel to determine tag (timing, error messages)
In-bounds exploitStay within same tagged region (use relative offsets)
Tag bypass gadgetUse LDGM/STGM instructions if accessible
Speculative executionSpectre-style bypass of tag check

10. DECISION TREE

Binary analysis: checksec output
├── NX disabled?
│   └── Shellcode on stack/heap (simplest path)
│
├── NX enabled (standard modern binary)?
│   ├── Need code execution → ROP/ret2libc
│   │
│   ├── Canary enabled?
│   │   ├── fork server? → byte-by-byte brute-force
│   │   ├── Format string? → leak canary via %p
│   │   ├── Heap vuln? → canary doesn't protect heap
│   │   └── Partial RELRO? → overwrite __stack_chk_fail@GOT
│   │
│   ├── PIE enabled?
│   │   ├── Format string? → leak .text address → PIE base
│   │   ├── Partial overwrite → last 12 bits fixed (1/16 brute-force)
│   │   └── OOB read? → leak code pointer
│   │
│   ├── ASLR enabled?
│   │   ├── Info leak available → leak libc base
│   │   ├── No leak → ret2dlresolve or SROP
│   │   ├── 32-bit? → brute-force feasible (~4096 attempts)
│   │   └── Return-to-PLT (no libc base needed for PLT calls)
│   │
│   ├── RELRO level?
│   │   ├── None/Partial → GOT overwrite
│   │   └── Full → alternative targets:
│   │       ├── glibc < 2.34 → __malloc_hook / __free_hook
│   │       ├── glibc ≥ 2.34 → _IO_FILE / exit_funcs / TLS_dtor_list
│   │       ├── .fini_array (if writable)
│   │       └── Stack return address
│   │
│   └── FORTIFY_SOURCE?
│       ├── Blocks positional %n → use sequential %n or heap exploit
│       └── Blocks buffer overflows in fortified functions → use unfortified paths
│
├── CET (shadow stack)?
│   ├── ROP blocked → data-only attack or JOP
│   └── ENDBR-gadget chaining
│
└── MTE (ARM)?
    ├── 1/16 brute-force
    └── Stay in-bounds for relative corruption

Archivos 2 archivos

Instálala a mano

Deska ejecuta esto por ti, para cada agente que elijas. Para ejecutarlo tú en una terminal:

npx skills add yaklang/hack-skills --skill binary-protection-bypass

Más de yaklang

  • hackyaklangEntry P0 primary router and operating doctrine for HackSkills. Use when the task involves web application testing, API security assessment, recon, vulnerability triage, exploit path planning, authorized pentest, code audit, source-leak mining, middleware audit, SOC triage, detection engineering, incident response, or choosing the right next category skill before any deep topic skill. Also use when the user mentions 安全工程师, 渗透测试, 红队, 蓝队, 代码审计, 源码泄露, SRC. Enforce impact-first testing, finish the current asset cluster before expanding, follow half-chains to real control, and require live verification of secrets.4,000 instalaciones en skills.sh0
  • android-pentesting-tricksyaklangAndroid pentesting playbook. Use when testing Android applications for SSL pinning bypass, exported component abuse, WebView vulnerabilities, intent redirection, root detection bypass, tapjacking, and backup extraction during authorized mobile security assessments.3,700 instalaciones en skills.sh0
  • code-obfuscation-deobfuscationyaklangCode obfuscation analysis and deobfuscation playbook. Use when reversing binaries protected by junk code, opaque predicates, self-modifying code, control flow flattening, VM protection, or string encryption.3,700 instalaciones en skills.sh0
  • sqli-sql-injectionyaklangSQL injection playbook. Use when input reaches SQL queries, authentication logic, sorting, filtering, reporting, or DB-specific blind and out-of-band execution paths.3,700 instalaciones en skills.sh0
  • api-secyaklangEntry P1 category router for API security. Use when choosing between API recon, authorization, token abuse, and hidden-parameter workflows before any deeper API topic skill.3,600 instalaciones en skills.sh0
Todas las skills de yaklang