RustyWater ShellCode Dropper has emerged as a key component in recent Static Kitten (MuddyWater) operations targeting organizations in the Gulf and broader Middle East.

Written in Rust and disguised as a legitimate looking reddit.exe, this implant serves as the main payload and backbone of their attacks. It uses a multi-stage dropper (CertificationKit.ini) that decrypts and deploys the payload at runtime, establishes registry persistence, and injects shellcode into explorer.exe for stealth.

What makes it particularly effective is its robust 8-layer anti-analysis system checking for virtual machines, debuggers, sandboxes, low resources, and analysis tools before execution. This ensures it only activates on real victim systems.

A clear example of how Iranian APT groups continue to evolve their tooling with Rust for better evasion and persistence in the region.

Full project details: https://github.com/S3N4T0R-0X0/RustyWater-ShellCode-Dropper

Human Expertise Still Matters: AI Vulnerability Discovery, Triage, and Patching

https://www.youtube.com/watch?v=ayaINQn7K08

This is so overkill

A labeled reverse-engineering dataset over 4,598 crackmes from crackmes.one, built for benchmarking automated RE (AI agents + decompilers)

https://github.com/crackmesone/crackmes-re-dataset

I made a useful MCP wrapper to help agents analyse multiple binaries in IDA in parallel, and easily switching them, check this out, if you will like it, it would be cool to get feedback and maybe a post in your channel 🙏
https://github.com/whoisqwerz/pocket_disasm

Analyzing the Windows kernel shadow stack mitigation

Windows Inter Process Communication A Deep Dive Beyond the Surface

Part 1
Part 2
Part 3
Part 4

Jailbreaking Subaru StarLink

https://github.com/sgayou/subaru-starlink-research/blob/master/doc/README.md

IDA 9.4 Release: A New Dyld Shared Cache, Swift Analysis, New Teams add-on, and more

https://hex-rays.com/blog/ida-9.4-release-a-new-dyld-shared-cache-swift-analysis-new-teams-add-on-and-more-

@reverseengine

Reverse Engineering 102

https://malwareunicorn.org/workshops/re102.html#0

@reverseengine

Reverse Engineering Challenges

https://pwn.college/archive/reverse-engineering

@reverseengine

Virtual Stack
حافظه‌ ای که ماشین مجازی روی اون کار میکنه

تا اینجا با Dispatcher Handler و Virtual Register آشنا شدیم

اما همه ماشین‌ های مجازی از رجیستر استفاده نمیکنن

بعضی‌ها تقریبا تمام عملیاتشون رو روی یک Stack مجازی انجام میدن

اگر قبلا با اسمبلی کار کرده باشید احتمالا Stack واقعی CPU رو میشناسید

ماشین‌های مجازی هم دقیقا همین ایده رو پیاده میکنن با این تفاوت که Stack خودشون رو داخل حافظه میسازن

فرض کنید Stack مجازی در ابتدا خالی باشه

اولین Opcode اجرا میشه:

PUSH 10

حالا Stack این شکلیه:

10

بعد:

PUSH 20

Stack:

20
10

حالا Opcode بعدی:

ADD

Handler
مربوط به ADD دو مقدار بالای Stack رو برمیداره

20
10

اون‌ها رو با هم جمع میکنه

یعنی 30 دوباره روی Stack قرار میگیره

Stack
حالا این شکلیه:

30

بعد:

PRINT

Handler
مقدار بالای Stack رو میخونه و چاپ می‌کنه


خیلی از ماشین‌ های مجازی واقعی هم تقریبا با همین منطق کار میکنن

به جای اینکه Opcode ها بنویسن:

ADD V0, V1

مینویسن:

PUSH V0
PUSH V1
ADD

چون طراحی Stack-Based معمولا ساده‌ تره و تولید بایت‌ کد براش راحت تره

وقتی دارید یک VM رو تحلیل میکنید یکی از اولین سوال‌ هایی که باید از خودتون بپرسید اینه:

