Repository navigation
TCPK v2.3.0
First step from static auditor toward pentest tooling, plus a stronger autonomous agent.
Exploitation (new)
- Invoke-TcpkSecretRecovery and a new Confirmed (exploit) evidence tier. When an app ships a symmetric key + IV + ciphertext together, TCPK decrypts with the shipped key/IV (AES/TripleDES/DES x CBC/ECB x PKCS7) and recovers the plaintext secret, collapsing three Inferred findings into one demonstrated recovery (
exploit.secret-recovered, CRITICAL, CWE-321/798/312). Lab-safe: reads local artifacts, launches nothing, no network. Masked unless-Reveal. - Verified end to end on the DVTA testbed: recovers the AES-256-CBC
sapassword fromDVTA.exe.config.
Autonomous agent
- Read-only call-graph + taint-trace tools:
get_taint_trace(the prover's source->sink verdict per method),get_callers,get_callees.submit_findingnow records the taint verdict. - A deterministic prover verification gate partitions the agent's findings into confirmed / review / refuted.
Portability
- The managed-analysis test suite runs under PowerShell on Linux (cross-platform temp dir).
Full details in CHANGELOG.md. Authorized testing only.