Performant type-checking for python.

BeaEngine disasm project

A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber

SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.

A generic deobfuscator for PjOrion obfuscated python scripts

Program Analisys and Transformation survey and links (particular focus on SSA)

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.

Design documents related to the decompilation pipeline.

Modular static malicious JavaScript detection system

Static analysis framework for .NET programs.

Static data flow-based analysis of JavaScript files to detect syntactic clones

Optimization attempt of the Lambda Control Flow Analysis (STG like language)

Abstract Interpreter for JavaScript with perfect call/return matching.

Dynamic Control Flow Recovery

an implementation of control-flow analysis of a simple functional programming language.

My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis

A library of compiler optimization algorithms. This is a project in which I learn about and practice writing optimizing compilers. Ibn-Khaldun is a famous Muslim scholar with significant contributions to economics.