این VM رجیستر محوره یا Stack-Based؟

جواب این سوال مسیر ادامه تحلیل رو مشخص میکنه

اگر مدام میبینید Handler ها داده‌ها رو از یک بافر مشخص برمیدارن مقدار جدید داخل همون بافر قرار میدن و یک اشاره‌ گر مدام بالا و پایین میره احتمال زیادی وجود داره که با یک Virtual Stack طرف باشید

در مقابل اگر بیشتر عملیات روی چند خونه ثابت حافظه انجام میشه احتمالا VM از Virtual Register استفاده میکنه

یکی از مهارت‌های مهم در Devirtualization اینه که خیلی زود تشخیص بدید معماری ماشین مجازی از کدوم نوعه

این کار باعث میشه ساعت‌ ها وقتتون صرف تحلیل اشتباه نشه

تمرین:

فرض کنید Stack مجازی در ابتدا خالیه و این Opcode ها اجرا میشن:

PUSH 8
PUSH 12
ADD
PUSH 3
MUL
PRINT

بدون اجرای برنامه روی کاغذ وضعیت Stack رو بعد از هر Opcode بنویسید





Virtual Stack The memory that the virtual machine works on

So far we have been introduced to the Dispatcher Handler and Virtual Register

But not all virtual machines use registers

Some perform almost all their operations on a virtual stack

If you have worked with assembly before, you probably know the real CPU stack

Virtual machines implement exactly the same idea, except that they create their own stack in memory

Assume that the virtual stack is initially empty

The first Opcode is executed:

PUSH 10

Now the Stack looks like this:

10

Next:

PUSH 20

Stack:

20
10

Now the next Opcode:

ADD

The Handler
removes the top two values ​​of the Stack

20
10

Adds them together

That is, 30 is placed back on the Stack

Stack
Now this Figure:

30

Next:

PRINT

Handler
Reads and prints the top of the stack

Many real virtual machines work with almost the same logic

Instead of writing Opcodes:

ADD V0, V1

They write:

PUSH V0
PUSH V1
ADD

Because Stack-Based design is usually simpler and bytecode generation is easier

When you are analyzing a VM, one of the first questions you should ask yourself is:

Is this VM register-based or stack-based?

The answer to this question will determine the path of further analysis

If you constantly see Handlers taking data from a specific buffer, putting a new value into the same buffer, and a pointer constantly moving up and down, there is a high probability that you are dealing with a Virtual Stack

On the other hand, if most of the operations are performed on a few fixed memory locations, the VM is probably using Virtual Registers

One of the important skills in Devirtualization is to quickly identify what type of virtual machine architecture you have

This will save you hours of time on incorrect analysis

Exercise:

Assume that the virtual stack is initially empty and these opcodes are executed:

PUSH 8
PUSH 12
ADD
PUSH 3
MUL
PRINT

Without running the program, write down the state of the stack after each opcode

@reverseengine

یکی از مهم‌ترین بخش‌های Binary Exploitation

Heap هست

تا الان بیشتر درباره‌ی Stack و کنترل جریان اجرا صحبت کردیم اما خیلی از باگ‌های جدی امروزی داخل Heap اتفاق میوفتن



Heap
چیه و چرا در Binary Exploitation مهمه؟

وقتی یک برنامه اجرا میشه حافظه‌ ی اون به چند بخش مختلف تقسیم میشه که دو بخش هستن:

Stack

Heap

Stack
بیشتر برای اطلاعات موقت توابع استفاده میشه اما Heap برای زمانیه که برنامه در زمان اجرا نیاز دارد حافظه‌ ای رو خودش مدیریت کنه




Heap چیه؟



Heap
یک بخش از حافظه است که برنامه میتونه در زمان اجرا از اون درخواست حافظه کنه و بعدا اونو ازاد کنه

مثلا وقتی برنامه نمیدونه چقدر داده قراره دریافت کنه نمیتونه از یک فضای ثابت روی Stack استفاده کنه در این حالت معمولا سراغ Heap میروه

