Zerotistic's blog

Binary Ninja, Angr and vulnerability research

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT

Home Categories Formal Proofs

Category

Formal Proofs 1

Breaking Control Flow Flattening: A Deep Technical Analysis Nov 3, 2024

Recently Updated

Breaking Control Flow Flattening: A Deep Technical Analysis
Virtual Machine based obfuscation: An Overview
XS-Leaks: An Inherent Vulnerability Class in the Web Platform
Code of the Week - Compilation
Rediscovering vulnerabilities with CodeQL MRVA

Trending Tags

automation binja reverse engineering exploit code review code source codeql ctf Obfuscation pwn

© 2024 Zerotistic. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

automation binja reverse engineering exploit code review code source codeql ctf Obfuscation pwn

A new version of content is available.