Skip to content

Release v0.1.2

Choose a tag to compare

View all tags
@kernullist kernullist released this 04 Jun 06:01
· 35 commits to main since this release
v0.1.2
1e3322c

PseudoForge 0.1.2 Release Notes

PseudoForge 0.1.2 expands the IDA Free workflow into a full standalone desktop review app, adds first-class local LLM provider support, and improves deterministic buffer-contract recovery for kernel-driver pseudocode.

The deterministic-first safety model remains unchanged: LLMs are optional, model output is validator-gated, and PseudoForge does not perform direct full-code rewrites or IDB modifications.

Highlights

  • Added PseudoForge Free Studio, a standalone PySide6 GUI for IDA Free users.
  • Added named local OpenAI-compatible providers: Ollama, LM Studio, vLLM, and llama.cpp.
  • Added focused buffer-contract analysis for selected IOCTL/switch cases.
  • Added deterministic rule authoring and expanded rule validation/reporting.
  • Improved IDA plugin safety around Qt bindings and Free Studio separation.
  • Updated documentation with Free Studio and buffer-analysis media examples.

What's New

Standalone IDA Free Studio

IDA Free users can now run a standalone desktop app instead of relying on the interactive IDA plugin path, which is unavailable in IDA Free.

Free Studio provides:

  • Raw pseudocode editor for one copied or opened IDA Free cloud-decompiled function.
  • Cleaned pseudocode viewer with syntax highlighting.
  • Toolbar actions for paste, open, analyze, cancel, copy cleaned output, save bundle, and settings.
  • Review tabs for warnings, renames, diff, rule report, and artifacts.
  • Background analysis so deterministic passes and LLM calls do not block the UI.
  • Safe cancellation at service boundaries.

The GUI reuses the same offline IDA Free analysis service as the CLI and does not import IDA-only modules.

Shared IDA Free Analysis Service

The IDA Free CLI and Free Studio GUI now share a reusable service layer.

This preserves the existing CLI output contract while making the offline workflow available to GUI callers:

  • Conservative single-function extraction.
  • Fail-closed handling for missing or ambiguous multiple-function input.
  • Deterministic fallback when LLM rename assist fails.
  • No IDAPython, IDA SDK, Hex-Rays local API, or IDB write dependency.

Local LLM Provider Support

PseudoForge now supports local OpenAI-compatible provider profiles for:

  • ollama
  • lm_studio
  • vllm
  • llama_cpp

These providers use local default base URLs and do not require API keys by default. Free Studio and the IDA LLM configuration path can refresh available models from the provider /models endpoint, including slower local runtimes with bounded timeout handling.

Local HTTP providers use text response format for broader LM Studio, Ollama, vLLM, and llama.cpp compatibility while keeping rename extraction and validation gates.

Buffer-Contract Analysis

This release adds and improves deterministic buffer-contract recovery for command-dispatch style functions.

Notable changes include:

  • Focused buffer-contract analysis for the current cursor case or an explicitly entered case value.
  • Disassembly-assisted evidence capture for selected cases.
  • Generated report-oriented input/output buffer contract artifacts.
  • C++ structure sketch output for recovered buffer layouts.
  • CLI support for focused case analysis through batch tooling.

Deterministic Rules

Rule authoring and validation were expanded with:

  • New deterministic rule authoring support.
  • Rule documentation
Assets 3
Loading