در زبان‌هایی مثل C و C++ مدیریت Heap معمولا با توابعی مثل:

malloc()

calloc()

realloc()

free()

انجام میشه



تفاوت Stack و Heap

Stack:

ساختار منظم‌ تر و سریع‌ تر داره

عمر داده‌ها معمولا وابسته به تابع هست

مدیریت اون بیشتر توسط کامپایلر انجام میشه


مثلا:

void function(){
char buffer[64];
}

وقتی تابع تموم بشه این داده از بین میره



Heap:

توسط خود برنامه مدیریت میشه

داده‌ها میتونن مدت بیشتری باقی بمونن

برنامه خودش تصمیم میگیره چه زمانی حافظه بگیره و چه زمانی ازاد کنه


مثلا:

char *data = malloc(100);

اینجا برنامه درخواست میکنه 100 بایت حافظه از Heap بگیره



چرا Heap در امنیت مهمه؟

چون مدیریت دستی حافظه مخصوصا در زبان‌هایی مثل C و C++ پیچیدگی زیادی داره

برنامه‌نویس باید همیشه مراقب باشه:

چه زمانی حافظه گرفته شده؟

چه زمانی آزاد شده؟

آیا هنوز از حافظه آزاد شده استفاده میشه؟

آیا اندازه‌ی داده با اندازه‌ی حافظه هماهنگه؟


یک اشتباه کوچیک میتونه باعث ایجاد آسیب‌ پذیری بشه




چه نوع باگ‌هایی در Heap دیده میشن؟

چند مورد معروف:

Heap Overflow

وقتی برنامه بیشتر از اندازه‌ی اختصاص داده‌ شده روی Heap داده مینویسه

Use-After-Free (UAF)

وقتی برنامه حافظه‌ ای رو آزاد میکنه اما بعدا همچنان از اون استفاده میکنه

Double Free

وقتی برنامه یک بخش از حافظه رو بیشتر از یک بار آزاد میکنه

Memory Leak

وقتی برنامه حافظه میگیره ولی هیچ‌ وقت آزادش نمیکنه




چرا Heap سخت‌تر از Stack است؟

Stack
ساختار نسبتا مشخصی دارده اما Heap پیچیده‌ تره

چون Heap توسط یک Memory Allocator مدیریت میشه

مثلا در لینوکس یکی از allocator های معروف:

ptmalloc (در glibc)

هست

این allocator تصمیم میگیره:

چه بخشی از حافظه اختصاص داده بشه

کدام حافظه آزاد باشه

درخواست‌ های جدید کجا قرار بگیرن


به همین دلیل تحلیل Heap نیاز به درک عمیق‌ تری از مدیریت حافظه داره



چرا هکر ها یا مهندسان معکوس به Heap علاقه دارن؟

چون Heap معمولا شامل داده‌ های مهم برنامه هست

مثلا:

ساختار های داده

Object
ها در ++C

اطلاعات session

pointer ها

داده‌ های برنامه


اگر مدیریت Heap اشتباه باشه ممکنه باعث تغییر رفتار برنامه بشه

Heap
یکی از مهم‌ترین بخش‌ های حافظه در برنامه‌ هاست که برای ذخیره‌ سازی داده‌ های پویا استفاده میشه
برخلاف Stack مدیریت Heap بیشتر بر عهده‌ ی برنامه‌ نویسه و همین موضوع باعث به‌وجود اومدن باگ‌های پیچیده‌ای مثل Heap Overflow و Use-After-Free میشه

برای درک اکسپلویت‌ های مدرن شناخت Heap و نحوه‌ی کار Memory Allocator ها ضروریه

@reverseengine

One of the most important parts of Binary Exploitation Is the Heap

So far we have talked mostly about the Stack and execution flow control, but many of today's serious bugs occur in the Heap

What is the Heap and why is it important in Binary Exploitation?

