program-analysis topic

A binary analysis framework

enkomio

Static analysis of IEC 61131-3 programs

jubnzv

Program for determining types of files for Windows, Linux and MacOS.

horsicq

DIE engine

horsicq

Program analysis playground for a simple, imperative language

skius

Static Code Analysis - 静态代码分析

Tencent

Towards converting multilingual source code into one language-agnostic graph representation.

Symbolk

Dynamic Program Slicing in LLVM Compiler

liuml07

Assorted pintools

agustingianni

Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.

JonathanSalwan