111 Open source projects that are alternatives of or similar to Falcon

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a dynamic taint engine, AST representations of the x86, x86-64, ARM32 and AArch64 Instructions Set Architecture (ISA), SMT simplification passes, an SMT solver interface and, the last but not least, Python bindings.

Symbolic execution tool

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

Assorted pintools

Extracting high level semantic information from binary code

DIE engine

No description or website provided.

cwe_checker finds vulnerable patterns in binary executables

Binary Analysis Platform

In 'n Out - See what goes in and comes out of PEs

Lists of must-read papers (mainly security papers)

An unofficial implementation of asm2vec as a standalone python package

Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.

Unofficial CMake build for Ghidra SLEIGH

A curated list of awesome resources related to executable packing

🐺 Malware analysis platform

pwn & ctf tools for windows

DrCCTProf is a fine-grained call path profiling framework for binaries running on ARM and X86 architectures.

Learn the fundamentals of Binary Auditing. Know how HLL mapping works, get more inner file understanding than ever.

Static analysis of IEC 61131-3 programs

Static Analysis Compiler Plugin for Scala

No description or website provided.

Static Analyzer for LLVM bitcode based on Abstract Interpretation

DrSemu - Sandboxed Malware Detection and Classification Tool Based on Dynamic Behavior

Authors

No description or website provided.

A low-overhead dynamic binary instrumentation and modification tool for ARM (now with both AArch32 and AArch64 support)

Repo for various angr ipython features to give it more of a cli feeling

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

COM S 413/513 and CPR E 513 Foundations and Applications of Program Analysis @ Iowa State University

CRETE under development

Java Code Instrumenter and Execution Tracer

A collection of crackmes

🐺 Malware analysis platform

A binary visualization tool to aid with reverse engineering and malware detection similar to Cantor.Dust

Intermediate Representation for Binary analysis and transformation

Function signature matching and signature generation plugin for Binary Ninja

PE (x86) and PE+ (x64) files viewer, based on libpe.

Signedness-Agnostic Strided-Interval

High-level library for executable binary file analysis

Yet another implementation of PEiD with yara

《macOS软件安全与逆向分析》随书源码

UNIX-like reverse engineering framework and command-line toolset

Nampa - FLIRT for (binary) ninjas

Program analysis playground for a simple, imperative language

CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, canonical repository for this project -- file bug reports and wishes here!

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode

Ghidra Analysis Enhancer 🐉

GVProf: A Value Profiler for GPU-based Clusters

SeaHorn Verification Framework

Source code for the ICLR 2021 work "Generating Adversarial Computer Programs using Optimized Obfuscations"

Code and exercises for a workshop on z3 and angr

sleigh craft!

REmatch, a complete binary diffing framework that is free and strives to be open source and community driven.

A symbolic debugger for C/C++ (via LLVM), machine code, and JVM programs

Dynamic Instrumentation Tool Platform

A user-friendly fuzzing and crash triage tool for Windows

TIRO - A hybrid iterative deobfuscation framework for Android applications

BootStomp: a bootloader vulnerability finder

A comprehensive binary emulation and instrumentation platform.