4건 · 관련도순
Uses symbolic execution (angr) to solve constraint-based malware problems — finding inputs that reach a target branch, recovering keys/passwords from a check routine, and brute-forcing opaque predicates — by generating a ready-to-edit angr harness. Activates for requests to use symbolic execution, solve a malware unlock check with angr, or recover an input that reaches a code path.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Symbolic execution and constraint solving playbook. Use when solving CTF reversing challenges, recovering keys, bypassing checks, or automating binary analysis with angr, Z3, or Unicorn Engine.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Performs symbolic execution to detect potential errors by exploring execution paths, solving path constraints, and generating test inputs. Use when you need to analyze code for bugs like null dereferences, division by zero, buffer overflows, or assertion violations. Also use to generate test inputs that exercise different code paths, find edge cases, or explore all reachable program states. Supports Python, Java, and C/C++ through manual symbolic execution techniques and integration with tools like KLEE, angr, Z3, and Symbolic PathFinder.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Z3 SMT solver ile CTF constraint çözme — byte equations, hash collision, validator bypass
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.