When a program is executed, its memory is divided into several different parts, which are two parts:

Stack

Heap

Stack is mostly used for temporary information of functions, but the Heap is for when the program needs to manage memory itself at runtime

What is the Heap?

Heap is a part of memory that a program can request memory from at runtime and free it later

For example, when a program does not know how much data it is going to receive, it cannot use a fixed space on the Stack, in this case it usually goes to the Heap

In languages ​​like C and C++, Heap management is usually done with functions like:

malloc()

calloc()

realloc()

free()

The difference between Stack and Heap

Stack:

It has a more organized and faster structure

The lifetime of the data is usually dependent on the function

Its management is mostly done by the compiler

For example:

void function(){
char buffer[64];

}

When the function ends, this data is destroyed

Heap:

Managed by the program itself

Data can remain for a longer period

The program itself decides when to get memory and when to free it

For example:

char *data = malloc(100);

Here the program requests to get 100 bytes of memory from the Heap

Why is the Heap important in security?

Because manual memory management is very complicated, especially in languages ​​like C and C++

The programmer should always be careful:

When was the memory taken?

When was it freed?

Is the freed memory still in use?

Is the data size consistent with the memory size?

A small mistake can cause a vulnerability

What types of bugs are seen in the Heap?

Some famous cases:

Heap Overflow

When the program writes more data to the Heap than the allocated size

Use-After-Free (UAF)

When the program frees memory but then continues to use it

Double Free

When the program frees a section of memory more than once

Memory Leak

When the program takes memory but never frees it


Why is the Heap harder than the Stack?

Stack

has a relatively well-defined structure, but the Heap is more complex

Because the Heap is managed by a Memory Allocator

For example, in Linux, one of the famous allocators is:

ptmalloc (in glibc)

This allocator decides:

What part of the memory to allocate

Which memory to free

Where new requests should be placed

That is why Heap analysis requires a deeper understanding of memory management

Why are hackers or reverse engineers interested in the Heap?

Because the Heap usually contains important program data

For example:

Data structures

Objects in C++

Session information

Pointers

Program data

If the Heap management is wrong, it may change the behavior of the program.

The Heap is one of the most important memory areas in programs, used to store dynamic data.

Unlike the Stack, the Heap management is more the responsibility of the programmer, which leads to complex bugs such as Heap Overflow and Use-After-Free.

To understand modern exploits, it is essential to understand the Heap and how Memory Allocators work.

@reverseengine

بخش بیست و یکم بافر اورفلو

Double Free
یعنی آزاد کردن یک حافظه برای بار دوم

یکی دیگه از باگ‌ های معروف مدیریت حافظه Double Fre هست این باگ هم توی تحلیل باینری و هم توی تحلیل بدافزار خیلی دیده میشه

Double Free یعنی چی؟

یک حافظه فقط باید یک بار free بشه
اگر همون اشاره‌ گر دوباره free بشه
بهش میگن Double Free

مثال:
C

#include <stdlib.h>

int main() {

char *buf = malloc(32);

free(buf);

free(buf);

return 0;
}

مشکل این کجاست?

اولین free حافظه رو آزاد میکنه ولی دومین freeداره دوباره حافظه‌ای رو آزاد میکنه که از قبل آزاد شده همین موضوع می‌تونه باعث کرش برنامه یا خراب شدن ساختار Heap بشه

موقع مهندسی معکوس کردن دنبال چی بگردیم؟

فرض کنید داخل دیکامپایلر اینجور چیزی دیدید
C

free(ptr);

/* ... */

free(ptr);

همینجا باید مشکوک بشید حالا باید بررسی کنیید آیا بین این دو free دوباره malloc انجام شده یا اشاره‌گر تغییر کرده اگر نه احتمال Double Free خیلی بالاست

یک مثال واقعی تر:
C

buf = malloc(64);

/* ... */

if(error)
free(buf);

/* ... */

free(buf);

اینجا اگر شرط error برقرار باشه

