Performant type-checking for python.

BeaEngine disasm project

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

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

Generic static analysis framework.

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

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

A generic deobfuscator for PjOrion obfuscated python scripts

Modular static malicious JavaScript detection system

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

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

Static analysis framework for .NET programs.

Design documents related to the decompilation pipeline.

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

A toy implementation about Program Dependence Graph using LLVM

Abstract Interpreter for JavaScript with perfect call/return matching.

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

A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity

Dynamic Control Flow Recovery