buf
یک بار داخل شرط آزاد میشه
بعد دوباره پایین برنامه آزاد میشه
همین باعث Double Free میشه

چرا خطرناکه?

چون Heap Manager فکر میکنه
دو بار یک Chunk آزاد شده در نتیجه ساختار داخلی Heap ممکنه به هم بریزه
و همین موضوع میتونه رفتار های غیرمنتظره ایجاد کنه

چطور ازش جلوگیری میکنن?

بعد از free اشاره‌گر رو NULL میکنن

C

free(buf);
buf = NULL;

حالا اگر دوباره

free(buf);

صدا زده بشه

free(NULL)

مشکلی ایجاد نمیکنه

موقع تحلیل باینری این الگوها رو بررسی کنیو

اگر دیدید

malloc(...)

بعد

free(ptr)

و دوباره

free(ptr)

حتما مسیر اجرای برنامه رو بررسی کنید
شاید فقط در یک حالت خاص این اتفاق بیفته و همین باعث شده مدت‌ ها کسی متوجه باگ نشه


تا الان با سه باگ مهم مدیریت حافظه آشنا شدیم

Heap Overflow
Use After Free
Double Free

این سه مورد جزو رایج‌ ترین آسیب‌پذیری‌ هایی هستن که موقع مهندسی معکوس و تحلیل باینری باهاشون روبه‌ رو میشید

تمرین:

یک برنامه ساده بنویسید که چند مسیر مختلف اجرا داشته باشه بعد بررسی کنید آیا در یکی از مسیر ها ممکنه یک اشاره‌گر دو بار free بشه یا نه اگر تونستید این الگو رو داخل یک باینری هم پیدا کنید یعنی کم‌ کم دارید این باگ رو یاد میگیرید

@reverseengine

Part 21 Buffer Overflow

Double Free means freeing a memory for the second time

Another famous memory management bug is Double Free. This bug is often seen in both binary analysis and malware analysis

What does Double Free mean?

A memory should only be freed once

If the same pointer is freed again

It is called Double Free

Example:

C

#include <stdlib.h>

int main() {

char *buf = malloc(32);

free(buf);

free(buf);

return 0;
}

What is the problem with this?

The first free frees the memory, but the second free is freeing the memory that was already freed, which can cause the program to crash or corrupt the Heap structure

What should we look for when reverse engineering?

Suppose you see something like this in the decompiler

C

free(ptr);

/* ... */

free(ptr);

You should be suspicious here. Now you should check if malloc was done again between these two frees or if the pointer changed. If not, the probability of Double Free is very high.

A more realistic example:

C

buf = malloc(64);

/* ... */

if(error)
free(buf);

/* ... */

free(buf);

Here, if the error condition is met,

buf
is freed once inside the condition,

then it is freed again at the bottom of the program,

This causes Double Free.

Why is it dangerous?

Because the Heap Manager thinks that
a Chunk has been freed twice, as a result, the internal structure of the Heap may be destroyed,

And this can cause unexpected behavior.

How do you prevent it?

After free, the pointer is NULL.

C

free(buf);
buf = NULL;

Now if again

free(buf);

Calling

free(NULL)

does not cause a problem

When analyzing the binary, check for these patterns

If you see

malloc(...)

then

free(ptr)

and again

free(ptr)

Be sure to check the program execution path

Maybe this only happens in a specific case, which is why no one noticed the bug for a long time

So far, we have learned about three important memory management bugs

Heap Overflow

Use After Free

Double Free

These three are among the most common vulnerabilities that you will encounter during reverse engineering and binary analysis

Exercise:

Write a simple program that has several different execution paths

Then check whether a pointer can be freed twice in one of the paths

If you can find this pattern inside a binary, it means that you are gradually learning about this bug


@reverseengine

How I found an integer overflow in tcpip.sys

https://aprl.pet/writing/cve-2026-58532

Complete list of LPE exploits for Windows (starting from 2023)

https://github.com/MzHmO/Exploit-Street